2010 Fiscal Year Annual Research Report
SATソルバを利用した論理診断手法とLSI設計変更コスト削減への応用
| Project/Area Number |
21500054
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
沼 昌宏 神戸大学, 工学研究科, 教授 (60188787)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
黒木 修隆 神戸大学, 工学研究科, 准教授 (90273763)
|
|---|
| Keywords | 論理診断 / 論理再合成 / 設計変更 / SAT / 設計誤り / 診断対象回路 |
|---|
| Research Abstract |
(1)SATソルバを用いた論理診断手法の考案と改良
論理診断処理に関して,充足可能性(SAT)問題による定式化の成果をもとに,充足可能性問題を解くSATソルバを用いて実現可能とする手法について,未対応部分に対する手法の考案と実現を行った。さらに,処理時間短縮と多様な修正解を得ることを目的として,充足可能性問題としての定式化方法や,SATソルバに与えるCNF式記述方法について改良を加えた。
(2)マスク再利用部作成
マスク製造後の設計変更に対して,再設計コストの削減を目的として,マスクを再利用する手法を考案した。チップ上にあらかじめ埋め込まれている余剰セルを用いて回路修正を行うことで,配置用のマスク,すなわち拡散層やポリシリコン層の形成に用いるマスクの再利用を実現した。さらに,余剰セルに関して,種類,個数,チップ上の挿入位置に関する検討を行うことで,論理再合成システムをより実用的なものとした。
|
