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

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

• 仿真引擎的性能倍增

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

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

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

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

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

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

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

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

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

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

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