出典: くみこみックス
(
差分)
←前の版 | 最新版を表示 (差分) | 次の版→ (差分)
二分決定グラフ【Binary Decision Diagram】
フォーマル・ベリファイア（形式的検証ツール）などで用いられる論理表現の一形式．BDDとも呼ぶ．フォーマル・ベリファイアでは論理式やRTL記述などを二分決定グラフで表現する．検証対象となる回路から得られるグラフの形状が，比較対象となる回路から得られるグラフと同じであれば，論理的に等価になる．
図 二分決定グラフ
【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．
関連項目
