t38 OR t37 OR t36 OR t35 WHEN (X4) t38

t8 OR t5 OR t6 OR t7 WHEN (X4) t8 OTHERWISE

0 WHEN (Rst) (cntr_upd[-1] + 1) MOD 1024 WHEN (CntUp) (cntr_upd[-1] + 1023) MOD 1024 WHEN (CntDn) cntr_upd[-1] OTHERWISE

NOT(ChA)

NOT(ChB)

ChA = 0 AND ChB = 0

ChA = 1 AND ChB = 1

ChA = 1 AND ChB = 0

ChA = 0 AND ChB = 1

s[-1]