近日，Cadence設計系統(tǒng)公司公布了一個新版的尖端功能驗證平臺與方法學，擁有全套最新增強功能，與之前發(fā)布的版本相比，可將SoC驗證效率提高一倍。 全新Incisive版本融入了Cadence®驗證IP，用于SoC驗證，還有用于系統(tǒng)驗證的Cadence Virtual System Platform，以及用于加速的Palladium® XP，它能在軟件型仿真和硬件型加速之間進行熱轉(zhuǎn)換。Incisive ®12.2提供了兩倍性能，全新Incisive調(diào)試分析器產(chǎn)品，全新低功耗建模，以及當今復雜IP與SoC高效驗證所需的數(shù)百種其他功能。

對于IP block-to-chip驗證，增強的內(nèi)容包括:

• 仿真引擎的性能倍增

• 通過最近推出的Incisive調(diào)試分析器提升調(diào)試功能

• 自動寄存器驗證應用只需一次形式分析運行即可取代數(shù)百次的功能測試

• 用最新Incisive Metrics Center功能簡化覆蓋數(shù)據(jù)分析

在SoC層面，Incisive 12.2對于更長時間的運行仿真有著更大的容量，包括那些融合了低功耗和混合信號的設計。

對于SoC驗證，增強的內(nèi)容包括:

• 仿真器中改良的低功耗算法，對于elaboration的時間可實現(xiàn)性能兩倍提升。這種最新Incisive技術可精確建模低功耗設計中關電與恢復的場景。

• 綜合的數(shù)字中心型混合信號解決方案使用真實數(shù)據(jù)模型(RNM)，實現(xiàn)使用wreal或SystemVerilog-RNM的仿真速度提升300多倍。

• Palladium XP仿真加速中支持了加速模塊與toggle覆蓋率，將測試時間從幾個小時縮短到幾分鐘。

Gnodal Ltd.計劃在2013年應用Incisive 12.2版本, 其創(chuàng)始人兼首席技術官Fred Homewood表示：“性能、靈活性與高效率是我們高密度開關的特點，Incisive平臺與支持團隊賦予了這些質(zhì)量，讓我們能夠大大提升我們的 Incisive Enterprise Simulator licenses，并采用Incisive Enterprise Manager和Incisive SimVision調(diào)試。我們正在采用指標驅(qū)動的驗證方法學，并將使用其自動驗證規(guī)劃功能，向我們的客戶展示我們的開發(fā)效率。”

“我們的一些客戶在高級節(jié)點上建造了2億門級SoC，甚至更大。”Cadence硅實現(xiàn)部門高級副總裁Chi-Ping Hsu說，“這些設計的成功驗證是至關重要的，需要分散在世界各地團隊的配合。Incisive 12.2的技術涵蓋面之廣是無可匹敵的，為這些團隊實現(xiàn)了所需的效率提升，讓他們的設計更快、更高質(zhì)量地投放市場。”

全新Incisive版本融入了Cadence®驗證IP，用于SoC驗證，還有用于系統(tǒng)驗證的Cadence Virtual System Platform，以及用于加速的Palladium® XP，它能在軟件型仿真和硬件型加速之間進行熱轉(zhuǎn)換。