Cadence推出Incisive Enterprise Verifier，帶來了形式分析與仿真引擎的雙重動力

全球電子設計創新領先企業Cadence設計系統公司（NASDAQ: CDNS）今天在CDNLive! Silicon Valley上推出了Cadence Incisive Enterprise Verifier (IEV)。它是一個整合式驗證解決方案，可通過形式分析和仿真引擎的雙重作用，帶來獨特和全新的功能。  IEV可幫助設計和驗證工程師發現深藏的邊角情形（corner-case）bug，能測試到單獨使用形式或仿真引擎漏掉的隱蔽的覆蓋點。 IEV通過更快建立設計和更快發現bug，可提高生產效率；通過產生更多指標提高可預測性，可促進驗證閉合；并通過找出設計中的更多bug，可改善品質。

IEV內整合了仿真與形式功能，使工程師們能以新的方式利用斷言。 形式分析中使用的相同斷言可自動地由仿真引擎使用，以便為設計生成新的激勵。 此外，IEV能在形式和仿真引擎間自動來回切換，既能利用仿真的快速設計探索，又能利用形式分析的驗證徹底性。 設計和驗證工程師從斷言中獲得了更高的收益，采用也變得更容易，因為IEV能在一個熟悉的仿真環境中提供強大的形式分析。 （點此觀看IEV產品公告視頻。）

“基于多語言方法，我們在標準驗證流程中既使用形式分析也使用testbench仿真，”意法半導體MMS微控制器部門驗證經理Mirella Negro Marcigaglia表示。 “Incisive Enterprise Verifier將這些技術綜合，加速了我們在以前開發過程非常靠后的階段才執行的那些任務，從而縮短了我們的項目驗證時間。”

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

我們將在周四在CDNLive! Silicon Valley大會的用戶宣講會上詳細介紹Incisive Enterprise Verifier。  詳情和注冊信息請訪問www.cdnlive.com。

產品狀態

Incisive Enterprise Verifier (IEV) 馬上即可購買。

相關閱讀:

• ...2018/03/19 11:42·第三屆CADA凱達大會AR計算產業生態高峰論壇暨汽車科技創新大會隆重舉行
• ...2017/08/15 14:45·2017 Cadence全球用戶大會 CDNLive登陸上海
• ...2017/07/26 17:38·Cadence推出針對較新移動和家庭娛樂應用的Tensilica HiFi 3z DSP架構
• ...2017/06/12 17:17·全新Cadence Virtuoso系統設計平臺幫助實現IC、封裝和電路板無縫集成的設計流程
• ...2017/06/05 14:41·Cadence擴展JasperGold平臺用于高級形式化RTL簽核
• ...2017/06/05 14:41·Cadence擴展JasperGold平臺用于高級形式化RTL簽核