Data processing: structural design – modeling – simulation – and em – Emulation – Compatibility emulation
Reexamination Certificate
2005-03-01
2005-03-01
Teska, Kevin J. (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Emulation
Compatibility emulation
C703S028000, C714S028000, C714S728000, C717S158000
Reexamination Certificate
active
06862565
ABSTRACT:
A method and an apparatus allows complete and efficient verification of cross-architecture ISA emulation. A random verification framework runs concurrently on two different computer architectures. The framework operates without regard to existing native applications and relies instead on binary instructions in a native ISA. The framework determines emulation errors at a machine instruction level. A random code generator generates one or more sequences of native machine instructions and corresponding initial machine states in a pseudo-random fashion. The native instructions are generated from an entire set of the native ISA. The instructions and the state information are provided to initialize a native computer architecture. The same instructions and state information are provided using standard machine-to-machine languages, such as TCP/IP, for example, to a target computer architecture. A binary emulator then translates the native instructions so that the instructions may be executed on the target computer. Alternatively, the binary emulator may be embodied as a software routine operating on a simulator, which in turn operates on the native computer architecture. The final states of the native and the target computer architectures are gathered, and a verification engine compares the results. Any differences may indicate an emulation error or failure. The random verification framework may be run continuously to test emulation of the complete set of instructions from the native ISA after the testing continues for an infinite length of time.
REFERENCES:
patent: 4841476 (1989-06-01), Mitchell et al.
patent: 5202889 (1993-04-01), Aharon et al.
patent: 6009261 (1999-12-01), Scalzi et al.
patent: 6463582 (2002-10-01), Lethin et al.
patent: 6606721 (2003-08-01), Gowin et al.
Handbook of Simulation, by Jerry Banks, John Wiley & Sons, Inc., Aug. 1998, ISBN 0-471-13403-1, pp. 3, 15-19.*
The Computer Science and Engineering Handbook, by Allen B. Tucker, CRC Press, ISBN: 0-8493-2909-4, 1996, pp. 412-415.
Garcia-Otero Eduardo
Hewlett--Packard Development Company, L.P.
Teska Kevin J.
LandOfFree
Method and apparatus for validating cross-architecture ISA... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for validating cross-architecture ISA..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for validating cross-architecture ISA... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3403377