1. Technical Field
This invention generally relates to integrated circuits, and more specifically relates to static timing analysis of integrated circuit designs.
2. Background Art
The proliferation of modern electronics is due in large part to the development of the integrated circuit. Integrated circuits allow many different circuit elements to be implemented on a single chip. As technology advances, the number of circuit elements on a chip of a given size increases, enhancing the performance and reducing the cost of integrated circuits.
The design of integrated circuits is typically performed in three stages. The first stage is logic design, wherein the desired operation of the integrated circuit is defined. The second stage is logic synthesis, wherein the desired operation is translated into the required circuit elements for a given technology. The third stage is physical design, which assigns the placement of these elements and routing which creates the wire interconnect of these elements on the integrated circuit. Placement defines the location of the circuit elements on the integrated circuit. Routing defines interconnections between circuit elements.
At the logic synthesis stage, a static timing tool is typically used to perform a static timing analysis. Static timing analysis generally takes into account best-case and worst-case delays of various circuit elements, thereby generating a list of problems that need to be corrected. One common static timing tool developed by IBM is known as EinsTimer. EinsTimer is a sophisticated timing tool that performs static timing analysis on an integrated circuit design to identify potential timing problems with the design. EinsTimer includes sophisticated methods for performing the timing analysis. However, EinsTimer makes unduly pessimistic timing assumptions in some cases. As a result, integrated circuit designers must generally account for the pessimistic timing assumptions in a manual fashion. Without a mechanism for improving the pessimistic timing assumptions in known static timing tools, the integrated circuit design industry will have to spend excessive time manually analyzing circuits that are identified as a problem using a static timing tool.
An apparatus and method perform static timing analysis on an integrated circuit design. Certain pessimistic assumptions regarding slack when data launch and clock test signals are on opposite edges and derived from common logic blocks are improved by creating a dummy clock edge that is on the same edge as the data launch signal, and allowing the timing tool to compute the slack improvement using its native functions. The slack improvement is then multiplied by a conversion factor, and the result is used to adjust the slack. The apparatus and method give credit for slack in common blocks automatically, thereby allowing a large number of pessimistic slack values to be automatically corrected and reducing the workload of an integrated circuit designer in addressing the timing problems in an integrated circuit design.
The foregoing and other features and advantages of the invention will be apparent from the following more particular description of preferred embodiments of the invention, as illustrated in the accompanying drawings.
The preferred embodiments of the present invention will hereinafter be described in conjunction with the appended drawings, where like designations denote like elements, and:
The present invention relates to static timing analysis of an integrated circuit design. For those not familiar with this subject, this Overview section will provide background information that will help to understand the present invention.
IBM developed a static timing tool known as EinsTimer. EinsTimer is used to automatically analyze the timing of an integrated circuit design at each node in the design. One specific analysis that EinsTimer performs is known as Linear Combination of Delays (LCD) analysis. LCD analysis allows modeling different amounts of delay in a set of logic blocks to generate worst-case timing scenarios. EinsTimer includes a feature known as Common Path Pessimism Removal (CPPR) that allows the tool to analyze the path for a clock test signal and a data launch signal and determine when both the clock test signal and data launch signal pass through a common block, and to give credit for the penalty imposed in the common blocks. EinsTimer's CPPR only gives credit when the clock test and data launch signal have the same edge when passing through those common blocks. When the clock test and data launch signals have opposite edges, EinsTimer does not improve the pessimistic timing assumptions. As a result, EinsTimer may identify several timing problems that are not actually problems because it does not recognize the common path these signals pass through. An example will help illustrate.
Circuits 200 and 300 are identical except that LB5 latches data on the falling edge of the clock test signal while LB14 latches data on the rising edge of the clock test signal. This difference is significant, as shown below.
A prior art method 400 in
One sample implementation of method 400 in
Referring to
Referring again to
The preferred embodiments improve known static timing tools such as EinsTimer by providing a method for adjusting the slack values for logic blocks where clock test and data launch occur on opposite edges to improve the pessimistic assumptions made during LCD analysis. Using the method of the preferred embodiments, a large number of timing errors may be eliminated with minimal input from the user.
Referring to
Main memory 120 contains data 121, an operating system 122, a static timing tool 123, a timing analysis mechanism 125, and an integrated circuit design 127. Data 121 is any data that may be read or written by any processor 110 or any other device that may access the main memory 120. Operating system 122 is a multitasking operating system, such as OS/400, AIX, or Linux; however, those skilled in the art will appreciate that the spirit and scope of the present invention is not limited to any one operating system. Any suitable operating system may be used. Operating system 122 is a sophisticated program that contains low-level code to manage the resources of computer system 100. Some of these resources are processor 110, main memory 120, mass storage interface 130, display interface 140, network interface 150, and system bus 160.
Integrated circuit design 127 suitably includes logic blocks 128, interconnections 129, and rules 131. Logic blocks 128 are basic building blocks that typically include transistor structures that define circuit components, such as gates and latches. Interconnections 129 are the connections between the logic blocks 128. Rules 131 define the performance for the integrated circuit design, and are based on the selected technology for the integrated circuit. Rules 131 suitably specify the size of a logic block, and the best-case and worst-case delay characteristics of signals within the logic blocks and between logic blocks.
Static timing tool 123 performs static timing analysis on an integrated circuit design 127. Static timing tool 123 performs a plurality of slack computations 124 that define whether there is a timing problem for data setup between pins on a logic block in the integrated circuit design. Slack is a non-negative number if the data setup time is satisfied, with the value indicating how much play (or “slack”) exists before the timing is violated. If slack is zero, the data setup time is satisfied, but just barely. If slack is negative, the data setup time is not satisfied, and the value indicates how bad the problem is. For example, a slack value of −4 indicates that, under worst-case timing assumptions for data setup time, the clock could occur 4 time units before the data is guaranteed to be valid. Negative slack numbers indicate timing problems that integrated circuit designers must normally investigate manually. A designer would typically select one timing problem, determine the cause of the problem, and come up with solutions to overcome the timing problem. This is very tedious and time-consuming when thousands of timing problems are identified by the static timing tool 123.
A timing analysis mechanism 125 provides input to the static timing tool 123 to improve the pessimistic assumptions made by the static timing tool 123 regarding slack computations 124. The timing analysis mechanism 125 may be implemented within the static timing tool 123, but is preferably implemented external to the static timing tool 123 so that no changes are required to the static timing tool 123. The timing analysis mechanism 125 includes a dummy edge mechanism 126 that allows specifying a dummy clock test edge that occurs on the same edge as the data launch signal. This dummy edge allows the static timing tool 123 to automatically compute the value to use to improve the slack computations even though the real clock test and data launch signals occur on opposite edges. The dummy edge mechanism 126 essentially tricks the static timing tool 123 into automatically identifying the common blocks and relevant delay values for the clock test and data launch signals on a logic block that has a clock test signal and data launch signal that occur on opposite edges. It accomplishes this trick by creating a dummy clock test edge that occurs on the same edge as the data launch signal. The native CPPR function of the static timing tool then finds the delay values to use as the basis for computing the improvement in slack due to the common blocks.
Computer system 100 utilizes well known virtual addressing mechanisms that allow the programs of computer system 100 to behave as if they only have access to a large, single storage entity instead of access to multiple, smaller storage entities such as main memory 120 and DASD device 155. Therefore, while data 121, operating system 122, static timing tool 123, timing analysis mechanism 125, and integrated circuit design 127 are shown to reside in main memory 120, those skilled in the art will recognize that these items are not necessarily all completely contained in main memory 120 at the same time. It should also be noted that the term “memory” is used herein to generically refer to the entire virtual memory of computer system 100.
Processor 110 may be constructed from one or more microprocessors and/or integrated circuits. Processor 110 executes program instructions stored in main memory 120. Main memory 120 stores programs and data that processor 110 may access. When computer system 100 starts up, processor 110 initially executes the program instructions that make up the operating system 122.
Although computer system 100 is shown to contain only a single system bus, those skilled in the art will appreciate that the present invention may be practiced using a computer system that has multiple buses. In addition, the I/O interfaces that are used in the preferred embodiment each may include separate, fully programmed microprocessors that are used to off-load compute-intensive processing from processor 110, as in iSeries input/output processors, or may be simple industry standard I/O adapters (IOAs).
Display interface 140 is used to directly connect one or more displays 165 to computer system 100. These displays 165, which may be non-intelligent (i.e., dumb) terminals or fully programmable workstations, are used to allow system administrators and users to communicate with computer system 100. Note, however, that while display interface 140 is provided to support communication with one or more displays 165, computer system 100 does not necessarily require a display 165, because all needed interaction with users and other processes may occur via network interface 150.
Network interface 150 is used to connect other computer systems and/or workstations (e.g., 175 in
At this point, it is important to note that while the present invention has been and will continue to be described in the context of a fully functional computer system, those skilled in the art will appreciate that the present invention is capable of being distributed as a program product in a variety of forms, and that the present invention applies equally regardless of the particular type of computer readable signal bearing media used to actually carry out the distribution. Examples of suitable signal bearing media include: recordable type media such as floppy disks and CD RW (e.g., 195 of
Referring to
One particular implementation of method 500 of
We now apply method 700 of
A dummy edge was used in the difference computation (step 720=YES), so the slack (−8) is credited with the difference computed in step 670 (6) multiplied by a conversion factor (0.7) (step 730). We use here the LCD correction factor of 0.7, which results in an adjustment of 6*0.7 or 4.2. We add this to the slack of −8, which provides an adjusted slack of −3.8 in step 730.
Next we consider circuit 300 of
Using prior art method 600 in
In one specific implementation in accordance with the preferred embodiments, the timing tool itself is modified to create a dummy clock test edge in step 710. However, modifying the static timing tool is not a trivial endeavor. The static timing tool is a very large and sophisticated computer program that is not easily changed. For this reason, a different implementation in accordance with the preferred embodiments uses a prior art static timing tool (such as EinsTimer) along with a script that is executed to perform the steps 710, 720 and 730 in
One particular implementation of method 500 of
When the data launch and clock test signals have opposite edges (step 650=NO), a dummy clock test edge is created that is the inverse of the clock test signal (step 710), which results in the data launch and dummy clock test signals occurring on the same edge. Next, a dummy setup test is created using the original data launch signal and the dummy clock test edge (step 715). Static timing tools such as EinsTimer typically perform CPPR functions differently for a data setup test than for a data hold test. The proper logic that we want EinsTimer to perform is the logic for the setup test, even when a hold test is being performed. For this reason we have to trick EinsTimer into performing a dummy setup test created in step 715 so that it will perform steps 660 and 670. If a dummy edge was not used in the difference computation in step 670 (step 720=NO), the slack is credited with the difference (step 680). If a dummy edge was used in the difference computation in step 670 (step 720=YES), the slack is credited with the difference multiplied by a correction factor (step 730).
As stated above, step 730 may be performed by specifying a user delta adjust for the clock test signal. In the hold test case, the difference computed in step 670 is multiplied by the conversion factor, then subtracted from the clock test edge by specifying a negative user delta adjust for the clock test edge.
The preferred embodiments allow improving slack computations in a linear combinations of delay (LCD) analysis in a static timing tool for logic blocks that have data launch and clock test that occur on opposite edges. This allows the static timing tool to automatically compensate for many pessimistic timing results that would otherwise be generated by the static timing tool.
One skilled in the art will appreciate that many variations are possible within the scope of the present invention. Thus, while the invention has been particularly shown and described with reference to preferred embodiments thereof, it will be understood by those skilled in the art that these and other changes in form and details may be made therein without departing from the spirit and scope of the invention.
This patent application is a divisional of a U.S. patent application of the same title, Ser. No. 10/777,261, filed on Feb. 12, 2004, now U.S. Pat. No. 7,143,379 which is incorporated herein by reference.
Number | Name | Date | Kind |
---|---|---|---|
20040268279 | Oleksinski et al. | Dec 2004 | A1 |
20050183051 | Darsow et al. | Aug 2005 | A1 |
Number | Date | Country | |
---|---|---|---|
20070022397 A1 | Jan 2007 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 10777261 | Feb 2004 | US |
Child | 11535510 | US |