Process for extracting logic from transistor and resistor data representations of circuits

Claim 2

A computer implemented method for producing a logic circuit diagram from a netlist representation of a bipolar semiconductor logic circuit including a plurality of interconnected circuit elements in the form of transistors and resistors, the logic circuit diagram being suitable for logic simulation purposes to verify the actual logic function provided by the netlist, the method comprising the steps of: (a) selectively eliminating from the netlist representation those circuit elements failing to contribute to the logic functionality of the bipolar circuit, including all resistors connected to a supply voltage, to provide a simplified data output; (b) analyzing the simplified data output for representations of remaining circuit elements of the bipolar circuit to determine their respective logic function by the way they are connected wherein resistor and transistor interconnections are analyzed and a first set of corresponding primitive logic elements are generated said first set of primitive logic elements consisting of buffers and OR gates; (c) detecting interconnections between the remaining circuit elements in the contracted data output and generating a second set of corresponding primitive logic elements including inverters, OR, NOR, AND and NAND gates; and (d) developing a logic circuit diagram to have a structure corresponding to the interconnection of circuit elements represented by the netlist.

Claim 3

The method of claim 1 wherein the netlist representation of a bipolar semiconductor logic circuit including a plurality of interconnected circuit elements in the form of transistors and resistors is designed for emitter coupled logic operation and the logic circuit diagram is indicated by a logic netlist.

Claim 4

The method of claim 1 wherein the netlist representation of a bipolar semiconductor logic circuit including a plurality of interconnected circuit elements in the form of transistors and resistors is designed for current mode logic operation and the logic circuit diagram is indicated by a logic netlist.

Claim 5

A computer implemented method for producing a logic circuit diagram from a netlist representation of a bipolar semiconductor logic circuit including a plurality of interconnected circuit elements in the form of transistors and resistors, the logic circuit diagram being suitable for logic simulation purposes to verify the actual logic function provided by the netlist, the method comprising the steps of: (a) reading a file wherein the netlist resides to provide three data inputs the three data inputs including a primary output list, a complete transistor list and a complete resistor list; (b) selectively eliminating, from the three lists, representations of those circuit elements failing to contribute to the logic functionality of the bipolar circuit to provide a simplified data output; (c) analyzing the simplified data output for representations of remaining circuit elements of the bipolar circuit to determine their respective logic function by the way they are connected wherein resistor and transistor interconnections are analyzed and a first set of corresponding primitive logic elements are generated including buffers and OR gates; (d) detecting interconnections between the remaining circuit elements in the contracted data output and generating a second set of corresponding primitive logic elements including inverters, OR, NOR, AND and NAND gates; and (e) developing a logic circuit diagram to have a structure corresponding to the interconnection of circuit elements represented by the netlist.

Claim 6

A computer implemented method for producing a logic circuit diagram from a netlist representation of a bipolar semiconductor logic circuit including a plurality of interconnected circuit elements in the form of transistors and resistors, the logic circuit diagram being suitable for logic simulation purposes to verify the actual logic function provided by the netlist, the method comprising the steps of: (a) reading a file wherein the netlist resides to provide three data inputs the three data inputs including a primary output list, a complete transistor list and a complete resistor list; (b) selectively eliminating, from the three lists, representations of those circuit elements failing to contribute to the logic functionality of the bipolar circuit to provide a simplified data output; (c) analyzing the simplified data output for representations of remaining circuit elements of the bipolar circuit to determine their respective logic function by the way they are connected wherein resistor and transistor interconnections are analyzed and a first set of corresponding primitive logic elements are generated including buffers and OR gates; (d) detecting interconnections between the remaining circuit elements in the contracted data output and generating a second set of corresponding primitive logic elements including inverters, OR, NOR, AND and NAND gates; and (e) developing a logic circuit diagram to have a structure corresponding to the interconnection of circuit elements represented by the netlist.

Claim 7

