Cadence推出IEV 帶來形式分析與仿真引擎雙重動(dòng)力

　　全球電子設(shè)計(jì)創(chuàng)新領(lǐng)先企業(yè)Cadence設(shè)計(jì)系統(tǒng)公司今天在CDNLive! Silicon Valley上推出了Cadence Incisive Enterprise Verifier (IEV)。它是一個(gè)整合式驗(yàn)證解決方案，可通過形式分析和仿真引擎的雙重作用，帶來獨(dú)特和全新的功能。 IEV可幫助設(shè)計(jì)和驗(yàn)證工程師發(fā)現(xiàn)深藏的邊角情形(corner-case)bug，能測(cè)試到單獨(dú)使用形式或仿真引擎漏掉的隱蔽的覆蓋點(diǎn)。 IEV通過更快建立設(shè)計(jì)和更快發(fā)現(xiàn)bug，可提高生產(chǎn)效率;通過產(chǎn)生更多指標(biāo)提高可預(yù)測(cè)性，可促進(jìn)驗(yàn)證閉合;并通過找出設(shè)計(jì)中的更多bug，可改善品質(zhì)。

　　IEV內(nèi)整合了仿真與形式功能，使工程師們能以新的方式利用斷言。 形式分析中使用的相同斷言可自動(dòng)地由仿真引擎使用，以便為設(shè)計(jì)生成新的激勵(lì)。 此外，IEV能在形式和仿真引擎間自動(dòng)來回切換，既能利用仿真的快速設(shè)計(jì)探索，又能利用形式分析的驗(yàn)證徹底性。 設(shè)計(jì)和驗(yàn)證工程師從斷言中獲得了更高的收益，采用也變得更容易，因?yàn)镮EV能在一個(gè)熟悉的仿真環(huán)境中提供強(qiáng)大的形式分析。 (點(diǎn)此觀看IEV產(chǎn)品公告視頻。)

　　“基于多語(yǔ)言方法，我們?cè)跇?biāo)準(zhǔn)驗(yàn)證流程中既使用形式分析也使用testbench仿真，”意法半導(dǎo)體MMS微控制器部門驗(yàn)證經(jīng)理Mirella Negro Marcigaglia表示。 “Incisive Enterprise Verifier將這些技術(shù)綜合，加速了我們?cè)谝郧伴_發(fā)過程非常靠后的階段才執(zhí)行的那些任務(wù)，從而縮短了我們的項(xiàng)目驗(yàn)證時(shí)間。”

　　IEV可以在項(xiàng)目早期獲得testbench之前檢測(cè)到更多的bug和執(zhí)行更多的覆蓋指標(biāo)。 IEV將仿真與形式緊密整合，提供的功能遠(yuǎn)超市場(chǎng)上現(xiàn)有的那些“混合”產(chǎn)品。 其特有的特性有：更容易的安裝、針對(duì)大多數(shù)用戶的自動(dòng)操作、針對(duì)專家級(jí)用戶的精細(xì)控制、斷言調(diào)試功能等。 IEV還具有對(duì)驗(yàn)證規(guī)劃的支持、服務(wù)器群(server farm)上的回歸操作、多核性能改進(jìn)、對(duì)回歸運(yùn)行上收集的指標(biāo)的合并等。 IEV與Incisive Enterprise Manager無縫連接，可在各大型項(xiàng)目間達(dá)到指標(biāo)驅(qū)動(dòng)的驗(yàn)證。

　　“在今天的設(shè)計(jì)上進(jìn)行徹底、高效的驗(yàn)證的難度，正隨著設(shè)計(jì)本身的尺寸和復(fù)雜度的增長(zhǎng)而同步增大，”Cadence企業(yè)驗(yàn)證產(chǎn)品營(yíng)銷總監(jiān)Tom Anderson表示。 “對(duì)于任何希望推動(dòng)他們驗(yàn)證項(xiàng)目的企業(yè)，Incisive Enterprise Verifier都應(yīng)該能夠引起他們的興趣。 這一全新產(chǎn)品擴(kuò)大了基于斷言驗(yàn)證的范圍，能找出更多bug，推動(dòng)設(shè)計(jì)更快地朝驗(yàn)證閉合前進(jìn)。”

　　我們將在周四在CDNLive! Silicon Valley大會(huì)的用戶宣講會(huì)上詳細(xì)介紹Incisive Enterprise Verifier。