This invention relates to the design of digital logic circuits. More particularly, the invention relates to a method for synthesizing logic circuits from high-level logic representations.
Logic circuits are electronic circuits that perform some logical operation or group of logical operations on a set of digital input data to provide some desired digital output. For example, a simple logic circuit may perform an AND operation on input data comprising three logic level signals to provide a single output comprising the logical signal resulting from the AND operation. These types of logic circuits are included in many different types of devices from control circuits for mechanical devices, to communications devices, to data processor chips. In many cases the logical operations may be very complicated and require complicated logic circuitry.
Logic circuit design involves first determining the particular logical function or operation which must be performed by the logic circuit. In this step, the designer works with high-level logic building blocks such as AND and OR gates to specify the logical operations to be performed in the final circuit design. When determining the logical operations required in the ultimate circuit, the designer is generally not concerned with the actual circuit elements required to provide the high-level logical operation or functionality.
After determining the high-level logic operations required of the final logic circuit, logic circuit design involves determining an arrangement of circuit elements to actually perform the desired logical operations. The step of determining the actual circuit elements and arrangement of circuit elements to provide the desired logical operations is referred to as logic synthesis. Logic synthesis may be performed by defining a set or library of available circuits and then identifying an arrangement of these available circuits which is capable of consistently providing the desired logical operation. Thus, logic synthesis comprises an optimization problem constrained by the library of available circuits available for synthesis, by the required logical operation to be performed by the final circuit, and perhaps by other constraints dictated by the designer. Various software tools have been developed to perform logic synthesis. These logic synthesis tools simply provide one or more solutions to the optimization problem, based upon a library of available circuits and other constraints provided by the designer.
Prior logic synthesis tools employ circuit libraries containing many different types of circuits. These prior circuit libraries include not only numerous different circuits, but may also include numerous versions of the same circuit, employing different sized circuit elements. Utilizing a large circuit library provides a certain flexibility in developing the ultimate circuit design. However, this flexibility comes at the cost of vastly increasing the complexity of the optimization problem which must be performed. This increase in complexity results in an increase in the processing time which the synthesis tool requires in order to produce a solution.
Another problem associated with prior static circuit logic synthesis involves the timing performance of the synthesized circuit. Timing between the signals applied to the input of the synthesized static circuit and the signals appearing at the output of the circuit is entirely dependent upon the manner in which signals propagate through the various static components of the circuit. Where the logic synthesis tool is not constrained by timing considerations, a constraint that further complicates the optimization problem to be performed, the timing associated with synthesized circuit may be unpredictable. The unpredictable timing associated with the synthesized static logic circuit may make the circuit difficult to use with other components of an overall system.
It is an object of the invention to provide a logic circuit design method which employs simplified logic synthesis. Another object of the invention is to provide a method of logic synthesis which utilizes a dynamic circuit library to simplify the optimization problem which the tool must solve and thereby reduce the processing time required for logic synthesis.
These objects are accomplished by limiting the library available for logic synthesis to a single dynamic circuit block or logic synthesis block. The circuit design method according to the invention includes first defining the logic synthesis block and then performing logic synthesis for a predetermined logical function to be implemented. The synthesis step may be performed by any suitable logic synthesis technique, in particular techniques performed by logic synthesis software tools, and results in an intermediate circuit design. This intermediate circuit design necessarily comprises a series of dynamic circuit blocks, each associated with a single reset signal. The invention then includes eliminating unnecessary devices from this intermediate circuit to produce a final logic circuit, and then sizing the devices in the final circuit to complete the design.
The preferred logic synthesis block comprises the largest practical dynamic AND/OR circuit. The maximum size of this preferred AND/OR circuit is determined generally by the technology in which the circuit is to be implemented. One preferred form of the invention defines a four high and four wide AND/OR block utilizing a single reset signal for the entire block. Regardless of the logic synthesis block defined for the logic synthesis step, the logic synthesis step is preferably performed without constraining the size of the various devices making up the logic synthesis block circuit. Sizing the various devices in the synthesized logic circuit to ensure that the circuit consistently provides the desired logical operation is left as a separate step performed after logic synthesis.
The method according to the invention allows the circuit designer to take advantage of dynamic logic circuitry to improve overall performance of the desired logic circuit. The resulting delayed-reset dynamic logic circuit having a fixed number of reset levels is relatively easy to construct and ensure proper operation as compared to generic dynamic circuits. Perhaps most importantly, limiting the logic synthesis step to a circuit library consisting of a single logic circuit greatly simplifies the logic synthesis step. The remaining steps to finalize the circuit design, that is, the steps of eliminating unnecessary or unused devices in the synthesized intermediate circuit and then sizing the devices in the final circuit, are straightforward tasks which can be done manually or by some automated means.
These and other objects, advantages, and features of the invention will be apparent from the following description of the preferred embodiments, considered along with the accompanying drawings.
The process starts with the designer providing or defining the high level logical operation to be performed by the circuit. According to the invention, logic synthesis component 12 includes first defining a logic synthesis block as shown at process block 16. The process next includes performing logic synthesis as shown at process block 17 to produce the intermediate circuit capable of performing the predetermined logical operation. According to the invention, this logic synthesis step 17 is constrained to a circuit library including only the logic synthesis block.
Defining the logic synthesis block for use in logic synthesis according to the invention preferably includes defining the largest practical dynamic AND/OR circuit which may be used in the technology in which the circuit is to be implemented. This dynamic circuit is controlled by a single reset signal. The largest practical dynamic AND/OR circuit may, for example, comprise a four high and four wide dynamic AND/OR circuit. This four high and four wide AND/OR circuit will be referred to further in this disclosure and shown in the drawings as a “4A4O” circuit.
Those skilled in the art will appreciate that the input signals to the devices in groups 21, 22, 23, and 24 are logic level signals comprising either a high logic level signal representing one binary value or a low logic level signal representing the opposite binary value. The actual voltage of the various signals will depend upon the implementation technology. The invention is not limited to any particular high or low level logic signals or any implementation technology. Furthermore, the invention is not limited to using 4A4O circuits as the logic synthesis blocks. These 4A4O logic synthesis blocks simply represent one preferred form of the invention.
The result or output of logic synthesis at step 17 in
The invention will be described further with reference to the preferred logic synthesis block comprising a 4A4O circuit as described above, and in particular a footed 4A4O circuit such as shown in
In the example shown in
The logic synthesis step shown at process block 17 may be performed in any suitable fashion. In particular, the logic synthesis step may be performed by a logic synthesis software tool executed by a suitable processing device. The Synopsys Design Compiler™0 logic synthesis tool by Synopsys, Inc. of Mountain View, Calif. is an example of a logic synthesis software tool which may be employed to perform the logic synthesis step according to the invention.
Although the library available for logic synthesis is constrained to the single logic synthesis block, the preferred form of the invention includes leaving the size of devices included in the logic synthesis block substantially unconstrained. That is, rather than including in the logic synthesis library a number of the logic synthesis blocks each with a different combination of device sizes, the logic synthesis step is performed with a generic logic synthesis block. This preferred generic logic synthesis block is assumed to be capable of meeting drive requirements and providing the desired logical operations based upon the general or generic operational characteristics of the various devices included in the circuit.
Referring back to
The result of the logic synthesis step shown at process block 17 in
Regardless of how unused devices are detected and removed from the intermediate circuit design, the resulting circuit may be referred to as a final circuit or final circuit design.
Once there are no more unused or unnecessary devices to remove from the intermediate circuit, the present circuit design process includes the step of analyzing the circuit to determine the size of devices remaining in the final circuit necessary to provide the desired functionality. This sizing step is shown at process block 48 in
The logic circuit design method according to the invention drastically simplifies the optimization problem required to perform logic synthesis. Thus, the processing time required for synthesizing complex logic circuitry is greatly reduced by the invention. Reset signal generation and timing is also greatly simplified using a fixed number of levels of delayed-reset dynamic circuit elements. Furthermore, leaving the device size in the logic synthesis block unconstrained as in the preferred form of the invention allows the designer to set device size to keep a fairly constant delay for each block at each level in the final circuit. This in turn allows unfooted blocks to be used in subsequent levels of the final circuit without running into reset timing problems.
The above described preferred embodiments are intended to illustrate the principles of the invention, but not to limit the scope of the invention. Various other embodiments and modifications to these preferred embodiments may be made by those skilled in the art without departing from the scope of the following claims. For example, although the synthesized intermediate circuit 29 is described as having four dynamic block levels for purposes of example, the invention is not limited to a four level dynamic circuit. Also, the invention is not limited to any particular logic synthesis technique as long as the library of circuits available in the technique is limited to a single logic circuit or logic synthesis block.
Number | Name | Date | Kind |
---|---|---|---|
5293631 | Rau et al. | Mar 1994 | A |
5596743 | Bhat et al. | Jan 1997 | A |
6018621 | Puri et al. | Jan 2000 | A |
6275071 | Ye et al. | Aug 2001 | B1 |
6308313 | Lakshminarayana et al. | Oct 2001 | B1 |
6333656 | Schober | Dec 2001 | B1 |
6360356 | Eng | Mar 2002 | B1 |
6367065 | Leight et al. | Apr 2002 | B1 |
6442747 | Schzukin | Aug 2002 | B1 |
6460166 | Reddy et al. | Oct 2002 | B1 |
6460172 | Insenser Farre et al. | Oct 2002 | B1 |
6470486 | Knapp | Oct 2002 | B1 |
6543036 | Iyer et al. | Apr 2003 | B1 |
6546541 | Petranovic et al. | Apr 2003 | B1 |
6624665 | Kim et al. | Sep 2003 | B2 |
6637018 | Demler | Oct 2003 | B1 |
6651234 | Gupta et al. | Nov 2003 | B2 |
6721926 | Wang et al. | Apr 2004 | B2 |
6766506 | Ratzlaff et al. | Jul 2004 | B1 |
20040083435 | Gunderson et al. | Apr 2004 | A1 |
Number | Date | Country | |
---|---|---|---|
20030023948 A1 | Jan 2003 | US |