A computer implemented method for producing a logic circuit diagram from a netlist representation of a bipolar semiconductor logic circuit including a plurality of interconnected circuit elements in the form of transistors and resistors, the logic circuit diagram being suitable for logic simulation purposes to verify the actual logic function provided by the netlist, the method comprising the steps of: (a) selectively eliminating from the netlist representation those circuit elements failing to contribute to the logic functionality of the bipolar circuit to provide a simplified data output including the steps of: a1) removing transistor representations connected to an indication of VCC supply potential from the netlist; a2) removing resistor representations connected to an indication of VCC supply potential or a VEE supply potential from the netlist; a3) shorting parallel resistor representations from the netlist; a4) removing representations of non-branching circuit source transistors; a5) shorting representations of selected voltage reference transistors; a6) removing representations of dangling resistors to produce a simplified resistor list; (b) analyzing the simplified data output for representations of remaining circuit elements of the bipolar circuit to determine their respective logic function by the way they are connected wherein resistor and transistor interconnections are analyzed and a first set of corresponding primitive logic elements are generated including buffers and OR gates; (c) detecting interconnections between the remaining circuit elements in the contracted data output and generating a second set of corresponding primitive logic elements including inverters, OR, NOR, AND and NAND gates; and (d) developing a logic circuit diagram to have a structure corresponding to the interconnection of circuit elements represented by the netlist.

Claim 8

A computer implemented method for producing a logic circuit diagram from a netlist representation of a bipolar semiconductor logic circuit including a plurality of interconnected circuit elements in the form of transistors and resistors, the logic circuit diagram being suitable for logic simulation purposes to verify the actual logic function provided by the netlist, the method comprising the steps of: (a) selectively eliminating from the netlist representation those circuit elements failing to contribute to the logic functionality of the bipolar circuit to provide a simplified data output including the steps of: a1) removing transistor representations connected to an indication of VCC supply potential from the netlist; a2) removing resistor representations connected to an indication of VCC supply potential or a VEE supply potential from the netlist; a3) shorting parallel resistor representations from the netlist; a4) removing representations of non-branching circuit source transistors; a5) shorting representations of selected voltage reference transistors; a6) removing representations of dangling resistors to produce a simplified resistor list; (b) analyzing the simplified data output for representations of remaining circuit elements of the bipolar circuit to determine their respective logic function by the way they are connected wherein resistor and transistor interconnections are analyzed and a first set of corresponding primitive logic elements are generated including buffers and OR gates; (c) detecting interconnections between the remaining circuit elements in the contracted data output and generating a second set of corresponding primitive logic elements including inverters, OR, NOR, AND and NAND gates; and (d) developing a logic circuit diagram to have a structure corresponding to the interconnection of circuit elements represented by the netlist.

Claim 9

The method of claim 5 wherein step (a) further comprises: a7) shorting representations of level shifting transistors from the output of step a5 to produce an output; a8) shorting representations of balance transistors from the output of step a7) to produce an output; a9) removing representations of current path transistors from the output of step a8 to produce a flag output and a data output; a10) removing representations of duplicate transistors from the data output of step a9) to produce a simplified transistor list.

Claim 10

The method of claim 6 further comprising the steps of: a11) producing buffers from representations of transistors from the simplified transistor list to produce a data output; a12) producing buffers from representations of resistors using the data output of step a11) and the simplified resistor list to produce a logic gate list of buffers and a modified resistor list.

Claim 11

The method of claim 7 further comprising the step of: a13) merging the data output of step a11) and t he logic gate list to produce a first list.

Claim 12

The method of claim 8 further comprising the step of: a14 removing selected representations of redundant buffers from the first list using the data output of step a11) to produce a logic data list.

Claim 13

The method of claim 9 further comprising the step of: a15) producing OR gates from representations of transistors in parallel from the data output of step a14) to produce a second logic data list of OR gates and a data output.

Claim 14

The method of claim 10 further comprising the steps of: a16) merging the second logic list and the data output of step a14) to produce a data output; and a17) selectively removing redundant buffers from the data output of step a16) to produce a third logic list of buffers and OR gates.

Claim 15

The method of claim 11 wherein step c) further comprises: c1) producing inverted gates from the data output of step a15) and the third logic list to produce a data output and a data list; c2) producing AND gates from the data output and list of step c1) to produce a data list; c3) producing NOR gates from the data list of step c2) and the data output of step c1) to produce an unoptimized logic gate list indicative of the logic circuit diagram.