Skip to Content
Find More Like This
Return to Search


United States Patent Application

View the Complete Application at the US Patent & Trademark Office
A method, computer program product and system for detecting that a functional model execution is out-of-order with respect to a target execution. A value of a store instruction to be stored in a memory address, where the store instruction is executed by the functional model, is received by the timing model. This value is stored by the timing model in a target oracle memory at a time when the target system would execute the store instruction. The timing model compares the value in the target oracle memory with the value of a load instruction to be loaded from the same memory address, which is received from the functional model, at a time when the target system would execute the load instruction. The timing model detects an out-of-order instruction stream with respect to the target instruction stream if there is a miscomparison.
Chiou, Derek (Austin, TX), Angepat, Hari (Austin, TX), Patil, Nikhil (Austin, TX)
Board of Regents The University of Texas System (Austin TX)
12/ 749,595
March 30, 2010
GOVERNMENT INTERESTS [0003] The U.S. Government may own certain rights in this invention pursuant to the terms of the National Science Foundation Grant No. NSF-0615352 and pursuant to the terms of the Department of Energy Grant No. DOE-ER25686.