The invention discloses a method for verifying a digital circuit module in an
integrated circuit, which belongs to the technical field of circuit testing and comprises the following specific steps: I, analyzing functional requirements and performance indexes of the circuit module and constructing a
virtual model; iI, identifying abnormity and boundary conditions in the circuit module and generating a
test case; iII, performing function
verification on the circuit module and evaluating module performance; iV, optimizing the current circuit configuration according to a performance
evaluation result; v, carrying out randomness
verification on the circuit to detect potential
vulnerability and design defects; according to the method, the
circuit performance can be remarkably improved, the
workload of manual parameter adjustment is reduced, the design complexity and
verification difficulty are reduced, the performance of a circuit module in various scenes is improved, an input area which may cause problems can be focused on under limited test resources, the comprehensiveness and verification efficiency of the verification process are improved, and the verification efficiency is improved. And the stability evaluation of the circuit is more accurate, and the verification can be continuously improved.