2014 年度研究成果報告書

ＢＤＤとＳＡＴソルバを組み合わせた高多重度論理診断手法とＥＣＯコスト削減への応用

研究課題

研究課題/領域番号	24500064
研究種目	基盤研究(C)
配分区分	基金
応募区分	一般
研究分野	計算機システム・ネットワーク
研究機関	神戸大学
研究代表者	沼昌宏神戸大学, 工学(系)研究科(研究院), 教授 (60188787)
研究分担者	黒木修隆神戸大学, 大学院工学研究科, 准教授 (90273763)
研究期間 (年度)	2012-04-01 – 2015-03-31
キーワード	論理診断 / 論理再合成 / 設計変更 / SATソルバ / 設計誤り
研究成果の概要	BDD（二分決定グラフ）による論理関数表現と，SATソルバによる充足可能性判定を組み合わせることで，多くの論理設計誤りを含む大規模回路に対して，短時間で多くの修正解を求める論理診断手法を提案・実現した。さらに，その結果をもとに再構成可能（RECON）セルを用いて配線層の変更のみによる修正を実現することで，大規模回路に対応した柔軟性の高い論理診断・再合成システムを構築し，ECO（設計変更）コスト削減に大きな効果が得られた。
自由記述の分野	ＶＬＳＩ設計技術