二分決定グラフ

出典: くみこみックス

2009年3月16日 (月) 07:11; Worker (会話 | 投稿記録) による版
(差分) ←前の版 | 最新版を表示 (差分) | 次の版→ (差分)

二分決定グラフ【Binary Decision Diagram】

 フォーマル・ベリファイア(形式的検証ツール)などで用いられる論理表現の一形式.BDDとも呼ぶ.フォーマル・ベリファイアでは論理式やRTL記述などを二分決定グラフで表現する.検証対象となる回路から得られるグラフの形状が,比較対象となる回路から得られるグラフと同じであれば,論理的に等価になる.


画像:lsi_f58.gif

図 二分決定グラフ



【出典】西久保 靖彦;基本システムLSI用語辞典,CQ出版社,2000年5月.

関連項目

表示