ＷＥＢ　Ａｃｃｅｓｓ　Ｒａｎｋｉｎｇ［ＥＤＡ］〜米Ｃａｄｅｎｃｅ，設計者向けに開発した　フォーマル・ベリファイアを発売
日経マイクロデバイス　第240号　2005.6.1

　米Ｃａｄｅｎｃｅ　Ｄｅｓｉｇｎ　Ｓｙｓｔｅｍｓ，　Ｉｎｃ．は，プロパティ（モデル）・チェッキング型フォーマル・ベリファイア「Ｉｎｃｉｓｉｖｅ　Ｆｏｒｍａｌ　Ｖｅｒｉｆｉｅｒ」を発売した。今回の新製品でフォーマル・ベリファイアを利用する検証法の普及を図りたいとする。これまでフォーマル・ベリファイアが不調だった理由として，（１）検証エンジニアがＬＳＩ開発の下流で使っていたこと，（２）解析エンジンの技…