検証で、C言語などで書いた参照モデル(ゴールデンモデル)を使う目的として正しいものはどれか。

正解：B. 回路と同じ機能を別の方法で計算し、その結果を期待値として回路の出力と比べる

参照モデルは、回路が実現すべき機能を、タイミングを気にせずソフトウェアで素直に書いたものです。同じ入力を回路と参照モデルの両方に与えて結果を比べれば、大量のランダムな入力でも期待値を自動で作れます。設計と同じ人が同じ誤解をもとに作ると誤りを見逃すので、仕様書から独立に作ることが大切です。

• A. 製造にはレイアウトのデータを渡します。
• B. 正しい。独立に作ったモデルとの一致を確かめます。
• C. 速さを変えるものではありません。