摘要 |
The invention provides in some aspects methods for semiconductor processor design and verification that include the steps of applying to each of a first simulator and a second simulator commonly-defined tests, comparing results of such execution as between the simulators, and generating an output indicative thereof. The first simulator simulates operation of the processor in accord with an architectural definition thereof, and the second simulator simulates operation of the processor in accord with a hardware definition thereof. The tests are defined in accord with one of those definitions, e.g., the hardware definition. |