35 / 36 · 概念

検証計画と不一致の追跡

通常・境界・リセット時の期待値を定めます。

学習目標

MUXは異なるデータで全選択、カウンタはリセットと最大値後、シフトは単一の1の移動を確認します。各試験で見つけたい誤りを書きます。実装コードを期待値計算へコピーすると同じ誤りを共有するため、真理値表や独立した状態表を基準にします。

最初に違ったエッジで、直前の状態、入力、リセット優先度、結果幅を順に比べます。エッジと入力変化が同時ならシミュレータのサンプリング規則も確認します。検証済み範囲と未検証範囲を残し、有限個の入力試験を全動作の証明と混同しません。

シフト方向の誤りを見つける入力は？

解説を見る

リセット後に1,0,0,0を入れ、001→010→100→000を期待します。全ビット1より方向が分かります。