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

2006 Fiscal Year Annual Research Report

• Project/Area Number: 18500037
• Research Category: Grant-in-Aid for Scientific Research (C)
• Research Institution: Kobe University
• Principal Investigator: 沼 昌宏 神戸大学, 工学部, 教授 (60188787)
• Co-Investigator(Kenkyū-buntansha): 黒木 修隆 神戸大学, 工学部, 助教授 (90273763)
• Keywords: 論理診断 / 論理再合成 / 設計変更 / ドントケア / 設計誤り / 診断対象回路

Research Abstract

本年度の研究実績は,以下の通りである。
(1)論理診断に基づく論理再合成システムの構築
本研究のベースとなる実験システムのフレームワークをソフトウェアで構築した。回路に含まれる設計誤りを自動的に修正する論理診断手法に関して,大規模な回路に含まれる多数の誤りに対応する手法を考案するとともに,それを応用することで,LSIの設計変更コスト削減を目的とした論理再合成システムを開発した。
(2)診断対象回路とドントケア抽出部作成
設計変更発生時に,回路全体の中から修正する必要がある部分を組合せ回路として抽出するソフトウェアを構築した。ここで抽出された回路が,論理診断の対象となる。もとの回路から診断対象回路だけでなく,ドントケア条件をも抽出することで,回路規模を削減しつつ修正解の品質を保つ方法について考案・実装した。
(3)ドントケアに対応した論理診断部作成(沼)
(2)で抽出したドントケア条件を利用するため,論理再合成システムで採用する論理診断手法に対して改良を加えた。ドントケアは仕様の曖昧さを表現しているため,回路修正の自由度が大きくなるが,本手法を実現することにより,論理再合成システムが提示する修正解の品質を向上させることが可能となった。