27 / 37 · 理解度チェック

理解確認：参照モデルと競合

DUTから独立した期待値と更新後の観測を選びます。

nonblocking更新のcountを検査します。刺激と観測を分けてください。

この単一クロックテストベンチで適切な検査方法は？

答えを選択立上りでresetを変え同じイベントでcountを読む。DUT内部の次状態を期待値にコピーする。最終値が正しければ中間誤りを無視する。立下りで刺激を設定し独立モデルを計算して、次の立上りNBA更新後に比較する。