ソースを表示

出典: くみこみックス

以下に示された理由により ページの編集 を行うことができません:

以下にソースを表示しています:

二分決定グラフ【Binary Decision Diagram】 <br> <br> 　フォーマル・ベリファイア（形式的検証ツール）などで用いられる論理表現の一形式．BDDとも呼ぶ．フォーマル・ベリファイアでは論理式やRTL記述などを二分決定グラフで表現する．検証対象となる回路から得られるグラフの形状が，比較対象となる回路から得られるグラフと同じであれば，論理的に等価になる． <br> <br> <br> <center> [[画像:lsi_f58.gif]]<br> <br> '''図　二分決定グラフ''' </center> <br> <br> 【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月． <!-- 【著作権者】西久保 靖彦氏 --> <br> <br> == 関連項目 == * [[フォーマル・ベリファイア]] [[Category:組み込み技術全般|ニフンケッテイクラフ]] [[Category:LSI|ニフンケッテイクラフ]]

二分決定グラフ に戻る。