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
|
| Project Status |
Completed (Fiscal Year 2011)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2009: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Keywords | 設計自動化 / 論理設計 / 設計変更 / インクリメンタル合成 / SATソルバ / 論理診断 / 論理再合成 / 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.
|
Report
(4 results)
Research Products
(18 results)
