An electrical rules checker system and method are provided to appraise tri-state logic connected to a selected node of an integrated circuit by evaluating a netlist. In accordance with one aspect of the invention, the method selects a circuit configuration to be identified. Next, the method identifies any of the circuit configurations at the node, and identifies any probable circuit configurations at the node. Then the method appraises the circuit configurations and the probable circuit configurations. In accordance with another aspect of the invention, a system is provided for appraising tri-state logic connected to a selected node of an integrated circuit. The system operates by evaluating a netlist at the node, and further includes a code segment for selecting a circuit configuration to be identified, a second code segment for identify any of the selected circuit configurations a given node in a netlist, and a third code segment configured to identify any probable circuit configurations at the node in a netlist. A fourth code segment appraises the identified circuit configurations and probable circuit configurations.

Ένα ηλεκτρικές σύστημα και μια μέθοδος ελεγκτών κανόνων παρέχονται για να αξιολογήσουν την τρι-κρατική λογική που συνδέεται με έναν επιλεγμένο κόμβο ενός ολοκληρωμένου κυκλώματος με την αξιολόγηση ενός netlist. Σύμφωνα με μια πτυχή της εφεύρεσης, η μέθοδος επιλέγει μια διαμόρφωση κυκλωμάτων που προσδιορίζεται. Έπειτα, η μέθοδος προσδιορίζει οποιων δήποτε από τις διαμορφώσεις κυκλωμάτων στον κόμβο, και προσδιορίζει οποιεσδήποτε πιθανές διαμορφώσεις κυκλωμάτων στον κόμβο. Κατόπιν η μέθοδος αξιολογεί τις διαμορφώσεις κυκλωμάτων και τις πιθανές διαμορφώσεις κυκλωμάτων. Σύμφωνα με μια άλλη πτυχή της εφεύρεσης, ένα σύστημα παρέχεται για την αξιολόγηση της τρι-κρατικής λογικής που συνδέεται με έναν επιλεγμένο κόμβο ενός ολοκληρωμένου κυκλώματος. Το σύστημα λειτουργεί με την αξιολόγηση ενός netlist στον κόμβο, και περιλαμβάνει περαιτέρω ένα τμήμα κώδικα για την επιλογή μιας διαμόρφωσης κυκλωμάτων που προσδιορίζεται, ένα δεύτερο τμήμα κώδικα για προσδιορίζει οποιες δήποτε από τις επιλεγμένες διαμορφώσεις κυκλωμάτων ένας δεδομένος κόμβος σε ένα netlist, και ένα τρίτο τμήμα κώδικα που διαμορφώνεται για να προσδιορίσει οποιεσδήποτε πιθανές διαμορφώσεις κυκλωμάτων στον κόμβο σε ένα netlist. Ένα τέταρτο τμήμα κώδικα αξιολογεί τις προσδιορισμένες διαμορφώσεις κυκλωμάτων και τις πιθανές διαμορφώσεις κυκλωμάτων.