Techniques for analyzing circuit designs based on assertions. An assertion
is associated with a circuit structure from the circuit design. The
assertion specifies a context of the circuit design in which the circuit
structure is to be analyzed, an attribute associated with the circuit
structure, and a constraint associated with the attribute. The present
invention analyzes the circuit design based on assertions and checks to
identify one or more instances of the circuit structure in the circuit
design which do not satisfy the constraint specified in the assertion. An
assertion may also indicate an action to be performed if the circuit
structure does not satisfy the constraint specified in the assertion.
Technieken om kringsontwerpen te analyseren die op beweringen worden gebaseerd. Een bewering wordt geassocieerd met een kringsstructuur van het kringsontwerp. De bewering specificeert een context van het kringsontwerp waarin de kringsstructuur worden geanalyseerd, is een attribuut verbonden aan de kringsstructuur, en een beperking verbonden aan de attributen. De onderhavige uitvinding analyseert het kringsontwerp dat op beweringen en controles wordt gebaseerd één of meerdere instanties van de kringsstructuur in het kringsontwerp te identificeren die niet de beperking tevredenstellen die in de bewering wordt gespecificeerd. Een bewering kan op een uit te voeren actie ook wijzen als de kringsstructuur niet de beperking tevredenstelt die in de bewering wordt gespecificeerd.