18 / 36 · 概念

クロックエッジと状態

入力変化とレジスタ更新を区別します。

学習目標

posedge clkは立上りです。Highの間ずっと増えるのではなく各立上りで一度更新します。最初のエッジに印を付け、各エッジ後の値とエッジ間の保持を比較します。

always_ffはposedge clkだけを待ちます。rstを上げても立上りまではcountは変わりません。rst=1のエッジでは増加せず00を保存します。これは同期リセットで、非同期リセットとは異なります。名前ではなくイベント条件を確認します。

エッジ間にrstが上がるとcount=10はすぐ00になる？

解説を見る

いいえ。次の立上りまで10を保持し、そこでrst=1なら00になります。