半導体用語集
形式的論理検証
英語表記：
数学的手法を用いて論理の一致を検証する手法。グラフ理論を用いて2つの回路間の論理等価性をチェックする。二分決定図（BDD=Binary Decision Diagram）で回路を表し、これが同一であるかどうかで判断する。シミュレーションパターンは不要である。テスト回路の付加や、レイアウト時のバッファ購入など、論理を変更せずに回路を修正したい意図の時、その修正の前後で論理が等価であるかどうかをチェックするために用いられる。
関連製品
「形式的論理検証」に関連する製品が存在しません。キーワード検索
フリーワードやカテゴリーを指定して検索できます
関連用語
関連特集
「形式的論理検証」に関連する用語が存在しません。
「形式的論理検証」に関連する特集が存在しません。
会員登録すると会員限定の特集コンテンツにもアクセスできます。
