| http://www.w3.org/ns/prov#value | - store monitoring circuitry designed to monitor the data write instructions and to invalidate any copies of a datum in memory overwritten by the data write instructions, including copies of instructions in the instruction set other than the instruction set of the current data write instruction.
|