Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2006-11-21
2006-11-21
Beausoliel, Robert (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S034000, C703S014000
Reexamination Certificate
active
07139936
ABSTRACT:
An apparatus verifies the correctness of a behavioral model of a microcode machine, where the microcode machine is operable in a native state and an emulated state. The apparatus includes means for producing the native state, means for producing the emulated state, and means for comparing the native state and the emulated state. Corresponding to the apparatus, a method verifies the correctness of a processor behavioral model, where the processor operates in a native mode state and an emulated mode state. The method includes determining if a macroinstruction to be executed is a native instruction, and, if the macroinstruction is a native instruction, executing the native instruction, the execution producing the native mode state of the processor. The method further includes, if the macroinstruction is not a native instruction, fetching the macroinstruction, providing microinstructions corresponding to the macroinstruction, and executing the microinstructions, the execution producing the native mode state of the processor. Finally, the method includes executing the macroinstruction, the execution producing an emulated state of the processor, and comparing the native mode state the of the processor with the emulated state of the processor.
REFERENCES:
patent: 5438673 (1995-08-01), Court et al.
patent: 5475852 (1995-12-01), Yoshida et al.
patent: 5845064 (1998-12-01), Huggins
patent: 5859962 (1999-01-01), Tipon et al.
patent: 5859999 (1999-01-01), Morris et al.
patent: 5860017 (1999-01-01), Sharangpani et al.
patent: 6285914 (2001-09-01), Bae et al.
patent: 6332201 (2001-12-01), Chin et al.
patent: 6643800 (2003-11-01), Safford et al.
Wolfe, A., “Patent shed light on Merced's Innards”, Electronic Engineering Times, Feb. 15, 1999.
Brockmann Russell C.
Brummel Karl P.
Knebel Patrick
Long Bruce A.
Petsinger Jeremy
Beausoliel Robert
Duncan Marc
Hewlett--Packard Development Company, L.P.
LandOfFree
Method and apparatus for verifying the correctness of a... 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 verifying the correctness of a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for verifying the correctness of a... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3655935