23 / 36 · 概念

リセットと計数の誤りを調べる

初期値・リセット・最初のエッジを順に確認します。

学習目標

この実習は11から始まり最初の立上りでリセットします。期待順は00,01,10,11,00です。初期値を00と思うとエッジ数がずれます。実行設定が最初の1サイクルにリセットを与えるので、JSONとの二重制御を避けます。

初期値とリセット期間は別々に変え、ソース・設定・予測をまとめて比較します。まず最初の不一致のエッジのcountとrstから次の値を計算します。

各立上り後ずっと00なら加算式を先に変える？

解説を見る

先にrstがHighのままか、クロックが動いているかを確認します。リセット中は正しい回路でも00を保存し続けます。