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