Detecting and correcting out-of-order state accesses using data

A computer program product embodied in a computer readable storage medium detecting that a functional model executed inconsistently with respect to a target system, the computer program product comprising the programming instructions for:

• generating a target value to be stored in a memory address;
• receiving a value used by said functional model;
• writing said target value into said memory address at a time said target system would have written said target value into said memory address;
• comparing said target value with said value used by said functional model at a time said target system would have used said target value;
• and
• detecting that an instruction stream executed by said functional model is inconsistent with respect to said target system if said target value in said memory address differs from said value used by said functional model.

A system, comprising:

• a memory unit for storing a computer program for detecting that a functional model executed inconsistently with respect to a target system;
• and
• a processor coupled to said memory unit, wherein said processor, responsive to said computer program, comprises:
• circuitry for generating a target value to be stored in a memory address;
• circuitry for receiving a value used by said functional model;
• circuitry for writing said target value into said memory address at a time said target system would have written said target value into said memory address;
• circuitry for comparing said target value with said value used by said functional model at a time said target system would have used said target value;
• and
• circuitry for detecting that an instruction stream executed by said functional model is inconsistent with respect to said target system if said target value in said memory address differs from said value used by said functional model.

A method for detecting that a functional model executed out-of-order with respect to a target system, the method comprising:

• receiving a value of a store instruction to be stored in a memory address where said store instruction is executed by said functional model;
• receiving a value of a load instruction to be loaded from said memory address where said load instruction is executed by said functional model;
• writing a value in a memory corresponding to said value to be stored by said executed store instruction at a time when said target system would execute said store instruction;
• comparing said value in said memory with said value of said load instruction received from said functional model at a time when said target system would execute said load instruction;
• and
• detecting that an instruction stream executed by said functional model is out-of-order with respect to said target system if said value in said memory differs with said value of said load instruction received from said functional model.

A computer program product embodied in a computer readable storage medium for detecting that a functional model executed out-of-order with respect to a target system, the computer program product comprising the programming instructions for:

• receiving a value of a store instruction to be stored in a memory address where said store instruction is executed by said functional model;
• receiving a value of a load instruction to be loaded from said memory address where said load instruction is executed by said functional model;
• writing a value in a memory corresponding to said value to be stored by said executed store instruction at a time when said target system would execute said store instruction;
• comparing said value in said memory with said value of said load instruction received from said functional model at a time when said target system would execute said load instruction;
• and
• detecting that an instruction stream executed by said functional model is out-of-order with respect to said target system if said value in said memory differs with said value of said load instruction received from said functional model.

A system, comprising:

• a memory unit for storing a computer program for detecting that a functional model executed out-of-order with respect to a target system;
• and
• a processor coupled to said memory unit, wherein said processor, responsive to said computer program, comprises:
• circuitry for receiving a value of a store instruction to be stored in a memory address where said store instruction is executed by said functional model;
• circuitry for receiving a value of a load instruction to be loaded from said memory address where said load instruction is executed by said functional model;
• circuitry for writing a value in a memory corresponding to said value to be stored by said executed store instruction at a time when said target system would execute said store instruction;
• circuitry for comparing said value in said memory with said value of said load instruction received from said functional model at a time when said target system would execute said load instruction;
• and
• circuitry for detecting that an instruction stream executed by said functional model is out-of-order with respect to said target system if said value in said memory differs with said value of said load instruction received from said functional model.