Patent ID: 8489382

Claim:
A method comprising: generating a first intermediate result based on a model and based on internals associated with a target processor, the model including a reference design, the internals including at least one of architecture information, compiler information, compiler settings, or operating system information, and the generating the first intermediate result being performed by a computing device; generating a second intermediate result based on code information associated with the target processor and code information associated with the model, the generating the second intermediate result being performed by the computing device; comparing the first intermediate result and the second intermediate result, the comparing being performed by the computing device; determining a discrepancy between the first intermediate result and the second intermediate result, the determining being performed by the computing device; determining a cause of the discrepancy, the determining the cause of the discrepancy including: determining if the discrepancy is due to an overflow behavior associated with the first intermediate result, and updating, when the discrepancy is due to the overflow behavior associated with the first intermediate result, the overflow behavior, the determining the cause of the discrepancy, the determining if the discrepancy is due to the overflow behavior associated with the first intermediate result, and the updating the overflow behavior being performed by the computing device; updating, based on the comparison and determining the cause of the discrepancy, information associated with the target processor, the updating the information being performed by the computing device; determining, based on the updating the information, whether a model simulation result is achieved for the target processor, the determining whether the model simulation result is achieved for the target processor being performed by the computing device; and reperforming, when the model simulation result is not achieved for the target processor, the generating the first intermediate result, the generating the second intermediate result, the comparing, the determining the discrepancy, the determining the cause of the discrepancy, and the updating the information until the model simulation result is achieved for the target processor, the reperforming being performed by the computing device.