論理設計誤りの自動修正とLSI設計変更コスト削減への応用

2008 年度 研究成果報告書

• 研究課題/領域番号: 18500037
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 計算機システム・ネットワーク
• 研究機関: 神戸大学
• 研究代表者: 沼 昌宏 神戸大学, 大学院工学研究科, 教授 (60188787)
• 研究分担者: 黒木 修隆 神戸大学, 大学院工学研究科, 准教授 (90273763)
• 研究期間 (年度): 2006 – 2008
• キーワード: 設計自動化 / 論理設計 / 設計変更 / インクリメンタル合成

研究概要

論理回路に含まれる論理設計誤りを自動的に修正する論理診断手法を考案・実現するとともに,それに基づいてLSIに対する設計変更要求に対して最小限の修正で対応することを可能とする論理再合成手法を考案・実現した。ドントケア条件や修正箇所情報を利用した論理診断手法を提案することで,より少ない箇所の修正によって設計変更に対応する解を,より多く求めることが可能となり,設計変更コスト削減に大きな効果が得られた。

研究成果

• [学会発表] An error diagnosis technique based on location sets to rectify subcircuits (2009)
  • 著者名/発表者名: K. Shioki, N. Okada, T. Ishihara, T. Hirose, N. Kuroki, M. Numa
  • 学会等名: 15th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2009)
  • 発表場所: 沖縄県
  • 年月日: 2009-03-09
• [学会発表] 部分回路の修正箇所情報を利用した論理診断手法 (2008)
  • 著者名/発表者名: 塩木講輔, 岡田匠史, 石原俊郎, 黒木修隆, 沼 昌宏
  • 学会等名: 報処理学会 DAシンポジウム2008
  • 発表場所: 静岡県
  • 年月日: 2008-08-26
• [学会発表] An error diagnosis technique based on specifications with don't cares (2007)
  • 著者名/発表者名: N. Okada, T. Iida, T. Ishihara, N. Kuroki, M. Numa
  • 学会等名: 14th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2007)
  • 発表場所: 北海道
  • 年月日: 2007-10-16
• [学会発表] An LUT-based error diagnosis technique extended for multiple missing line errors based on iterative diagnosis procedure (2007)
  • 著者名/発表者名: T. Ishihara, R. Arai, N. Okada, N. Kuroki, M. Numa
  • 学会等名: 4th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2007)
  • 発表場所: 北海道
  • 年月日: 2007-10-16
• [学会発表] 部分回路の修正解に含まれるドントケアを考慮した論理診断手法 (2007)
  • 著者名/発表者名: 石原俊郎, 温水真一, 岡田匠史, 新居良祐, 黒木修隆, 沼 昌宏
  • 学会等名: 情報処理学会 DAシンポジウム2007
  • 発表場所: 静岡県
  • 年月日: 2007-08-30
• [学会発表] タイミングを考慮した論理再合成手法 (2007)
  • 著者名/発表者名: 岡田匠史, 石原俊郎, 新居良祐, 黒木修隆, 沼 昌宏
  • 学会等名: 情報処理学会 DAシンポジウム2007
  • 発表場所: 静岡県
  • 年月日: 2007-08-30
• [学会発表] 不用セルを再利用する論理診断に基づく論理再合成手法 (2006)
  • 著者名/発表者名: 石原俊郎,新居良祐,飯田貴行,沼 昌宏
  • 学会等名: 情報処理学会 DA シンポジウム 2006
  • 発表場所: 静岡県
  • 年月日: 2006-07-12