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...http://www.google.fr/patents/US7139936?utm_source=gb-gplus-shareBrevet US7139936 - Method and apparatus for verifying the correctness of a processor behavioral model
Method and apparatus for verifying the correctness of a processor behavioral ...
