CADENCE推出IncisiveEnterprise產(chǎn)品家族
可支持多個專業(yè)領域和語言
頂級的Incisive平臺產(chǎn)品將驗證過程自動化（VPA）技術和方法學與e、SystemC和 SystemVerilog語言結合起來
Cadence公司（NASDAQ: CDNS）近日推出Incisive Enterprise產(chǎn)品家族,該產(chǎn)品具有能夠支持e、SystemC 和SystemVerilog等語言的企業(yè)級功能驗證功能自動化（VPA）技術。作為Cadence® Incisive®功能驗證平臺的最頂級產(chǎn)品,Incisive Enterprise產(chǎn)品家族可有效降低在復雜的SoC設計和系統(tǒng)開發(fā)過程中所面臨的可預測性風險、生產(chǎn)風險和質量風險。
除了面向多類型SoC設計和系統(tǒng)開發(fā)團隊的Incisive Enterprise產(chǎn)品家族外,Cadence公司還推出了Incisive Design Team和Incisive HDL兩個產(chǎn)品。Incisive Design Team是具有面向RTL開發(fā)人員的驗證解決方案,而Incisive HDL則可用于HDL創(chuàng)建和仿真。
Incisive Enterprise產(chǎn)品家族是Cadence公司最新推出的產(chǎn)品,它集成了已被Cadence公司收購的Verisity公司先進的VPA技術和設計方法學,可支持多種系統(tǒng)建模語言、HDL和斷言語言,并針對不同的專業(yè)領域而嵌入了高性能的形式和動態(tài)驗證引擎、Verification IP和分析工具。Incisive Enterprise旨在降低跨多個專業(yè)領域和跨模塊級、芯片級和系統(tǒng)級的SoC和軟硬件系統(tǒng)的驗證過程的復雜性。
“Cadence公司的Incisive Enterprise產(chǎn)品覆蓋了從初始規(guī)劃到驗證收斂的整個驗證過程,” Micronas公司片上系統(tǒng)驗證部門的總監(jiān)Oliver Bell說,“我們的設計和驗證專家們需要全面的解決方案,這種解決方案要能夠支持多種語言,如e、SystemC和SystemVerilog,從而實現(xiàn)系統(tǒng)級仿真�！�
為了實現(xiàn)驗證過程自動化,Incisive Enterprise產(chǎn)品家族提供了多種工具、技術和設計方法學,包括：
• Incisive Specman Simulator,該新產(chǎn)品將Incisive Simulator和來自Specman Elite的模塊級到系統(tǒng)級測試臺自動化技術的高性能內核直接整合在一起。
• Mixed SystemC and e,基于事務的驗證解決方案結合了系統(tǒng)和驗證經(jīng)驗兩個專業(yè)領域
• Enterprise Manager,該產(chǎn)品針對企業(yè)應用而專門增強,集成了所有的Incisive引擎、語言和覆蓋工具。
• Incisive Palladium®,該硬件輔助驗證工具可幫助設計人員進行高速加速、軟硬件協(xié)同驗證、系統(tǒng)級和后硅驗證（post-silicon verification）。
• Incisive Enterprise plan-to-closure,可執(zhí)行的計劃設計方法學將成熟和廣泛采用的復用技術與經(jīng)過驗證的事務級建模和系統(tǒng)級驗證方法學結合起來。
• Encapsulation of Incisive Design Team,該設計方法學和產(chǎn)品家族可支持形式分析和SystemVerilog語言
“隨著SoC技術和納米級工藝的快速發(fā)展,設計和驗證方法變得日益復雜,領先的電子廠商必須為此建立起專業(yè)的技術團隊。這就需要有一個最佳的解決方案能將不同領域的專家協(xié)同在一個統(tǒng)一的從規(guī)劃到實現(xiàn)（plan-to-closure）的設計方法中,” Cadence公司驗證部門的執(zhí)行副總裁和總經(jīng)理Moshe Gavrielov說,“我們的客戶需要一個高度自動化的管理流程,可以最大化設計的可見度、可預測性、資源利用率、可執(zhí)行和系統(tǒng)級的產(chǎn)品質量�！�
