Circuit design checking and error diagnosis method containing black box

Abstract

The invention relates to a very large scale integrated circuit design and error diagnosing technology field which is an effective circuit design testing and error diagnosing technology field containing black box. The method uses parallel logic to simulate and test the design of the black box, then uses bool comparison reinforcing simulation algorithm based on satisfaction. It includes two core steps: the first step is parallel logic simulation, the second step is the bool comparison based on satisfaction. The main character is: 1) uses the standard circuit deficiency test to integrate the design of parallel simulation containing black box, it uses two bool (0 and 1) to code each circuit signal. 2) In the bool comparison process based on satisfaction, uses CNF to represent the unknown restrains. 3) The method needs no large design test. 4) The method can upgrade the accuracy of design error diagnosis.

Description

technical field [0001] The invention relates to the technical field of design verification and error diagnosis of VLSI, and proposes an effective method for circuit design verification and error diagnosis including a black box. This method combines logic simulation and Boolean satisfiability algorithm to verify the circuit design including black boxes. Its computational complexity is much lower than traditional algorithms, and it has strong error detection ability, which can further enhance the confidence of designers. The method can also be directly applied to improve the accuracy of error diagnosis. Background technique [0002] With the increasing complexity of VLSI design functions, design methods based on IP (intellectual property) are becoming more and more popular. Due to the protection of intellectual property rights, the internal structure or function of IP modules from third parties is often unknown. Furthermore, during design, there are often certain module func...

AI Technical Summary

Problems solved by technology

[0009] Aiming at the problems of complex calculation, poor error detection ability of the above-mentioned traditional algorithm, need to modify the circuit structure, and waste of computing resources, the present invention proposes a circuit design verification and error diagnosis method including a black box to simplify the complexity of algorithm calculation and improve Algorithmic performance and error detection capabilities, saving computing resources

Images