| http://www.w3.org/ns/prov#value | - If no cycle is to be performed, the EXRDY signal is high and the operation is a write operation, then control proceeds to state ID. If no cycle is to be performed, the EXRDY signal is high and the operation is a read operation, then control proceeds to state RD for reasons stated above.
|