Cadence推出IEV 帶來形式分析與仿真引擎雙重動力

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