Enhanced dynamic programming method for technology mapping of combinational logic circuits

Claim 1

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied and associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is an area cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, wherein said cost(G,1) for an INPUT node equal to the area of an inverter for each inverting INPUT node and is equal to zero for each non-inverting INPUT node, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 2

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied and associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is an area cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, wherein said cost(G,1) for an INPUT node equal to the area of an inverter for each inverting INPUT node and is equal to zero for each non-inverting INPUT node, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 3

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}: a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is an area cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, wherein the cost(G,1) for a non-INPUT node is equal to the area cost of the cell at node G plus the sum of cost(G',1) for all G that are INPUTs of the cell at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 4

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}: a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is an area cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, wherein the cost(G,1) for a non-INPUT node is equal to the area cost of the cell at node G plus the sum of cost(G',1) for all G that are INPUTs of the cell at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 5

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G k) for each node G and for k=1, . . . where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, wherein said cost(G,1) for an INPUT node is equal to the delay of a signal at that INPUT node, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 6

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G k) for each node G and for k=1, . . . where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, wherein said cost(G,1) for an INPUT node is equal to the delay of a signal at that INPUT node, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 7

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . , N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, wherein said cost(G>1) for a non-INPUT node is equal to the greatest delay of a signal at any of the INPUT's of the cell at node G plus a nominal delay for transmission of a signal through the cell at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 8

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . , N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, wherein said cost(G>1) for a non-INPUT node is equal to the greatest delay of a signal at any of the INPUT's of the cell at node G plus a nominal delay for transmission of a signal through the cell at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 9

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees, for said at least one INPUT node, tiling a ROOT node of said combinational logic circuit with a tile that minimizes a cost(G,1) for the root node; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . , N MAX , where N MAX is the maximum number of inputs of a cell that wl be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where said cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 10

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees, for said at least one INPUT node, tiling a ROOT node of said combinational logic circuit with a tile that minimizes a cost(G,1) for the root node; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . , N MAX , where N MAX is the maximum number of inputs of a cell that wl be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where said cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, optimal cell that can be used to replace a subtree that is rooted at node G.

Claim 11

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees, for said at least one INPUT node, tiling a ROOT node of said combinational logic circuit with a tile that minimizes a cost(G,1) for the root node; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . ., N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where said cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G, for each subtree that has an output node terminating on an input of a tile used to tile said representation, tiling a ROOT node of said subtree with a tile that minimizes the cost(G,1) for the root node of said subtree.

Claim 12

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees, for said at least one INPUT node, tiling a ROOT node of said combinational logic circuit with a tile that minimizes a cost(G,1) for the root node; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . ., N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where said cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G, for each subtree that has an output node terminating on an input of a tile used to tile said representation, tiling a ROOT node of said subtree with a tile that minimizes the cost(G,1) for the root node of said subtree.

Claim 13

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal ad including an OUTPUT mode on which is produced an output signal; (b) decomposing said representation into trees, for said at least one INPUT node, tiling a ROOT node of said combinational logic circuit with a tile that minimizes a cost(G,1) for the root node; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected form the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . , N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where said cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G, for each subtree that has an output node terminating on an input of a tile used to tile said representation, tiling a ROOT node of said subtree with a tile that minimizes the cost(G,1) for the root node of said subtree, and repeating step (d) until the entire circuit has been covered with tiles.

Claim 14

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, said library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal ad including an OUTPUT mode on which is produced an output signal; (b) decomposing said representation into trees, for said at least one INPUT node, tiling a ROOT node of said combinational logic circuit with a tile that minimizes a cost(G,1) for the root node; (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected form the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . , N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where said cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G, for each subtree that has an output node terminating on an input of a tile used to tile said representation, tiling a ROOT node of said subtree with a tile that minimizes the cost(G,1) for the root node of said subtree, and repeating step (d) until the entire circuit has been covered with tiles.

Claim 15

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, sad library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees, for said at least one INPUT node, tiling a ROOT node of said combinational logic circuit with a tile that minimizes a cost(G,1) for the root node, (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . , N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where said cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G, wherein said library includes basic cells and complex cells, and wherein said method further comprising step (c1) of selecting a complex cell in the library as a tile.

Claim 16

A method of implementing a combinational logic circuit using cells from a library of technology-specific cells, sad library containing a cost (C) for each cell C in the library, said method comprising the steps of: (a) producing a representation of said circuit that is equivalent to a directed acyclic graph, said representation including at least one INPUT node on which can be applied an associated input signal and including an OUTPUT node on which is produced an output signal; (b) decomposing said representation into trees, for said at least one INPUT node, tiling a ROOT node of said combinational logic circuit with a tile that minimizes a cost(G,1) for the root node, (c) representing each tree as a reduced circuit expressed in terms only of gates selected from the class consisting of: a first gate selected from the set {2-input OR gate, 2-input NOR gate}, a second gate selected from the set {2-input AND gate; 2-input NAND gate}, and an INVERTER; and (d) for each tree, in a levelized input-to-output order, determining a cost(G,k) for each node G and for k=1, . . . , N MAX , where N MAX is the maximum number of inputs of a cell that will be considered for implementing a circuit, where said cost is a time cost, and where, for k>1, cost (G,k) is the minimum cost of getting k different signals to node G from gates of the same type and where said cost(G,1) is the minimum cost of implementing a complete subtree rooted at node G, and whereby said combinational logic circuit can be optimized without recourse to a potentially very time-consuming and memory consuming pattern matching procedure required to identify, in a technology-dependent cell library, an optimal cell that can be used to replace a subtree that is rooted at node G, wherein said library includes basic cells and complex cells, and wherein said method further comprising step (c1) of selecting a complex cell in the library as a tile.