The present invention provides a method and apparatus for evaluating nodes
in an integrated circuit to determine whether or not networks containing
the nodes meet certain design criteria. The method and apparatus of the
present invention are embodied in a rules checking system which evaluates
the nodes in the integrated circuit to determine whether or not the
networks in the integrated circuit comply with the design rules.
Compliance with any particular rule is verified by performing one or more
checks on the particular node being evaluated. Some checks require less
time to perform than others. In some cases, the result of a single check
can provide a determination as to whether or not the network containing
the node being evaluated complies with the rule associated with the
particular check. Furthermore, some checks are less expensive in terms of
the amount of time required to perform them than other checks. Therefore,
it is desirable to prioritize the order in which the checks associated
with a particular rule are performed so that the rules checking tasks are
performed with maximum efficiency. The rules checking system of the
present invention prioritizes the checks so that efficiency in the overall
rules checking process is maximized.
La présente invention fournit une méthode et un appareil pour des noeuds d'évaluation dans un circuit intégré pour déterminer si les réseaux contenant les noeuds rencontrent certains critères de conception. La méthode et les appareils de la présente invention sont incorporés dans des règles vérifiant le système qui évalue les noeuds dans le circuit intégré pour déterminer si les réseaux dans le circuit intégré sont conformes aux règles de conception. La conformité à n'importe quelle règle particulière est vérifiée en exécutant un ou plusieurs contrôles sur le noeud particulier étant évalué. Quelques contrôles ont besoin de moins d'heure d'exécuter que d'autres. Dans certains cas, le résultat d'un contrôle simple peut fournir une détermination de savoir si ou pas le réseau contenant le noeud étant évalué est conforme à la règle liée au contrôle particulier. En outre, quelques contrôles sont moins chers en termes de quantité de temps requise pour les exécuter que d'autres contrôles. Par conséquent, il est souhaitable de donner la priorité à l'ordre dans lequel les contrôles se sont associés à une règle particulière sont exécutés de sorte que les règles que la vérification charge soient exécutées avec l'efficacité maximum. Les règles vérifiant le système de la présente invention donne la priorité aux contrôles de sorte que l'efficacité dans les règles globales vérifiant le processus soit maximisée.