等価検証の効率化手法に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
組合わせ回路の等価検証問題はNP完全問題であることが知られているが,実際の設計においては構造の似通った2つの回路が等価かどうかを比較する場合が多く見られる.本稿ではそのような構造の類似性を利用して高速に等価性判定を行なうアルゴリズムについて述べ,前向き走査と後ろ向き走査という効率化手法に関する理論的な考察および実験結果の比較解析を行なう.
- 2002-11-27
論文 | ランダム
- ハンドテスト検査場面に関する実験的研究--教示に加えられた検査定義がハンドテスト反応に及ぼす影響
- 地域情報とコンピュータ・グラフィックス (建築におけるコンピュータ・グラフィックス)
- ウイルスを中心として (内科学の展望-7-呼吸器疾患を中心として) -- (最近の呼吸器感染症)
- List of literatures on nitrogen fixation and related metabolisms by the bacterium described as Bacillus polymyxa strain Hino, Paenibacillus polymyxa strain Hino or Paenibacillus azotofixans strain Hino
- ドイツのスポーツテスト〈Sportabzeichen〉に関する日本の体力テストとの比較考察