潜在的な依存関係を利用した高位設計デバッグ支援手法(システム設計,システム設計及び一般)

スポンサーリンク

概要

論文の詳細を見る
高位合成技術の導入が進むにしたがって、高位設計に対する検証とデバッグの重要性が高まりつつある。本稿では、単一のバグを含んだ高位設計記述と、その設計記述に対する反例を入力とし、バグの修正方法の候補を形式的手法を用いて探索する手法を提案する。提案手法では、より大きな規模の設計記述における適用を可能とするため、プログラムスライシング技術と反例から生成した制約を利用して、バグ位置の候補およびデバッグ時に扱う設計記述量を削減する。さらに、いくつかの例題に対する実験を通して、これらのバグ位置候補と設計記述量の削減によって、提案手法が効率的にバグ修正方法を探索することが可能であり、また、設計中のバグに対する修正方法が実際に得られることを示す。
2012-05-23

著者

関連論文

もっと見る

スポンサーリンク