Universal interface coverage rate model verification environment automatic generation method and system and medium

Abstract

The invention discloses a universal interface coverage rate model verification environment automatic generation method and system and a medium. The method comprises the steps of acquiring a coverage rate model description template including all coverage groups and assertions involved in a universal interface ; obtaining a coverage rate model automatic generation script according to the format andrequirements of the coverage rate model description template; obtaining a coverage rate model description file according to the coverage rate model description template and the required coverage groupand assertion; and automatically generating a coverage rate model description file generated by script processing by using the coverage rate model, and automatically generating an interface coveragerate model environment to obtain a required interface coverage rate model, a macro definition file, a file list and a connection file. The method has good inheritance, avoids repeated work of directlymodifying codes, avoids risks caused by code writing style differences, and can be applied to coverage rate model generation of user-defined protocol interfaces except standard interfaces.

Description

technical field [0001] The invention relates to the field of integrated circuit function verification, in particular to a method, system and medium for automatically generating a general interface coverage model verification environment. Background technique [0002] As the design scale of integrated circuits increases, so does the challenge of functional correctness verification. The challenges of functional correctness verification are mainly manifested in the following aspects: verifying whether the function points are complete, checking the correctness of test results, whether the coverage model is complete, etc. The completeness of function points can be ensured as complete as possible through multiple function point reviews. The correctness detection of the test results can be guaranteed by writing the reference model and checking the consistency with the design. The coverage model is usually written by the verifier according to the function point document. Because d...

AI Technical Summary

Problems solved by technology

The coverage model is usually written by the verifier according to the function point document. Because different verifiers have different understanding of the function point and code writing style, there will be great differences in the function coverage model written by each verifier. In other projects When the coverage model needs to be inherited, it often takes a lot of time to debug and test the coverage model, which does not have good inheritance, resulting in a lot of repetitive work

Images