2017 年度研究成果報告書

UNSATコアを活用した高性能論理診断手法とECOコスト削減への応用

研究課題

研究課題/領域番号	15K00078
研究種目	基盤研究(C)
配分区分	基金
応募区分	一般
研究分野	計算機システム
研究機関	神戸大学
研究代表者	沼昌宏神戸大学, 工学研究科, 教授 (60188787)
研究分担者	黒木修隆神戸大学, 工学研究科, 准教授 (90273763)
研究期間 (年度)	2015-04-01 – 2018-03-31
キーワード	論理診断 / 論理再合成 / 設計変更 / SATソルバ / 論理設計誤り / UNSATコア
研究成果の概要	BDD（二分決定グラフ）による論理関数表現と，SATソルバによる充足可能性判定を組み合わせ，ブール式が充足不能となる要因を示すUNSATコアを活用することで，多くの論理設計誤りを含む大規模回路に対して，短時間で効率よく修正解を求める高性能論理診断手法を提案するとともに，予め回路中に埋め込んだ再構成可能（RECON）セルを活用して配線層の変更のみで修正を実現することで，複雑な構造をもつ回路にも対応した柔軟性の高い論理診断・再合成システムを構築し，ECO（設計変更）コストの大幅な削減を実現した。
自由記述の分野	集積回路設計工学