An electrical rules checker system and method are provided to identify
tri-state logic from a netlist. In accordance with one aspect of the
invention, a method identifies tri-state logic from a netlist by selecting
a circuit configuration to be identified, and then identifying any of the
circuit configurations at the node, and identifyng any probable circuit
configurations at the node. In accordance with another aspect of the
invention, a system is provided for identifying 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.
Een elektrosysteem en een methode van de regelscontroleur worden verstrekt om tri-staatslogica van een netlist te identificeren. Overeenkomstig één aspect van de uitvinding, identificeert een methode tri-staatslogica van een netlist door een te identificeren kringsconfiguratie te selecteren zich, en dan om het even welk van de kringsconfiguraties bij de knoop, en identifyng om het even welke waarschijnlijke kringsconfiguraties te identificeren bij de knoop. Overeenkomstig een ander aspect van de uitvinding, wordt een systeem voor het identificeren van tri-staatslogica verstrekt die met een geselecteerde knoop van een geïntegreerde schakeling wordt verbonden. Het systeem werkt door een netlist bij de knoop te evalueren, en omvat verder een codesegment voor het selecteren van een te identificeren kringsconfiguratie zich, identificeert een tweede codesegment voor om het even welk van de geselecteerde kringsconfiguraties een bepaalde knoop in een netlist, en een derde codesegment dat wordt gevormd om om het even welke waarschijnlijke kringsconfiguraties bij de knoop in een netlist te identificeren.
