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è)性，可促
• 關(guān)鍵字： Cadence  仿真  IEV