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

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

• 仿真引擎的性能倍增

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

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

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

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

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

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

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

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

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

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

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