Processor verification system and processor verification method based on processor verification system
A verification system and verification method technology, applied in the field of processor verification and processor verification system, can solve the difficulties of processor function verification, establishment and comparison of reference model expectation values, and processor function verification cannot efficiently support processor asynchronous interrupt behavior and other issues to achieve the effect of convenient comparison and improved efficiency
Active Publication Date: 2022-06-24
SPREADTRUM COMM (SHANGHAI) CO LTD
View PDF3 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
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
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0043] In order to make the purposes, technical solutions and advantages of the embodiments of the present invention clearer, the technical solutions in the embodiments of the present invention will be clearly and completely described below with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments It is only a part of the embodiments of the present invention, but not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by those of ordinary skill in the art without creative efforts shall fall within the protection scope of the present invention.
[0044] Integrated circuits need to verify the correctness of the designed circuit hardware before manufacturing, and functional verification is to ensure that the behavior of the circuit under test is consistent with the functional design specifications, and the implementation method includes functional simulation. ...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention provides a processor verification system and a processor verification method based on the processor verification system. The system includes a simulation system for receiving a program to be tested and performing simulation; a reference model for receiving the program to be tested; checkpoints The manager is used to save and restore the simulation state of the simulation system; the monitor is used to monitor the simulation state of the simulation system, and when the simulation state of the simulation system meets the preset conditions, start the checkpoint manager so that the checkpoint management The controller saves and restores the simulation state of the simulation system; the comparator is used to compare the value of the simulation state of the simulation system with the simulation expectation value generated by the reference model. When an asynchronous interrupt occurs in the processor, the state of the current asynchronous interrupt is saved by starting the checkpoint manager, and the simulation state of the simulation system is restored, so as to facilitate the comparison of the expected value of the reference model and improve the efficiency of processor function verification. At the same time, a complete verification of the processor functionality is also completed.
Description
technical field [0001] The present invention relates to the field of communication technologies, and 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, and functional verification is to ensure that the behavior of the circuit under test is consistent with the functional design specifications, and the implementation method includes processor functional 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] The processor function verification cannot efficiently support the asynchronous interrupt behavior of the processor, which cause...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/34G06F11/22
Inventor 赵炎赵彬广陈达轶郭鑫余红斌
Owner SPREADTRUM COMM (SHANGHAI) CO LTD