Time Count Generator

このモジュールは, 同期システム時刻 SYS_TIMEから, 離散時刻$t=0,1,\dots ,511$ (TIME_CNT) と超音波周波数で発火するUPDATEを生成する. SYS_TIMEはメインクロックでカウントアップされる$57\mathrm{bit}$符号なし整数カウンタである. SYS_TIMEの値は, 全デバイス間で同期しているため, $t$も必然的に全てのデバイスの全振動子で同期する. SYS_TIMEに関しては, Synchonizerを参照されたい.

TIME_CNTの生成には, SYS_TIMEの下位9bitをそのまま使用する. また, UPDATEは基本的にTIME_CNTが特定の値のときだけ$1$とすれば良い. ただし, SYS_TIMEは補正のために, 値が1飛ばしでインクリメント (すなわち前回の値$+2$) される, または, インクリメントされない可能性があるため, 単純にUPDATEはTIME_CNTが$0$のときに$1$のようにすることができない. そのため, UPDATEがアサートされるのは, TIME_CNTが$511$から$0$または$1$に変化するタイミング, としている. (すなわち, UPDATEがアサートされたクロックの次のクロックからTIME_CNTがリセットされ, 新しい周期が始まるようになっている.)