ハードウェア記述言語と検証
自己チェック型のテストベンチの特徴として正しいものはどれか。
- A人が波形を目で見て、正しいかどうかを毎回判断する
- B出力を期待される値と自動で比べ、合っているかどうかをテストベンチ自身が判定して報告する
- C回路を製造してから、実物で確かめる
答えと解説を見る
正解：B. 出力を期待される値と自動で比べ、合っているかどうかをテストベンチ自身が判定して報告する
波形を目で見て確かめる方法は、小さな回路の確認には便利ですが、テストの数が増えると見落としが起こり、変更のたびに見直すこともできません。自己チェック型のテストベンチは、入力ごとに期待される出力を計算したり表で持ったりして、回路の出力と自動で比べ、食い違いがあればエラーとして報告します。何千ものテストを夜の間に自動で実行して、結果だけを確かめることができます。
- A. それは自己チェックではありません。
- B. 正しい。大量のテストを自動で回せます。
- C. 製造前のシミュレーションで行います。