| 作成者 |
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 収録物名 |
|
| 開始ページ |
|
| 終了ページ |
|
| 出版タイプ |
|
| アクセス権 |
|
| 関連DOI |
|
|
|
|
|
| 関連URI |
|
|
|
|
|
| 関連情報 |
|
|
|
|
|
| 概要 |
組合わせ回路の等価検証問題はNP 完全問題であることが知られているが，実際の設計においては構造の似通っ た2 つの回路が等価かどうかを比較する場合が多く見られる．本稿ではそのような構造の類似性を利用して高速に等価性判 定を行なうアルゴリズムについて述べ，前向き走査と後ろ向き走査という効率化手法に関する理論的な考察および実験結果 の比較解析を行なう．
While equivalence checkin...g for combinational circuits is known as an NP complete problem, there are many cases in the real-world that two circuits to be verified have structural similarity. This paper describes equivalence checking algorithms utilizing such structural similarity. Theoretical study and empirical analysis for two acceleration methods — forward scan and backward scan — are shown.続きを見る
|
Mendeley出力
matsunaga02_3