Assertion: fifo queue | /r/HasProperty | empty
Facets:
Source sentences:
text: Read and write addresses are initially both at the first memory location and the FIFO queue is empty.
text: Read and write addresses are initially both at the first memory location and the FIFO queue is empty.