Observable covering evaluation method of parameter quoted fixed value chain based on reinforcing type

Abstract

The invention relates to technique area of designing and validating very large-scale integrated circuit, especially, method for evaluating observable coverage based on enhanced type FUD chain. The method expands functions of FUD chain through adding field of 'dynamic branches' so as to be able to record dynamic locus of executing program. The enhanced type FUD chain is utilized to attribute observable information for hardware design scheme, and evaluate observable percentage of coverage of simulation verification. Basic strategy of the method includes three aspects: observable information is represented by enhanced type FUD chain, event drive analysis, computing method of observable percentage of converage combined with controllable criterion of coverage. Combining with present multiple criterions of coverage, the invention can jointly evaluate controllable and observable situation of coverage so as to raise evaluation capability.

Description

technical field [0001] The invention relates to the technical field of VLSI design verification, in particular to an observability coverage evaluation method based on an enhanced parameterized reference value (FUD) chain (see the appendix for the explanation of the FUD chain). Background technique [0002] The so-called design verification is to test whether the design scheme meets the requirements in the specification. With the rapid development of semiconductor technology, the complexity of integrated circuit design is also increasing exponentially. This makes design verification more and more challenging. [0003] Traditional design verification technology can be divided into two categories - simulation verification technology and formal verification technology. [0004] Formal verification is the use of rigorous mathematical reasoning to prove that a design meets all or part of the specification. This requires that both the specification of the design scheme and the d...

AI Technical Summary

Problems solved by technology

[0007] Among the existing coverage evaluation criteria, the most prominent problems are: either the evaluation meaning is too simple, or the calculation is too complicated

However, with the expansion of the design scale, it is unrealistic to require verification engineers to know the meaning of all variables well, and to monitor whether the values ​​of all variables are correct during the simulation process.

Images