| Research Abstract |
1.誤り追跡入力の生成部作成:論理検証の結果,機能仕様と設計された論理回路の不一致が検出された場合,その条件を表す二分決定グラフをもとに,誤り追跡入力を生成するソフトウェアを開発した。他の処理との同時実行を可能とした。
2.誤り候補箇所特定部作成:生成された誤り追跡入力をもとに,プール変数Xを出力に伝搬させるように修正可能な箇所の組合せを,可制御性の評価と,誤りの種類を特定しないシミュレーションにより,「誤り候補箇所」として特定するソフトウェアを開発した。
3.誤り追跡部作成:特定された誤り候補箇所のそれぞれについて誤りの種類を対応させ,プール変数Xが出力まで伝搬するか否かを判定することで,すべての誤り追跡入力についてXが出力まで伝搬する誤りの組合せを,設計誤りの候補として求めるソフトウェアを開発した。
4.自動修正/論理再検証部作成:3.の結果得られた設計誤りの候補をもとに自動的にもとの回路を修正し,再度論理検証を行うことによって,最終的な設計誤りと修正された回路を設計者に提示するソフトウェアを開発した。修正しても機能仕様と一致しない誤り候補が存在する場合,不一致の条件を示す論理関数を二分決定グラフで表現し,再度1.の誤り追跡入力の生成処理を実行する。追加生成された誤り追跡入力を,もとのパターンと合わせて誤り追跡に利用することで,高い限定効果を実現する工夫を行った。
5.システムの性能評価:実験により,実際に人手で設計された種々の回路に対する誤りの追跡・修正能力を評価した。その結果,パターン生成との同時処理によって従来は60〜80%であった限定率が,100%に向上することを確認し,論理設計誤りに対する本手法の高い修正能力が実証された。
|
