cadence 推出了cadence incisive enterprise verifier (iev)。它是一個整合式驗證解決方案，可通過形式分析和仿真引擎的雙重作用，帶來獨特和全新的功能。  iev可幫助設計和驗證工程師發現深藏的邊角情形（corner-case）bug，能測試到單獨使用形式或仿真引擎漏掉的隱蔽的覆蓋點。 iev通過更快建立設計和更快發現bug，可提高生產效率；通過產生更多指標提高可預測性，可促進驗證閉合；并通過找出設計中的更多bug，可改善品質。

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

iev可以在項目早期獲得testbench之前檢測到更多的bug和執行更多的覆蓋指標。 iev將仿真與形式緊密整合，提供的功能遠超市場上現有的那些“混合”產品。 其特有的特性有：更容易的安裝、針對大多數用戶的自動操作、針對專家級用戶的精細控制、斷言調試功能等。 iev還具有對驗證規劃的支持、服務器群（server farm）上的回歸操作、多核性能改進、對回歸運行上收集的指標的合并等。 iev與incisive enterprise manager無縫連接，可在各大型項目間達到指標驅動的驗證。