<テクニカルレポート>
等価検証の効率化に関する一考察

作成者
本文言語
出版者
発行日
雑誌名
雑誌名
開始ページ
終了ページ
出版タイプ
アクセス権
概要 組合わせ回路の等価検証問題は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.続きを見る

本文情報を非表示

matsunaga02_3 pdf 140 KB 73  

詳細

レコードID
査読有無
関連情報
主題
タイプ
登録日 2009.04.22
更新日 2017.03.02