SATソルバを利用した論理診断手法とLSI設計変更コスト削減への応用

2011 年度 研究成果報告書

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

研究概要

SATソルバを用いて論理回路に含まれる論理設計誤りを自動的に修正する論理診断手法を考案・実現するとともに,それに基づいてLSIに対する設計変更要求に対して最小限の修正で対応することを可能とする論理再合成手法を考案・実現した。診断対象回路の部分回路に対して修正を繰り返すことで,より大きな回路に含まれる多くの設計変更に対応する解を求めることが可能となり,設計変更コスト削減に大きな効果が得られた。

研究成果

• [雑誌論文] An error diagnosis technique based on clustering of elements (2010)
  • 著者名/発表者名: K. Shioki, N. Okada, K. Watanabe, T. Hirose, N. Kuroki, and M. Numa
  • 雑誌名: IEICE Trans. on Fundamentals 巻: vol.E93-A, no.12 ページ: 2490-2496
• [雑誌論文] An error diagnosis technique based on location sets to rectify subcircuits (2009)
  • 著者名/発表者名: K. Shioki, N. Okada, T. Ishihara, T. Hirose, N. Kuroki, M. Numa
  • 雑誌名: IEICE Trans. on Fundamentals 巻: vol.E92-A, no.12 ページ: 3136-3142
• [学会発表] Reconfigurable cells for post-mask ECO (2012)
  • 著者名/発表者名: H. Senzaki, T. Matsuyama, K. Watanabe, T. Hirose, N. Kuroki, and M. Numa
  • 学会等名: The 17th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI 2012)
  • 年月日: 20120300
• [学会発表] An error diagnosis technique based on SAT solver (2012)
  • 著者名/発表者名: T. Matsuyama, H. Senzaki, K. Watanabe, T. Hirose, N. Kuroki, and M. Numa
  • 学会等名: The 17th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI 2012)
  • 年月日: 20120300
• [学会発表] 修正可能な外部出力数に着目した部分修正に基づく論理診断手法 (2011)
  • 著者名/発表者名: 松山友紀, 渡辺浩介, 千崎弘人, 廣瀬哲也, 黒木修隆, 沼昌宏
  • 学会等名: DAシンポジウム2011
  • 年月日: 20110800
• [学会発表] An incremental synthesis technique for ECO based on iterative procedure for error diagnosis and spare cell assignment (2010)
  • 著者名/発表者名: K. Watanabe, H. Senzaki, K. Shioki, T. Hirose, N. Kuroki, and M. Numa
  • 学会等名: Synthesis And System Integration of Mixed Information technologies 2010(SASIMI 2010)
  • 年月日: 20101000
• [学会発表] An incremental synthesis technique based on error diagnosis and technology remapping for clusters (2010)
  • 著者名/発表者名: H. Senzaki, K. Watanabe, K. Shioki, T. Hirose, N. Kuroki, and M. Numa
  • 学会等名: Synthesis And System Integration of Mixed Information technologies 2010(SASIMI 2010)
  • 年月日: 20101000
• [学会発表] クラスタ単位のセル割当てを用いた論理再合成手法 (2010)
  • 著者名/発表者名: 千崎弘人, 渡辺浩介, 塩木講輔, 廣瀬哲也, 黒木修隆, 沼昌宏
  • 学会等名: DAシンポジウム2010
  • 年月日: 20100900
• [学会発表] 回路構造を考慮した修正箇所候補抽出に基づく論理診断手法 (2009)
  • 著者名/発表者名: 塩木講輔, 渡辺浩介, 岡田匠史, 石原俊郎, 廣瀬哲也, 黒木修隆, 沼昌宏
  • 学会等名: 情報処理学会研究報告
  • 年月日: 20091200
• [学会発表] 素子のクラスタリングを用いた論理診断手法 (2009)
  • 著者名/発表者名: 塩木講輔, 岡田匠史, 渡辺浩介, 廣瀬哲也, 黒木修隆, 沼昌宏
  • 学会等名: 情報処理学会DAシンポジウム2009
  • 年月日: 20090800
• [学会発表] 信号線欠落に対応した論理診断における変更箇所数削減 (2009)
  • 著者名/発表者名: 渡辺浩介, 塩木講輔, 岡田匠史, 廣瀬哲也, 黒木修隆, 沼昌宏
  • 学会等名: 情報処理学会DAシンポジウム2009
  • 年月日: 20090800