Transaction type excitation based verification method

Abstract

The invention discloses a transaction type excitation based verification method. The method comprises: obtaining a target eigenvector; converting the target eigenvector into corresponding target transaction type excitation by utilizing a pre-constructed conversion tool; and performing simulation verification on a to-be-tested chip by utilizing the target transaction type excitation. Compared with the prior art, the method has the characteristics that only the target eigenvector needs to be obtained, the target eigenvector can be converted into the corresponding transaction type excitation by utilizing the conversion tool, and the verification of the to-be-tested chip is finished without the need for manually writing the transaction type excitation, so that the complexity and workload of manual work are greatly lowered; and the eigenvector is very simple to construct relative to the transaction type excitation, so that the error rate is greatly reduced and the probability of verification failure is further reduced.

Description

technical field [0001] The invention relates to the technical field of chip design, and more specifically, to a verification method based on transaction type incentives. Background technique [0002] With the continuous development of process technology and application fields, the complexity of chips continues to increase, and correspondingly, the complexity of chip verification work also continues to increase. [0003] Traditionally, there are two ways to express the incentives needed to verify chips, namely, signal-type incentives and transaction-type incentives. Among them, the stimulus of the signal type is to assign values ​​to the interface signals of the chip according to the clock. This method can be used in small-scale chip verification, but in ultra-large-scale chip verification, this method requires a lot of manual work and is prone to errors. . The incentive of the transaction type is to abstract a series of signal assignments into a single transaction, and the...

AI Technical Summary

Problems solved by technology

Among them, the stimulus of the signal type is to assign values ​​to the interface signals of the chip according to the clock. This method can be used in small-scale chip verification, but in ultra-large-scale chip verification, this method requires a lot of manual work and is prone to errors.

The incentive of the transaction type is to abstract a series of signal assignments into a single transaction, and the design incentive becomes a combination of constructing transactions. This method can be applied to ultra-large-scale chip verification, but because the abstract transaction expression is not intuitive enough , the work of constructing transactions is still very complex and error-prone, thus increasing the complexity and workload of manual work, as well as the probability of verification failure due to writing errors motivated by transaction types

Images