該公司解決方案營(yíng)銷總監(jiān)Tom Borgstrom認(rèn)為，對(duì)于從事嵌入式軟件開(kāi)發(fā)的工程師而言，性能、調(diào)試、外設(shè)接口、基礎(chǔ)平臺(tái)和價(jià)格的可負(fù)擔(dān)性是他們最為看重和關(guān)注的。以高通MSM7200芯片為例，僅在系統(tǒng)驗(yàn)證方面就要涉及視頻輸入/輸出、第三方IP、電源管理、射頻、高速以太網(wǎng)等多項(xiàng)內(nèi)容，而這還不包括諸如OS boot、Drivers & firmware、Software codecs、Software-tuned analog、Legacy software在內(nèi)的軟件部分。

他對(duì)傳統(tǒng)意義上類似于“大盒子”式的仿真系統(tǒng)給予了否定，認(rèn)為這對(duì)于嵌入式軟件開(kāi)發(fā)者及驗(yàn)證團(tuán)隊(duì)而言實(shí)在是種災(zāi)難。而另一方面，客戶定制的基于FPGA的各種原型盡管可以解決這些問(wèn)題，但在具體的實(shí)施和調(diào)試過(guò)程中卻都很耗時(shí)和昂貴。

Synopsys方面稱，通過(guò)引入最近收購(gòu)的CHIPit產(chǎn)品、工具和技術(shù)，從而進(jìn)一步完善了對(duì)多種原型應(yīng)用提供支持的Confirma平臺(tái)。而這也是該公司從軟件到芯片(Software-to-Silicon)驗(yàn)證解決方案的一部分。

Synopsys在驗(yàn)證方面的投資可以追溯到上世紀(jì)90年代的Compiled Simulation和Testbench Automation。此后，又陸續(xù)推出了以SystemVerilogNative Testbench、LowPower Verification和Multi-threaded Simulation為代表眾多驗(yàn)證工具。

Confirma平臺(tái)的早期版本包括針對(duì)多個(gè)FPGA設(shè)計(jì)進(jìn)行分組與實(shí)現(xiàn)的Certify軟件；能夠在測(cè)試過(guò)程中對(duì)設(shè)計(jì)提供完全可視化的TotalRecall技術(shù)，以及基于該技術(shù)的Identify Pro軟件；和基于FPGA的HAPS原型設(shè)計(jì)硬件。

“Synopsys的硬件輔助驗(yàn)證策略，重點(diǎn)集中在充分利用性能與容量不斷增長(zhǎng)的FPGA?！笔袌?chǎng)調(diào)研公司Gary Smith EDA創(chuàng)始人兼首席分析師Gary Smith對(duì)此評(píng)價(jià)說(shuō)，“嵌入式軟件開(kāi)發(fā)對(duì)于SoC設(shè)計(jì)人員來(lái)講是一個(gè)巨大的挑戰(zhàn)，但擴(kuò)展性Confirma平臺(tái)是解決方案的一個(gè)重要部分?！?/FONT>

此次推出的擴(kuò)展型Confirma平臺(tái)是一套完整的產(chǎn)品組合，包括基于FPGA的原型系統(tǒng)和電路板、接口和存儲(chǔ)器板，以及實(shí)施和調(diào)試用軟件。其硬件方面涵蓋了以下三個(gè)部分：1. CHIPit系列快速原型系統(tǒng)。具備可實(shí)現(xiàn)更大自動(dòng)化的可編程互聯(lián)架構(gòu)，并提供了專為基于事務(wù)的驗(yàn)證而優(yōu)化的類仿真能力；2. HAPS系列快速原型板，為系統(tǒng)驗(yàn)證和嵌入式軟件開(kāi)發(fā)提供保證；3. 廣泛的高速接口和擴(kuò)展板，確保各種原型的定制。

軟件方面，除了此前的Certify、Identify Pro和Premier之外，還包括了CHIPit Manager Pro原型配置和項(xiàng)目管理軟件、以及與SCE-MI(標(biāo)準(zhǔn)協(xié)同仿真建模接口)兼容的基于事務(wù)的協(xié)同驗(yàn)證接口。

“相比某些公司自己搭建的原型，Confirma無(wú)疑在成本和風(fēng)險(xiǎn)方面具備相當(dāng)優(yōu)勢(shì)。至少，這是一個(gè)成熟的商用原型設(shè)計(jì)?！?Borgstrom表示。