日経EDAOnlineのCadence，新世代EDA「Silicon Realization」の機能検証フローの概要を発表の図4●論理シミュレーションとフォーマル・ベリファイアのカバレッジを一覧可能にの
Incisive Enterprise Verifierの機能であるDynamic SimulationとFormal Enginesの結果が1つになるのって、いいですよね！
このツールは、検証エンジニアが使うより、
IP設計者がモジュールの検証度を証明するためのツールと使うといいのではないでしょうか？
IP設計者がモジュールの検証度を証明するためのツールと使うといいのではないでしょうか？
この結果は、IPを全体にインテグレーションするかどうかの尺度になると思う。
検証、Verification、Cadence
