A method and system for evaluating random verification quality based on coverage count statistics

Abstract

The present invention provides a method and system for evaluating the quality of random verification based on statistics of coverage times, setting function points to be covered, function points requiring statistics of coverage times, random verification parameters, output conditions of statistical results of coverage times, and alarm conditions of statistical result analysis , carry out random verification, collect function coverage and function coverage times, if the output conditions of the coverage statistics result are met, then output the coverage statistics results, automatic preliminary analysis, if not, continue the random verification, and send an alarm if abnormal conditions are found. The invention improves the robustness of verification, effectively reduces the consumption of human resources and time, and improves the research and development efficiency.

Description

technical field [0001] The present invention relates to the technical field of chip design, in particular to a method and system for evaluating random verification quality based on coverage count statistics. Background technique [0002] With the continuous development of process technology and application fields, the complexity of chips continues to increase, and correspondingly, the requirements for simulation verification work are also constantly increasing. Not only are the function points that need to be verified by simulation more and more complicated, but also the requirements for the verification cycle are becoming more and more stringent. [0003] In the existing chip design process, it is divided into two stages: front-end design (logical design) and back-end design (physical design). The front-end design is mainly to realize the logic function of the chip through the hardware description language (such as verilog), and the correctness of the code description is m...

AI Technical Summary

Problems solved by technology

[0008] Based on the above problems, the present invention proposes a method and system for evaluating the quality of random verification based on coverage count statistics, which solves the technical problem that the coverage rate of function points cannot fully reflect the quality of random verification and guide the improvement of random parameters. In the coverage-driven verification process, the statistical method of the coverage rate is adjusted. In addition to whether it is covered or not, it is also necessary to count the number of coverages, and judge the uniformity of the function point coverage based on the statistical information, as a standard for evaluating the quality of random verification.

Images