REGISTER NOTE
Falling-edge-triggered registers
and double-edge-triggered
registers are not permitted.
Emulating a falling-edge-triggered register by placing inverters
on the input to a rising-edge-triggered register is not permitted.
Only
rising-edge-triggered registers are permitted.