摘要 |
PROBLEM TO BE SOLVED: To more quickly detect an error on a design by making it possible to verify a CPU with grading finer than that of the conventional practice in a test of a computer system. SOLUTION: A macroinstruction is decomposed into microinstructions, and each microinstruction is sequentially carried out. The sequence of the microinstructions is decided by an emulated microinstruction sequencer (220) by using dynamic performance information including information obtained as a result of performing the preceding macroinstruction in the sequence of the microinstructions. When the performance of each microinstruction is finished, a reference state (115) is compared with the corresponding state of a behavioral model, and the difference between them is notified. After the whole microinstructions in the sequence of the microinstructions are carried out, a reference state is compared with a corresponding state of a behavioral model and the difference between them is notified.
|