等価検証の効率化手法に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
組合わせ回路の等価検証問題はNP完全問題であることが知られているが,実際の設計においては構造の似通った2つの回路が等価かどうかを比較する場合が多く見られる.本稿ではそのような構造の類似性を利用して高速に等価性判定を行なうアルゴリズムについて述べ,前向き走査と後ろ向き走査という効率化手法に関する理論的な考察および実験結果の比較解析を行なう.
- 2002-11-27
論文 | ランダム
- 下垂体後葉 (内分泌・代謝学の進歩)
- 序論 (インスリン作用機序研究に関する最近の進歩)
- 抗利尿ホルモン (ホルモンの補充療法の現状と将来)
- 2階非線型微分方程式の周期解について (力学系の解析的研究)
- まとめ (やせ)