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