Assertion list for term "connected to the fifo output circuit".

Results from Ascent++: 1
latch ReceivesActionconnected to the fifo output circuit 0.25