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: ¥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.

Research Products

• [Journal Article] An error diagnosis technique based on clustering of elements (2010)
  • Author(s): K. Shioki, N. Okada, K. Watanabe, T. Hirose, N. Kuroki, and M. Numa
  • Journal Title: IEICE Trans. on Fundamentals Volume: vol.E93-A, no.12 Pages: 2490-2496
  • NAID: 10027985719
• [Journal Article] An error diagnosis technique based on clustering of elements (2010)
  • Author(s): K.Shioki, N.Okada, K.Watanabe, T.Hirose, N.Kuroki, M.Numa
  • Journal Title: IEICE Trans.on Fundamentals Volume: E93-A Pages: 2490-2496
  • NAID: 10027985719
  • Peer Reviewed
• [Journal Article] An error diagnosis technique based on location sets to rectify subcircuits (2009)
  • Author(s): K. Shioki, N. Okada, T. Ishihara, T. Hirose, N. Kuroki, M. Numa
  • Journal Title: IEICE Trans. on Fundamentals Volume: vol.E92-A, no.12 Pages: 3136-3142
  • NAID: 10026861552
• [Journal Article] An error diagnosis technique based on location sets to rectify subcircuits (2009)
  • Author(s): K.Shioki, N.Okada, T.Ishihara, T.Hirose, N.Kuroki, M.Numa
  • Journal Title: IEICE Trans. on Fundamentals E92-A Pages: 3136-3142
  • NAID: 10026861552
  • Peer Reviewed
• [Presentation] An error diagnosis technique based on SAT solver (2012)
  • Author(s): T.Matsuyama
  • Organizer: The 17th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2012)
  • Place of Presentation: 別府国際コンベンションセンター(ビーコンプラザ)
  • Year and Date: 2012-03-09
• [Presentation] Reconfigurable cells for post-mask ECO (2012)
  • Author(s): H.Senzaki
  • Organizer: The 17th Workshop on Synthesis And System Integration of Mixed Information technologies (SASMI 2012)
  • Place of Presentation: 別府国際コンベンションセンター(ビーコンプラザ)
  • Year and Date: 2012-03-08
• [Presentation] Reconfigurable cells for post-mask ECO (2012)
  • Author(s): H. Senzaki, T. Matsuyama, K. Watanabe, T. Hirose, N. Kuroki, and M. Numa
  • Organizer: The 17th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI 2012)
• [Presentation] An error diagnosis technique based on SAT solver (2012)
  • Author(s): T. Matsuyama, H. Senzaki, K. Watanabe, T. Hirose, N. Kuroki, and M. Numa
  • Organizer: The 17th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI 2012)
• [Presentation] 修正可能な外部出力数に着目した部分修正に基づく論理診断手法 (2011)
  • Author(s): 松山友紀, 渡辺浩介, 千崎弘人, 廣瀬哲也, 黒木修隆, 沼昌宏
  • Organizer: DAシンポジウム2011
• [Presentation] An incremental synthesis technique for ECO based on iterative procedure for error diagnosis and spare cell assignment (2010)
  • Author(s): K.Watanabe
  • Organizer: Synthesis And System Integration of Mixed Information technologies 2010 (SASIMI2010)
  • Place of Presentation: Grand Formosa Regent Taipei
  • Year and Date: 2010-10-18
• [Presentation] An incremental synthesis technique based on error diagnosis and technology remapping for clusters (2010)
  • Author(s): H.Senzaki
  • Organizer: Synthesis And System Integration of Mixed Information technologies 2010 (SASIMI2010)
  • Place of Presentation: Grand Formosa Regent Taipei
  • Year and Date: 2010-10-18
• [Presentation] An incremental synthesis technique for ECO based on iterative procedure for error diagnosis and spare cell assignment (2010)
  • Author(s): K. Watanabe, H. Senzaki, K. Shioki, T. Hirose, N. Kuroki, and M. Numa
  • Organizer: Synthesis And System Integration of Mixed Information technologies 2010(SASIMI 2010)
• [Presentation] An incremental synthesis technique based on error diagnosis and technology remapping for clusters (2010)
  • Author(s): H. Senzaki, K. Watanabe, K. Shioki, T. Hirose, N. Kuroki, and M. Numa
  • Organizer: Synthesis And System Integration of Mixed Information technologies 2010(SASIMI 2010)
• [Presentation] クラスタ単位のセル割当てを用いた論理再合成手法 (2010)
  • Author(s): 千崎弘人, 渡辺浩介, 塩木講輔, 廣瀬哲也, 黒木修隆, 沼昌宏
  • Organizer: DAシンポジウム2010
• [Presentation] 回路構造を考慮した修正箇所候補抽出に基づく論理診断手法 (2009)
  • Author(s): 塩木講輔
  • Organizer: 情報処理学会 DAシンポジウム2009
  • Place of Presentation: ホテルアローレ(石川県)
  • Year and Date: 2009-08-26
• [Presentation] 回路構造を考慮した修正箇所候補抽出に基づく論理診断手法 (2009)
  • Author(s): 塩木講輔, 渡辺浩介, 岡田匠史, 石原俊郎, 廣瀬哲也, 黒木修隆, 沼昌宏
  • Organizer: 情報処理学会研究報告
• [Presentation] 素子のクラスタリングを用いた論理診断手法 (2009)
  • Author(s): 塩木講輔, 岡田匠史, 渡辺浩介, 廣瀬哲也, 黒木修隆, 沼昌宏
  • Organizer: 情報処理学会DAシンポジウム2009
• [Presentation] 信号線欠落に対応した論理診断における変更箇所数削減 (2009)
  • Author(s): 渡辺浩介, 塩木講輔, 岡田匠史, 廣瀬哲也, 黒木修隆, 沼昌宏
  • Organizer: 情報処理学会DAシンポジウム2009