Df.fifo has an ack/ready that depends on the the state of the fifo and the input to the fifo:
|
otpAck = Maybe.isJust maybePush |
We can make it just depend on the state while remaining protocol compliant, making for a shorter combinational path for complete systems, by doing: