A method, apparatus and computer program product for checking of integrated
circuit design files using rules files. Each of the rules files has a rule
associated therewith. The rules are sequentially compared with objects
associated with the design files in an object-to-check-pool (OTCP). The
sequence in which the rules are compared to objects in the OTCP is arrange
to maximize a probability of determining whether design characteristics of
the objects in the OTCP satisfies all rules associated with the rules
files while minimizing a number of rules that must be compared with the
OTCP.
Un produit de programme machine de méthode, d'appareil et pour la vérification de la conception de circuit intégré classe en utilisant des dossiers de règles. Chacun des dossiers de règles a une règle associée en conséquence. Les règles sont séquentiellement comparées aux objets liés aux dossiers de conception dans une objet-à-vérifier-piscine (OTCP). L'ordre dans lequel les règles sont comparées aux objets dans l'OTCP est se chargent de maximiser une probabilité de déterminer si les caractéristiques de conception des objets dans l'OTCP satisfait toutes les règles liées aux dossiers de règles tout en réduisant au minimum un certain nombre de règles qui doivent être comparées à l'OTCP.