SATソルバーを援用したカバレッジ駆動設計検証について

摘要

ハードウェアの設計検証は，依然，設計工程におけるボトルネックとなっており，より一層の自動化·高速化が必要となっている．レジスタトランフアレベル設計に対する検証に関しては，主としてシミュレーションベースの手法が用いられており，近年では，各種のカバレッジ指標をターゲットとしたカバレッジ駆動検証が利用されている．特定の信号線にトグルを生成する入力パターンを見つけるためにSAT ソルバを用いるとトグルカバレッジの改善は容易になるが，計算コストが増大する．本稿では，SATソルバーをランダムシミュレーションと組み合わせて使用した場合の効果について述べる．SATソルバを少数回利用すると単純なランダムシミュレーションではカバーすることが難しいトグル条件を効率的にカバーすることができることができることを示す．