カウンタと同期リセット

回路が以前の値を記憶する仕組み

カウンタはエッジごとに1を加える順序回路です。2ビットcountは00、01、10、11を保存します。

always_ff @(posedge clk)は立上りで更新します。<=の右辺は更新前のcountです。

rstは同期リセットです。上げるだけでは変わらず、rst=1の立上りでcountが00になります。