An Effective Error Diagnosis Technique Based on UNSAT cores and Its Application to Reduce Costs Needed for ECO's

• Project/Area Number: 15K00078
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Computer system
• Research Institution: Kobe University
• Principal Investigator: NUMA MASAHIRO 神戸大学, 工学研究科, 教授 (60188787)
• Co-Investigator(Kenkyū-buntansha): 黒木 修隆 神戸大学, 工学研究科, 准教授 (90273763)
• Project Period (FY): 2015-04-01 – 2018-03-31
• Project Status: Completed (Fiscal Year 2017)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2015: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
• Keywords: 論理診断 / 論理再合成 / 設計変更 / SATソルバ / 論理設計誤り / UNSATコア / VLSI設計技術 / ECO / UNSAT / BDD

Outline of Final Research Achievements

We have proposed and implemented an error diagnosis technique combining BDD-based functional approaches and a SAT-solver, which makes it possible to diagnose large scale circuits including a lot of logic design errors by making use of unsatisfiable (UNSAT) cores obtained by the SAT solver. In addition, we have applied it to a flexible incremental synthesis system employing RECON (reconfigurable) cells to fix ECO’s (Engineering Change Orders) only by changing metal layer masks. The experimental results have shown that the proposed system is effective to reduce costs needed for ECO’s on large circuits with complicated structures.

Research Products

• [Presentation] An Error Diagnosis Technique Based on Unsatisfiable Cores to Extract Error Locations Sets (2018)
  • Author(s): Ayano Takezaki, Shogo Ohmura, Naoki Katayama, Tetsuya Hirose, Nobutaka Kuroki, Masahiro Numa
  • Organizer: The 21st Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2018)
  • Int'l Joint Research
• [Presentation] An error diagnosis technique based on averaged EPI values to extract error locations sets (2016)
  • Author(s): Ayano Takezaki
  • Organizer: The 20th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI 2016)
  • Place of Presentation: Kyoto Research Park, Kyoto, Japan
  • Year and Date: 2016-10-24
  • Int'l Joint Research
• [Presentation] On component ratio of RECON spare cells for ECO-Friendly design style (2016)
  • Author(s): Takeshi Sawai
  • Organizer: The 20th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI 2016)
  • Place of Presentation: Kyoto Research Park, Kyoto, Japan
  • Year and Date: 2016-10-24
  • Int'l Joint Research
• [Presentation] A Hardware Architecture to Perform K-means Clustering for Learning-Based Super-Resolution Combining Self-Learning and Prior-Learning Dictionaries (2016)
  • Author(s): Daichi Murata
  • Organizer: The 20th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI 2016)
  • Place of Presentation: Kyoto Research Park, Kyoto, Japan
  • Year and Date: 2016-10-24
  • Int'l Joint Research