等価検証の効率化手法に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
組合わせ回路の等価検証問題はNP完全問題であることが知られているが,実際の設計においては構造の似通った2つの回路が等価かどうかを比較する場合が多く見られる.本稿ではそのような構造の類似性を利用して高速に等価性判定を行なうアルゴリズムについて述べ,前向き走査と後ろ向き走査という効率化手法に関する理論的な考察および実験結果の比較解析を行なう.
- 2002-11-27
論文 | ランダム
- ANNA MURRAYを索めて
- きょういくズームアップ 学校のモードを外向けに切り替える--コミュニティ・スクールの調査研究を行った佐藤晴雄さん
- 教育力育成や教員人事に課題も--日大の佐藤教授らがコミュニティ・スクールを調査
- 地域の中の居場所 (特集 子どもの居場所づくり) -- (子どもの居場所をつくる)
- 保護者にどう対応するか