あなたの作ったテストベンチのバグ検出能力を高める方法 ―― ミューテーション法を利用した検証環境の品質改善

あなたの作ったテストベンチのバグ検出能力を高める方法 ―― ミューテーション法を利用した検証環境の品質改善 George Bakewell ディジタルLSIの開発において，機能検証の工数が増加し続けている．機能検証に要する期間が伸びている一方で，設計者や検証エンジニアなどが作成した検証環境のバグ検出能力について定量的に議論されることは少ない．ここでは，「機能検証環境の品質改善」という考え方と，それを実現するミューテンション法に基づくテスト技術について解説する．（編集部） 最先端のチップの開発では，設計と同等以上の複雑さを持つ検証作業が実施されており，そこでは種々の高度な検証ツールが使用されています．こうした既存のツールは，スティミュラス（シミュレーション・パターン）の自動生成やカバレッジ（網羅率）解析などの機能が充実している一方で，テストベンチの品質が「どの程度良いのか」は示してくれません