An Error Diagnosis Technique Combining BDD-based Approach and SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's

• Project/Area Number: 24500064
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• 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): 2012-04-01 – 2015-03-31
• Project Status: Completed (Fiscal Year 2014)
• Budget Amount: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000); Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2013: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000); Fiscal Year 2012: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
• Keywords: 論理診断 / 論理再合成 / 設計変更 / SATソルバ / 設計誤り / SAT / VLSI設計技術 / ECO / QBFソルバ / ＶＬＳＩ設計技術

Outline of Final Research Achievements

We have proposed and implemented an error diagnosis technique combining BDD-based functional approach and SAT-solver, which makes it possible to diagnose large scale circuits including a lot of logic design errors. In addition, we have applied it to an 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.

Research Products

• [Presentation] An ECO-friendly design style based on reconfigurable cells (2015)
  • Author(s): Y. Kabata, T. Hirose, N. Kuroki, and M. Numa
  • Organizer: The 19th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2015)
  • Place of Presentation: Evergreen Resort Hotel
  • Year and Date: 2015-03-16 – 2015-03-17
• [Presentation] An error diagnosis technique using QBF solver to fix LUT functions (2013)
  • Author(s): N. Katayama, H. Sakamoto, T. Hirose, N. Kuroki, and M. Numa
  • Organizer: The 18th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2013)
  • Place of Presentation: ホテル札幌ガーデンパレス
• [Presentation] Technology remapping based on multiple solutions for post-mask functional ECO (2013)
  • Author(s): Y.Kabata, T. Hirose, N. Kuroki, and M. Numa
  • Organizer: The 18th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2013)
  • Place of Presentation: ホテル札幌ガーデンパレス
• [Presentation] メタル配線により再構成可能なセルと論理再合成への応用
  • Author(s): 下野友大, 天満 健, 千崎弘人, 廣瀬哲也, 黒木修隆, 沼 昌宏
  • Organizer: DAシンポジウム2012
  • Place of Presentation: ホテル下呂温泉水明館
• [Presentation] 充足可能性判定に基づく誤り追跡入力生成と機能特定を用いた論理診断手法
  • Author(s): 片山直樹, 松山友紀, 渡辺浩介, 廣瀬哲也, 黒木修隆, 沼 昌宏
  • Organizer: DAシンポジウム2012
  • Place of Presentation: ホテル下呂温泉水明館