1994 Fiscal Year Annual Research Report
有効な誤り追跡入力を用いた論理設計誤りの自動追跡・修正
| Project/Area Number |
06858033
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
沼 昌宏 神戸大学, 大学院・自然科学研究科, 講師 (60188787)
|
|---|
| Keywords | 多出力論理回路 / 設計誤り / 誤り追跡 / 自動修正 / 論理診断 / 論理検証 / 誤り追跡入力 / 誤り候補 |
|---|
| Research Abstract |
1.誤り追跡入力の生成部作成: 論理検証の結果,設計された論理回路が設計誤りを含むと判断された場合,不一致とされた入力を一致入力と組み合わせ,誤り追跡入力を生成するソフトウェアを開発した。二分決定グラフ表現を用いた論理関数の操作によって,不定値Dを複数含んだ誤り追跡入力を短時間で生成することが可能となった。
2.誤り候補箇所特定部作成: 生成された誤り追跡入力をもとに,ブール変数Xを出力に伝搬させるように修正可能な箇所の組合せを,可制御性の評価と,誤りの種類を特定しないシミュレーションにより,「誤り候補箇所」として特定するソフトウェアを開発した。不定値Dを含んだ誤り追跡入力を用いて限定効果を高める特定手法を開発した。
3.誤り追跡部作成: 特定された誤り候補箇所のそれぞれについて誤りの種類を対応させ,ブール変数Xが出力まで伝搬するか否かを判定することで,すべての誤り追跡入力についてXが出力まで伝搬する誤りの組合せを,設計誤りの候補として出力するソフトウェアを開発した。
4.自動修正部作成: 3.の結果得られた設計誤りの候補をもとに自動的にもとの回路を修正し,再度論理検証を行うことによって,最終的な設計誤りと,修正された回路を設計者に提示するソフトウェアを開発した。
5.システムの性能評価: 実験により,種々の回路に対する誤りの追跡・修正能力を評価した。その結果,不定値Dの導入によって,最終的な設計誤りの候補の数を半分程度に絞り込むことが可能になり,誤りの限定に高い効果があることを確認した。
|
-
[Publications] M.Tomita: "Pattern Generation for Locating Design Errors" IEICE Trans.Fundamentals.E77-A. 881-893 (1994)
-
[Publications] 冨田昌弘: "汎用エンジンRM-IIの構成" 情報処理学会論文誌. 35. 636-645 (1994)
-
[Publications] M.Tomita: "Rectification of Multiple Logic Errors in Multiple Output Circuits" ACM/IEEE 31st Design Automation Conference. 212-217 (1994)
-
[Publications] 沼昌宏: "汎用エンジンと論理診断への応用" 情報処理学会論文誌. 35. 2488-2499 (1994)
