2011 Fiscal Year Final Research Report
An Error Diagnosis Technique Based on SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
| Project/Area Number |
21500054
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Computer system/Network
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
NUMA Masahiro 神戸大学, 大学院・工学研究科, 教授 (60188787)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
KUROKI Nubutaka 神戸大学, 大学院・工学研究科, 准教授 (90273763)
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Keywords | 設計自動化 / 論理設計 / 設計変更 / インクリメンタル合成 / SATソルバ |
|---|
| Research Abstract |
We have proposed and implemented an error diagnosis technique based on SAT-solver and have applied it to an incremental synthesis system to reduce costs needed for ECO' s(Engineering Change Orders). By iterating the error diagnosis procedure for each subcircuit with incorrect primary output function, we are able to obtain solutions even for larger circuits with many ECO's. The experimental results have shown that the proposed system is effective to reduce costs needed for ECO's.
|
