11 / 36 · 概念

誤りを見つけるテストケース

選択の逆転やサンプリングの誤りを見つけます。

学習目標

aとbが常に同じなら壊れた選択回路でも正しく見えます。a=0,b=1でselを変え、次にa=1,b=0で逆側も確認します。結果を見る前に期待値を計算し、元ファイルと変更後を区別します。

最初に異なる時刻と入力を記録します。yが違えば選択式や接続、sampled_yだけなら初期値とエッジを先に見ます。8通りの試験はRTLの0/1選択・保存の確認で、チップの全電気特性の証明ではありません。

yは正しいがsampled_yが1エッジずれるなら？

解説を見る

式を変える前に初期sampled_y、入力変化時刻、最初の立上りを比べます。