4. BDD の CAD への応用 (<特集> BDD (二分決定グラフ))
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1993-05-15
著者
関連論文
- LSIの設計品質はCADツールの使いこなしが決める! : CAD技術の研究開発なくして高性能LSIはない
- 時相論理に基づく論理回路検証システム
- C. Mead and L. Conway, Introduction to VLSI Systems, Addison-Wesley, 1980(20世紀の名著名論)
- 情報処理技術者からみたLSI設計技術
- 4. BDD の CAD への応用 (<特集> BDD (二分決定グラフ))
- 特集「BDD (二分決定グラフ) : 幅広い応用範囲をもつ論理関数の処理技術」の編集にあたって
- チャネル境界上の端子位置決定法
- Rectangular Dualに基づくマクロセル配置手法
- 多段論理合成における二段論理式簡単化の一手法
- 順序回路の簡単化について
- 2分決定グラフのための変数順決定アルゴリズムとその評価
- 2分決定グラフを利用したトランスダクション法の改良
- 10.3 製造後回路修正のためのパッチ可能ハードウェアと自動修正技術(第10章:将来の課題,ディペンダブルVLSIシステム)
- 9.2 FLEC : 形式的検証ツール(第9章:テストカバレッジ,ディペンダブルVLSIシステム)