| Budget Amount *help |
¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1996: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Research Abstract |
1.誤り追跡入力の生成部作成:論理検証の結果,機能仕様と設計された論理回路の不一致が検出された場合,その条件を表す二分決定グラフをもとに,誤り追跡入力を生成するソフトウェアを開発した。
論理診断部作成:可制御性の評価,誤りの種類を特定しないシミュレーションなどの手法を用いて,誤り追跡入力に含まれるプール変数Xを外部出力に伝搬させるように修正可能なLUTの組合せを求め,さらに各誤り追跡入力についてXが外部出力まで伝搬するようにLUT内部の論理関数の候補を絞り込み,最終的な結果を誤り候補とするソフトウェアを開発した。各LUTの組合せについて,ブール変数Xを外部出力まで伝搬させるためのLUT内部の論理関数の集合をドントケアを含んだ真理値表で表現することで,コンパクトなデータ表現を実現した。
3.自動修正/論理再検証部作成:2.の結果得られた設計誤りの候補をもとに自動的にもとの回路を修正し,再度論理検証を行うことによって,最終的な設計誤りと修正された回路を設計者に提示するソフトウェアを開発した。修正しても機能仕様と一致しない誤り候補が存在する場合,不一致の条件を示す論理関数を二分決定グラフで表現し,再度1.の誤り追跡入力の生成処理を実行する。追加生成された誤り追跡入力を,もとのパターンと合わせて誤り追跡に利用することで,高い限定効果を実現した。
4.システムの性能評価:実験により,実際に人手で設計された種々の回路に対する誤りの追跡・修正能力を評価した。その結果,挿入したすべての誤りの診断が可能であることを確認した。とくに,従来は不可能であった同一パス上の複数のLUTに生じる設計誤りに対しても適用可能であることから,本手法の高い修正能力が実証された。
|
