構造レベルカバレジメジャによる検証十分性の評価

スポンサーリンク

概要

論文の詳細を見る
高品質の計算機を短期間で開発するためには、論理シミュレーションによる設計検証を十分行なう必要がある。ところが、次の問題点がある。(1)論理規模増大、複雑化によるシミュレーションに費やす計算機時間の増加。(2)テスト項目もれ、未実施による不良の見逃し。限られたシミュレーション時間内で必要かつ十分な検証を行なうためには、検証の十分性を計量的に表すメジャ(尺度)が必要である。本稿では、論理回路(構造記述)中の信号線のO/1変化に着目した構造レベルカバレジメジャを用いてテストの十分性、有効性を評価し、本メジャの有効性を考察する。
1992-02-24

著者

関連論文

もっと見る

スポンサーリンク