SYSTEM AND METHOD FOR PERFORMING ASSERTION-BASED ANALYSIS OF CIRCUIT DESIGNS

摘要

Techniques for analyzing circuit design based on assertions (112). An assertion is associated with a circuit structure from the circuit design (114). The assertion (112) specifies a context of the circuit design (114) in which the circuit structure (110) is to be analyzed (110), an attribute associated with the circuit structure (110), and a constraint associated with the attribute. The present invention analyzes the circuit design (114) based on assertions and checks to identify one or more instances of the circuit structure (110) in the circuit design (114) which do not satisfy the constraint specified in the assertion. An assertion may also indicate an action to be performed if the circuit structure (114) does not satisfy the constraint specified in the assertion (112).