Processor verification system and processor verification method based on same

Abstract

The invention provides a processor verification system and a processor verification method based on the processor verification system. The system comprises a simulation system which is used for receiving a to-be-tested program and carrying out simulation; a reference model used for receiving the program to be tested; a check point manager used for storing and recovering the simulation state of thesimulation system; a monitor used for monitoring the simulation state of the simulation system and starting the check point manager when the simulation state of the simulation system meets a preset condition, so that the check point manager stores and recovers the simulation state of the simulation system; and a comparator used for comparing the value of the simulation state of the simulation system with a simulation expected value generated by the reference model. When the asynchronous interruption occurs in the processor, the check point manager is started to store the current asynchronousinterruption state, and the simulation state of the simulation system is recovered, so that comparison of expected values of the reference model is facilitated, and complete verification of the processor function is completed while the verification efficiency of the processor function is improved.

Description

technical field [0001] The invention relates to the field of communication technology, in particular to a processor verification system and a processor verification method based on the processor verification system. Background technique [0002] In the design and development of integrated circuits, the processor module has a large scale and high complexity. Integrated circuits need to verify the correctness of the designed circuit hardware before manufacturing. Functional verification is to ensure that the behavior of the circuit under test is consistent with the functional design specifications. The implementation method includes processor function verification. [0003] In the process of realizing the present invention, the inventor found that there are at least the following technical problems in the prior art: [0004] Processor function verification cannot efficiently support the asynchronous interrupt behavior of the processor, which makes it difficult to establish an...

AI Technical Summary

Problems solved by technology

[0004] Processor function verification cannot efficiently support the asynchronous interrupt behavior of the processor, which makes it difficult to establish and compare the expected values ​​of the reference model, resulting in a decrease in the efficiency of processor function verification. complete verification

Images