Method and apparatus for performing incremental validation of program code conversion
US7793270B2 · kind B2 · utility
1Cited by
6References
27Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Nov 3, 2003 |
| Grant date | Sep 7, 2010 |
| Priority date | — |
| Expiry date | Feb 27, 2026 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/44589
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and apparatus for verifying program code conversion performed by an emulator. A first emulator configured in a same-to-same (X-X) mode converts subject code into target code for execution by a subject processor. Execution of the subject code natively by the subject processor is compared against execution through the first emulator, to verify that program code conversion. Optionally, the first emulator is then used to incrementally validate program code conversion (i.e. optimisation and/or translation) performed by a second emulator, such as a this-to-that (X-Y) mode emulator running on a target processor.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.