Patent Grant
8788995
The present invention is generally directed to electronic design automation (EDA) for creating integrated circuit products, such as, for example, system on chip (SOC) integrated circuit (IC) products and the like. More specifically, the present invention is directed to providing expeditious timing signoff verification and correction with minimal fixing during signoff of a physical circuit design.
While signoff systems and methods are known, such heretofore known systems and methods are encumbered by numerous deficiencies, not the least of which are required repeated transformative iterations between timing signoff and physical implementation, highly divergent timing analysis between timing signoff and physical implementation optimizers—with highly pessimistic timing characteristics and attendant false-positive violations (requiring over-fixing), inordinate turn around time, and overly burdensome storage, processing, and memory requirements. Such deficiencies have heretofore hindered efforts to minimize fabricated circuit product cost, time to market, power requirements, and substrate area while maximizing performance.
There is therefore a need for a system and method for guiding remedial transformations of a circuit design defined by physical implementation data to reduce over-fixing via remedial physical corrections of the circuit design for detected false-positive violations in the circuit design.
It is an object of the present invention to provide a system and method for guiding remedial transformations of a circuit design defined by physical implementation data to reduce needed physical corrections for detected false-positive violations in the circuit design. It is a further object to provide improved correlation between a signoff timing analysis module and a physical implementation module to reduce repeated iterations therebetween and provide expeditious timing signoff thereby. It is a further object to provide a hybrid graph-based and path-based timing database of the circuit design to guide the transformative remedial corrections thereof.
These and other objects are attained in the system and method for guiding remedial transformations of the circuit design defined by physical implementation data to reduce needed physical corrections for detected violations in the circuit design.
A method for guiding remedial transformations of a circuit design defined by physical implementation data to reduce needed physical corrections for detected violations in the circuit design includes: At least one processor is established and coupled to a memory, the memory including physical implementation data for a circuit design including a plurality of timing paths, each path having at least one node thereon. A graph-based timing analysis is executed in at least one processor to receive and analyze the physical implementation data in operational timing. The graph-based timing analysis generates a graph-based data store identifying a plurality of defective nodes of the circuit design responsive to detection of an operational timing defect in the circuit design. The graph-based timing analysis records operational timing characteristics including an identification and magnitude of the operational timing defect of each defective node detected in the circuit design. The identified defective nodes detected in the circuit design are ranked according to magnitude of the respectively corresponding operational timing defect thereof to define a candidate set of defective nodes. A path-based timing analysis is executed on the set of defective nodes to generate a path-based data store identifying operational timing characteristics of the set of timing paths. At least a portion of the operational timing characteristics of the graph-based data store are selectively replaced with operational timing characteristics of nodes from the path-based data store to generate a hybrid graph-based and path-based data store of the circuit design. An optimization engine is executed according to the hybrid graph-based and path-based data store to transform the circuit design to remove at least one operational timing defect thereof.
A system for guiding remedial transformations of a circuit design defined by physical implementation data to reduce needed physical corrections for detected violations in the circuit design includes a storage memory including physical implementation data for a circuit design including a plurality of timing paths, each path having at least one node thereon. A graph-based timing analysis engine is coupled to the storage memory. The graph-based timing analysis engine executes to retrieve and analyze the physical implementation data in operational timing. The graph-based timing analysis engine generates a graph-based datastore in the storage memory identifying a candidate set of defective nodes of the circuit design responsive to detection of an operational timing defect in therein. The graph-based timing analysis engine generates operational timing characteristics including an identification and magnitude of the operational timing defect for each of the candidate set of defective nodes. A path-based timing analysis engine is coupled to the storage memory and executes on the candidate set of defective nodes to generate a path-based data store in the storage memory identifying operational timing characteristics of the candidate set of defective nodes. A composite timing data store generation module is also coupled to the storage memory and executes to selectively merge operational timing characteristics of the graph-based datastore with operational timing characteristics of the candidate set of defective nodes from the path-based data store to generate a hybrid graph-based and path-based timing data store of the circuit design.
A method for guiding remedial transformations of a circuit design defined by physical implementation data to reduce needed physical corrections for detected violations in the circuit design using a processor includes establishing at least one processor coupled to a memory, the memory includes physical implementation data for a circuit design including a plurality of timing paths where each path has at least one node thereon. A set of disparate operational timing analyses are executed in the at least one processor a to analyze the physical implementation data of the circuit design. A plurality of incompatible sets of operational timing characteristic measurements of the circuit design are generated according to the executed set of disparate operational timing analyses. A hybrid set of operational timing characteristic measurements according to the sets of operational timing characteristic measurements are selectively generated. The hybrid set of operational timing characteristic measurements including at least identification of operational timing defects therein. At least two nodes of the circuit design with inconsistent operational timing characteristics, one relative to the other, are identified in the hybrid set of operational timing characteristic measurements and the operational timing characteristics of at least one of the identified nodes are responsively replaced.
Additional aspects and details will be set forth in the description which follows and, in part, will be apparent from the Description and Figures.
The subject system and method provide for guiding remedial transformations of a circuit design defined by physical implementation data to reduce needed physical corrections for detected violations in the circuit design. Such system and method execute with a goal of correlating timing between a physical implementation, corrective optimizer module, and a timing analysis module to reduce iterations and over or under correcting the circuit design therebetween.
A system and method formed in accordance with certain embodiments of the present invention generally provide for expedited signoff of an improved circuit design which minimizes recursive loops between a circuit timing signoff and a physical implementation of an electronic design automation (EDA) flow. Additionally, the system and method yield enhanced timing correlation between the timing signoff and physical implementation, whereby the heightened realism and reduced pessimism of operational timing characteristics due to a selective employment of both a graph-based analysis (GBA) static timing analysis (STA) and path-based analysis (PBA). The system and method provide for generation of an efficient light weight hybridized GBA and PBA operational timing characteristic data base with reduced pessimism induced by the GBA analysis to thereby guide the physical implementation module to perform a reduced set of corrections upon the circuit design to minimize repeated iterations between timing signoff and physical implementation amongst other benefits such as improved PPA (Power Performance Area) characteristics of the ultimate IC product.
An electronic design automation (EDA) flow traverses recursively through a plurality of stages towards the actual fabrication of complex integrated circuit devices, micro chips and systems. Device designs as small as a microcontroller in a smartwatch to devices as large as a very complex system on chip (SOC) including a plurality of cores coupled to an on chip memory and I/O are extensively planned out, verified, and remedially modified/transformed repeatedly to arrive at a fabricated tangible physical device. At first, an engineer or designer has an idea for a new circuit design or device. This idea is then mapped out into a logical schematic data defining a qualitative view of the functional goals of the device and interconnections amongst components thereof. For example, a terminal Y of an AND logic gate AND1 is coupled to a terminal B of an OR logic gate OR1 and a terminal Y of OR1 proceeds to an output2 to define segments of a path through the design. If the design receives an input X on AND1/A, then an output X should follow at a certain output, for example, OR1/Y.
A physical layout implementation stage builds upon such logical schematic abstraction of the data design to generate data specifying how such logical schematic may actually be implemented physically. A physical layout is generated by placement and routing steps to include geometries and placement coordinates of components such as gates, buffers, registers, flip-flops, and all manner of electrical integrated circuit structures along with routing interconnections between these components.
Further data abstractions such as a mask pattern which is the ultimate or final step prior to fabrication of the physical device embodying the circuit design may be included in the circuit design data as well. The totality of all the physical implementation data abstractions plus extrinsic data may collectively define the circuit design.
The placement and routing steps allocate the placement for these individual components on a semiconductor substrate, such as silicon, germanium, or the like, with actual physical geometries and a physical coordinate-mapped organization reflecting how the circuit design will be actually fabricated on the silicon substrate by optical lithography or other such fabrication measures. The routing portion seeks to interconnect each of the individual components (such as an AND, OR, buffers, and the like) to allow a signal to pass therethrough, thereby defining a path consisting of a set of segments between nodes through the circuit design. Once a physical layout has been generated, a number of extensive verification checks and analyses are performed in a signoff stage to ensure that the physical implementation of both the idea and the logical design meet the design goals, rules, and constraints thereupon, and functions as expected.
Signoff is generally accomplished by the performance of static timing analyses (STA), amongst other tools, to determine the operational timing characteristics throughout the system design to ensure proper functionality. The static timing analysis (STA) may include a plurality of different static timing analysis methodologies variously performing different algorithmic checks on the circuit design with attendant accuracy vs. run time trade offs for each. Several examples of different STA analyses include a graph-based analysis (GBA) which performs timing analysis on a node by node level traversing exhaustively throughout the circuit design. A path-based analysis (PBA) performs a different set of algorithmic checks on the circuit design which are more realistic, less conservative, and pessimistic than the GBA analysis. In such regard, the PBA analyzer requires a much greater run time, a much greater memory footprint, storage footprint, and extensive processing resources—however, PBA provides a much more accurate, realistic, or less pessimistic set of operational timing characteristics of the circuit design than the GBA analysis. The GBA analysis is generally performed in a faster manner with reduced run time, reduced accuracy and realism, through a conservative or pessimistic approach including several different worst-case assumptions, and a plurality of other measures designed to allow GBA to perform more quickly, though with a reduced accuracy and increased conservatism thereof. Such analysis generally operate, for example, by providing any input A and determining whether an output B arrives at a certain time on an output of the design irrespective of the particular input provided thereto. Such signoff stage generally is extremely slow and time-consuming utilizing a large amount of data, processing resources, temporary storage resources, and large amounts of permanent storage resources for the resultant timing data bases thereof. The signoff, utilizing tools such as the static timing analysis and other such verification tools, must be as close to 100% accurate and thorough as possible as they are the last practical chance to catch any possible timing violations under any possible operational and environmental conditions before vast resources are committed to physical fabrication of often very substantial quantities of the implemented design. Changes to a circuit design after fabrication has commenced may reach astronomically prohibitive costs and complexity and may indeed be impossible without substantial waste and retooling.
Electronic chips, integrated circuits, and systems of all varieties are approaching sizes and complexities never before seen and will continue to exponentially increase unabatedly into the foreseeable future. Gigascale designs already incorporate oftentimes hundreds of millions of instances which each may have several tens of gates. For example, 150 million logical gates may be arranged into one unified coherent system design. The design data characterizing the physical properties and operational characteristics such as timing of these gates and their interconnections may become massive—easily outstripping the capacity of available storage, memory, and processing systems. Hundreds of gigabytes, and even tera or petabytes of data may oftentimes be required for a single design. Therefore, tools facilitating an EDA flow, such as, for example, a placement and routing physical implementation tool or signoff timing analysis tool may not be performed in total all at once by one processor, stored on only one hard drive, or contained in a single machine's memory, but may, instead, need to be broken up into a plurality of partitions to operate in massively parallel processing and storage system configurations to accomplish transformations and analyses thereupon within a reasonably acceptable runtime. Such runtime may, merely illustratively, be an overnight process, or an over-weekend process, however, the lengths of the analyses and remedial corrections thereupon may stretch to several days, several weeks, months or even greater periods of time.
Generally, after a placement and routing design implementation stage has completed, a signoff engine takes the entirety of the design for such exhaustive verification thereof, as discussed above. The signoff engines (and the placement and routing engines to a lesser extent as well) must determine whether the design will work in any and all operating conditions.
Executing one, let alone a plurality of different static timing analyses, is an incredibly processor, time, power, and storage intensive task. Each time a change is made to the design, a battery of tests must be re-run which may oftentimes take several days to perform. Aggregating such delays results in tremendous wasted time, money, and manpower to such an extent that some changes and fixes may be too prohibitively expensive in such terms to actually implement. Any time, for example, the signoff test finds a violation, a repetitive loop of engineering change orders (ECOs) directed to the physical implementation engine must be entered. This ECO loop iterates repetitively through a physical implementation of placement and routing to correct errors or timing violations located and detected in the signoff process. It is only when signoff completes 100% accurately that reporting zero timing violations that the chip may then proceed to production. Even a single minor violation or flaw in the system design such as the minor, but notorious, PENTIUM® bug of the 1990's resulted in approximately half a billion dollars $450 Million of recall and replacement expenses and untold loss of goodwill for INTEL®. System designs and marketplace stakes have only increased in the succeeding decades.
Unfortunately, in the physical optimization portion, fixing one violation may actually result in creating more violations. Due to substantial differences between the physical implementation placement and routing engine and the signoff static timing analyses engines, the physical implementation portion often over-fixes or under-fixes detected violations, resulting in substantial re-analyses/fixing loops. The engines perform very different estimations/calculations on the results of the fixes which only exacerbates such loops and leads to the widely divergent design-view, leading to over/under fixing and in turn resulting in numerous ECO loops and great delay.
The aforementioned fixing may involve resizing a gate to increase a delay to obviate a setup violation, resizing a gate smaller to reduce delay to address a hold type violation, inserting an additional gate to create additional delay, removing unnecessary buffers or gates to reduce delay, and the like.
Only further complicating such processes—owing to the large amounts of data and processing time required at a physical implementation engine, the physical implementation placement and routing (P & R) may only exercise one clock of the circuit design, whereas the signoff STA type engines generally must exercise all paths throughout the design including, potentially, a plurality of clocks whereas the physical optimization engine only exercises the one clock. The plurality of clocks may exist due to a separate clock for a main processor, a memory, or an input/output (I/O) bus. The signoff engine cannot be allowed to miss violations and must therefore be much more accurate and intensive, exercising the entirety of the design, whereas a physical implementation engine may only test a portion of the design due to time, storage, and processing constraints. Moreover, the signoff STA may become aware of parasitics or intercoupling between elements that may not be determined at all in the physical implementation engine. To address some of the incredible resource requirements of the signoff STA, an abbreviated analysis may be performed with highly pessimistic results, for example, the graph based analysis (GBA) may not analyze each of a plurality of fan-in path timings to a multiple input device, but may instead consider only the worst case and treat that as a propagated value throughout the design for all paths, meaning that if the worst-case meets the timing constraints or requirements, then potentially it can be assumed that any of the inputs with lesser magnitude timing issues will all meet the constraints.
When the physical implementation engine seeks to fix a violation, it generally has a number of strategies to correct such violation, such as, for example, inserting a buffer into the design, such that the signal inputted at a portion A arrives at a portion B on time without a timing violation therein. Alternatively, to introduce a greater or lesser amount of delay in the signal, a particular logic gate or buffer may be resized. Such resizing or insertion of a buffer may change the delay therethrough and may introduce additional rule, constraint, or timing violations. Moreover, the buffer may be inserted in an illegal location conflicting with other components of the design which may only be determined later in the signoff stage, thus resulting in more iterative loops back to implementation to legally place the buffer or move other conflicting components which may again result in further ECO loops. It is seen that such physical implementation and signoff differences and complexities experienced in fixing one problem may result in, for example, 99 new problems. Such repetitive looping among tools along the EDA flow is a substantial impediment to timely fabrication of physical devices for market consumption and constraining costs to recoup on extensive research and development.
Several strategies may be employed to combat the excessive delay and expense typically encountered in electronic circuit design in terms of processing, storage, manpower, and the like. First, signoff static timing analyses (STA), such as GBA, PBA, and the like, and physical implementation optimization, may be distributed amongst a plurality of processors which may result in a plurality of host processing systems. For example, if there are 1,000 different modes needing to be analyzed of a circuit design, a first CPU may be responsible for determining a first 500 modes and a second CPU may be responsible for signing off a second 500 modes. It should be noted that this is an extremely simplified example and that any number from 1 to n processors, cores, and systems may be utilized such as in a server farm or massively parallel internal or external cloud-type processing system.
Once the distributed timing and signal integrity analyses are performed, such as, for example, in a static timing analysis engine, such as GBA or PBA, distributed across a plurality of CPUs, then a certain amount of timing data output will be generated by each CPU. Such CPUs generate a massive amount of setup/hold timing graph data and various other operational timing characteristic data of the circuit design under analysis.
To further aid the timing signoff and optimization and reduce the number of iterations of the ECO optimization/signoff loop, corrective remedial transformative actions such as buffer insertions or gate resizing of the circuit design may be performed based on enhanced accuracy and reduced pessimism signoff STA timing databases based on hybrid values from a plurality of selectively executed STA analyses. Whereas, in the past, a purely GBA based timing data base of operational timing characteristics of the circuit design with great pessimism added due to the worst casing therein, a simplified waveform for determining slew, a simplified derating value rather than considering actual path length, and a number of other factors, may have led to a wildly inaccurate GBA timing database for pass on to the optimizer physical implementation placement and routing P&R engine. Such physical optimizer placement and routing is needed to correct each of the timing violations encountered therein such as by the insertion, deletion, or modification of the gate and such fixing may have not been necessary. By enhancing the accuracy of the various STA analyses and the resultant data bases thereof provided as input to the physical optimizer, a large number of unnecessary fixes and resultant repetitive loops may be avoided. By providing enhanced signoff analysis, a physical placement and routing optimizer may obviate a large number of transformative remedial fixes upon the circuit design thereof. An enhanced accuracy signoff STA verification may thereby avoid over-fixing or under-fixing detected timing violations inasmuch as generally detected timing violations may not actually violate, but may be a result of overly cautious miscalculation based on the inaccurate GBA. By removing such pessimistic inaccuracies in the signoff STA and the unnecessary over-fixing and under-fixing of the physical implementation placement and routing optimizer, the repetitive ECO loop is thereby obviated and the attendant expenses thereof are mitigated.
For an integrated circuit product to function and operate properly in use, certain electrical impulses or signals must travel from inputs to outputs and in intermediate stages arriving at certain prescribed times. An exemplary signal might leave a first register at a certain clock pulse and should arrive at another register within another clock pulse. To ensure that the finished fabricated integrated circuit product, such as a SOC, meets these timing requirements and operates as required, a plurality of functional or operational timing verifications are performed on the chip—not only to verify, but also to identify and locate problematic areas which may be violations which could lead to a loss of functionality in the finished product. Moreover, while a certain product such as, for example, an ARM processor, may operate at a first timing regime, such as, for example, 100 MHz or 1 GHz, removing timing violations to allow for faster operation of the chip, such as, for example, at 200 MHz or 2 GHz, allows for a more versatile processor which may be used in a plurality of different designs, rather than redesigning a separate chip for each product. Still further, the faster the processor may operate, such as, for example, at 2 GHz, the more operations it is able to perform and the faster the functioning of the operational software run thereon will be. Therefore, timing violations in the circuit design are taken very seriously and any timing violations found therein will need to be remediated, fixed, or corrected. Upon signoff, before the chip is actually physically fabricated, a battery of tests are run on the processor, and a timing model or timing database is generated. The timing database identifies the arrival times at certain locations throughout the circuit of signals therein. If a signal does not reach a certain point by a certain predetermined time, then a timing violation may be found. As discussed above, a certain timing violation may exist at a certain speed or frequency of the chip whereas it may not exist at another lesser or lower frequency or operating speed of the product. The signoff tool analyzes the arrival times in a very pessimistic, conservative, or worst case analysis to ensure that these timing violations do not occur in the finished product. The timing database containing the enumerated times and the violations thereof is generally passed on to the circuit optimizer, physical optimizer, or placement and routing engine to remedy timing violations determined in the product, such as by the insertion of additional logic, such as, for example, buffers, or other gates that help to either increase or reduce delay in either data, clock, or other types of paths throughout the circuit. When a timing database with overly pessimistic, conservative, or worst case values is passed to the fixer, the fixer may seek remedy something that isn't actually broken and thereby introduce unneeded components.
For example, if the fixer is given a timing database indicating a timing violation in the certain path, the fixer may seek to insert additional gates to increase delay to thereby solve a problem. However, it may be that the timing values and violations found therein are overly pessimistic or overly optimistic and therefore depart from a realistic assessment of timing propagation throughout the circuit design. When a timing violation is detected, the fixer is given the circuit design to fix and this loop iterates multiples times with the fixer correcting a detected violation and sending the design back to the signoff to verify that it has been fixed and failing the fix, the design iterates back through the optimizer fixer to remediate the problem. This insertion of buffers or additional gates increases the size of the circuit, increases the power drain on the circuit and the cost of the circuit as silicon substrate is very expensive. Therefore, by minimizing circuit design for a circuit product that will be fabricated many millions of times, each incremental savings in space, power, and cost are, in the aggregate, very beneficial to the industry and consumers.
Ideally, a more accurate, realistic, less pessimistic and conservative timing database is passed to the optimizer/fixer such that no false timing violations exist and the fixer is only fixing actual timing violations as they will happen in the IC product. The fixer or optimizer is guided to avoid over-fixing, under-fixing, or wasting unnecessary cycles on issues which are only remote possibilities that may not even actually exist. To do this, a more accurate or realistic timing engine or sign-off engine is employed, but the time to run such a more accurate or realistic engine may be overly expensive in terms of cost, time, manpower, and delays of entry into the market. Therefore, running a more accurate or realistic timing engine may be prohibitive and may not indeed be possible. Herein, a graph-based analyzer (GBA), which tends to be fast but not very accurate or realistic, is executed to analyze the circuit design. Performing this graph based analysis generates a timing database of overly pessimistic or unrealistic timing which, in the conventional flow, are passed on to the optimizer or physical placement and routing engine. Based upon those inaccurate and unrealistic values of the timing violations in the circuit design leads to a repetitive loop of introducing unnecessary gates. Each added gate has a corresponding power drain and a size penalty imposed on the design. Such optimizing/fixing substantially delays production of an IC product embodying the circuit design. The PBA, while non-viable for the entirety of the circuit design due to the prohibitively high cost (in terms of runtime, processing power, and storage) thereof, may be selectively employed upon the identified worst timing violations determined in the GBA analysis.
The path-based analyzer (PBA) generates more realistic and more accurate timing values of the circuit design. The more accurate and more realistic PBA measurements may then be selectively injected into the GBA timing database. The more realistic PBA timing values selectively replace the identified time violating values of the GBA timing database and the newly formed GBA/PBA hybrid timing database is then reconciled firstly to resolve GBA vs. PBA conflict and then to ensure consistency of propagation of values throughout the circuit design. This hybrid GBA/PBA database, once reconciled to be internally consistent, will appear to be a GBA generated database and may be passed on to any known optimizer product. Ideally, this hybrid database has removed all false positive timing violations which may have been identified incorrectly under the overly pessimistic GBA approach.
By removing these false positive violations, unnecessary fixes by the physical placement and routing optimizer are thereby avoided with the attendant benefits of removing unnecessary fixing, the run time requirement thereof, the cost thereof, the costs of insertion of additional gates and additional logic and the resizing of additional logic, to thereby result in a more efficient and more expeditiously generated and verified circuit design for physical fabrication thereof into an operable, tangible, and functional integrated circuit product, such as, for example, a system on chip (SOC) processor.
As seen in the illustrative flow diagram of
Another type of static timing analysis may include the path-based analysis (PBA) which analyzes specified paths throughout the circuit design at block 40. Such PBA may have reduced pessimism by incorporating a number of features that may have been too expensive in terms of processing, storage, runtime, and the like for the graph based analysis. In such manner, the PBA may have a higher accuracy of operational timing characteristics determined, at the expense of a greater runtime and greater expenses in terms of processing, temporary storage, and ultimate data base storage of timing results.
After performing the static timing analyses on the circuit design, a set of nodes and their resultant operational timing characteristics are passed on to the physical circuit optimizer to remedy, in a transformative manner, the timing defects such as discussed above by insertion, deletion, or modification of gates in the circuit design at block 50. Upon conclusion of the execution of block 50 and the optimization or remedial transformation of the circuit design, a final sign off, such as a static timing analysis, at block 40, is performed. Generally blocks 30 to 50 are repetitively iterated many times to converge signoff and physical optimization and arrive at a fully signed off circuit design. Upon completion of signoff and verification, the circuit design is passed at block 60, to be fabricated as fully signed off. At block 60, a number of additional processes may be performed such as optical resolution enhancement, tape out, and the like, whereby the end result is a fully fabricated, physical, tangible, and operable physical product defined by the circuit design thereof.
As seen in the illustrative block diagram of
To recap, as seen in
The signoff static timing analysis is performed whereby exhaustive timing tests are performed on the circuit design to ensure that everything is correct and will work as desired. This stage is somewhat like a checksum stage where an input is provided to the circuit design and an output is expected at a certain time. However, this timing analysis is run exhaustively and in atomic detail on each and every gate, component, and/or path throughout the entirety of the circuit design. Generally, the timing analysis and the timing signoff is performed not only once for the design, but a plurality of times, once for each representative view of the circuit design where a view is a unique permutation of corners and modes of operational corners and modes. Therefore, the timing signoff is generally a very time, processing, and memory intensive process.
As seen in
The GBA analysis propagates throughout the circuit design and creates a timing database of actual signal arrival times subtracted from required times (defined by constraints at each circuit node), whereby it is determined that the constraint based required time for a signal to arrive and depart a gate, pin, or node, minus the actual arrival time, results in a timing violation if the result is negative, meaning that the signal arrives later than when it is needed. Such a timing violation is referred to as a negative slack. A number of constraints may be placed on a circuit design, such as, for example, requiring a certain signal to arrive at a certain time. Therefore, a required time of arrival herein may be considered a constraint, and an actual arrival time of a signal may be evaluated against the constraint or required time to determine whether the constraint is met. If a signal arrives at a certain time less than the required time, then a timing slack may exist meaning that the signal arrived with an additional slack or tolerance and still meet the constrained time. Therefore, a slack may be defined as the required time minus the arrival time. A negative slack however indicates that a signal did not arrive within the required time, but instead arrived at a time after the required time and therefore the constraint was not satisfied. In such regard, the failure to meet a constraint, such as, by a negative slack, may indicate a timing violation or defect in the circuit design.
As seen in block 50 of
Upon completion of the static timing analysis, preferably a GBA analysis, the timing database is evaluated to identify at block 30 a set of candidate endpoints for re-evaluation based on a predetermined set of factors, including the GBA operational timing characteristics of those endpoints. The predetermined set of factors may also optionally include violations or negative slacks, likely slew or arrival pessimism, AOCV variations, Signal Integrity (SI) characteristics, magnitude ranked critical violations, various additional likely sources of pessimism, and thresholding. For example, if a signal was to arrive at AND1/A (AND gate 1 pin A) at a specified time such as, for example, 0.58 nanoseconds and the signal actually arrived at that pin at 0.2 nanoseconds, then a resultant 0.38 positive slack time may be recorded in the timing database. Conversely, if a signal was to arrive at the AND gate pin Y at 0.1 nanoseconds, and the signal arrived at 0.5 nanoseconds, the slack would be a −0.4 nanoseconds, thereby indicating a timing violation with the signal arriving at the AND1 gate pin Y (required time minus actual arrival time=slack time). Once every node of the circuit design has been evaluated based on its operational timing characteristics and a GBA timing database containing each of those nodes and their respective operational timing characteristics has been generated, the database may be sorted according to the magnitude of the slack.
If a circuit design or a path through a circuit design is thought of as a chain and the greatest magnitude or most critical of the timing violations in the path, or circuit design, is considered as the weakest link in the chain, then it can be seen that fixing or remediating the most severe of the timing violations or weakest links in the chain will provide the greatest benefit for the overall circuit design. The ranked timing database for each node or endpoint is evaluated to determine the top N set of violating or critical nodes. The N or quantity of such top N may be based upon a determination of an acceptable runtime. For example, if a design shop has a week to run the circuit timing analysis, then perhaps all timing violations may be addressed in the circuit design. However, if suitable runtime is not available, then perhaps a certain threshold of the most severe or most critical timing violations may be addressed while the remainder are not. The remainder would still have to be passed on to the optimizer for remedial transformations thereupon which is less than ideal. Once the targeted candidate endpoints have been determined, a set of paths at block 40 are identified in the circuit design respectively corresponding to the identified endpoints thereof.
The set of paths identified as containing the critical or highest-ranked timing violation containing endpoints is then passed on at block 50 to a path-based static timing analysis (PBA STA) which performs a path based analysis (PBA) only on the enumerated paths from block 40. Whereas the GBA style analysis chose a worst-case path through a multiple input gate, the path-based PBA analysis evaluates all of the timing characteristics of all of the paths separately entering each multi-in gate logic and does not discard actual path characteristics such as by merging the slacks or slews thereof, but instead maintains a comprehensive listing of the different paths even through a single gate. Such PBA analysis thereby removes pessimism introduced by the GBA analysis towards a more realistic timing database to guide the optimizer and reduce corrective loops and unnecessary additional gates.
At block 40, a set of paths corresponding to or containing the set of candidate endpoints or violating nodes are identified. At block 50, a path-based static timing analysis (PBA) is selectively performed on nodes in the identified set of paths at block 40 to thereby re-evaluate timing characteristics at the nodes thereof and write the re-evaluated timing characteristics into a PBA database or datastore with a reduced pessimism relative to the GBA timing database.
At block 60, the GBA timing database is opened and the PBA database or data store is opened, the nodes in each are correlated, and the PBA values are selectively copied from the PBA timing database into the GBA timing database to replace the overly pessimistic or inaccurate GBA timing operational characteristics of each reevaluated gate with a more accurate or more realistic PBA operational timing characteristic thereof. Thereby, with the selective replacement of GBA values with PBA values in the top N selected critical endpoints or paths, a hybrid GBA/PBA database or operational timing characteristics of the gates is established. The hybrid GBA/PBA operational timing database or data store will be passed to the optimization engine which is configured to receiving purely GBA timing databases. At block 70, timing conflicts between GBA and PBA values, such as at multi-input fan-ins of combinational logic are determined. If, for example, a fan-in has a higher magnitude more critical timing violation than a fan-out line of, for example, an AND gate, then an inconsistency in the timing database may be said to exist. Additionally, if an upstream node along a path has a higher magnitude timing violation than a downstream node along a path, then another timing inconsistency may be said to exist in the timing database. Such inconsistencies may be determined by identifying slack for a node in relation to other slacks of other nodes along the path. For example, the consistency checker may start at a first node, record the slack, traverse to an adjacent node and compare its slack with the recorded slack. For a further discussion of the identification and resolution of GBA/PBA inconsistencies in the hybrid timing database, please see the discussion with regard to
At block 80, the reconciled hybrid GBA/PBA database is passed on to the physical implementation optimizer to transform the circuit design according to the timing violations extant in the hybrid GBA/PBA database. The optimizer will selectively insert additional buffers or other such gates or constructs to increase the delay, delete buffers or unneeded logic to reduce delay, or resize gates larger to increase additional delay or smaller to reduce delay across the gates. In such manner, the physical implementation optimizer thereby addresses and accordingly remedies identified actual timing violations in the hybrid GBA/PBA database. Upon completion of optimization at block 80, a final signoff is performed to ensure no timing violations exist and the circuit design is passed off for physical fabrication thereof. With the hybrid PBA/GBA timing database, the final signoff should be performed once all timing violations have been mitigated or removed with a PBA-based signoff such that the additional pessimism inherent in the GBA analysis is not re-introduced. Otherwise, a GBA-based final signoff following timing violation remediation may introduce false positive violations where no violations actually exist, but are due solely to the introduced pessimism in the GBA signoff tool.
Discussing block 10 of
At block 108, the parasitic data for interconnections is imported. The parasitic data may include intercoupling effects and other effects such as electromagnetic interference (EMI), parasitic intercoupling, capacitive intercoupling between interconnect wire segments, resistances, and capacitances, and the like to evaluate delay across interconnects. At block 110, a standard delay format (SDF) or SPEF may, optionally, be imported where the delay for certain gates is predefined and at block 112, certain timing constraints defining the required arrival time of a signal at a particular gate are predefined. Arrival times for gates are determined in relation to the timing constraints or required times for each gate to determine a slack value for each node in the circuit design. Other than netlist 102, every other input may vary per analysis view (delay corner+constraint mode). For example, at different Process, Voltage, Temperature corners of the STA analyses, different AOCV, parasitics, delay library values, and/or timing constraints may be employed. A set of input constraints are applied which define the desired timing that is envisioned from the circuit design.
Various kinds of library models are used to perform static timing analysis. Some standard ones may include liberty format specified .lib library models for defining the delays of standard digital gates (AND, OR, NOT, FLOP, LATCH, and the like), MACROS, AOCV models for performing advanced STA, CDB models for performing Signal Integrity analysis, and the like. Interconnect models (generally in SPEF format, though any suitable format may be employed) are also preferably loaded for STA.
As seen in
As seen in
At block 208, multi fan-in nodes, such as, for example, an AND, OR, and NOR gate are identified. The multiple fan-in nodes of a logical gate such as the AND gate are compared one relative to the remainder to determine the worst possible delay and slew operational timing characteristics thereof. The delay and slew from the worst possible multiple fan-in is then propagated downstream to the fan-out of the logic gate containing the multiple fan-in nodes. In such manner, a worst-case analysis is performed and the output gets the absolute worst potential input thereto. While such approach incorporates additional pessimism vs. accuracy, if the worst possible fan-in meets the timing requirements or constraints, then it can be assumed that the remainder of the fan-in nodes also meet the timing requirements or constraints thereupon and computation time, size, and expense may all be correspondingly reduced—though increased pessimism is introduced. At block 210, the operational timing characteristics determined for each node based upon the parameters of the GBA static timing analysis are written to the timing graph or database instantiated at block 202 to thereby generate a fully populated GBA timing data base for the entirety of the netlist-defined circuit design. At block 212, additional analysis results from the GBA STA may be outputted for other peripheral uses by circuit designers, signoff engineers, and other downstream processors.
As seen in
Additionally, merged slew pessimism introduced in the GBA is seen to only occur at multi fan-in paths and so the merge slew pessimism PBA tool may be selectively employed where it is determined that the technology node is below 40 nanometers, a particular path has a multi-fan-in gate, and other such factors. Merged arrival time pessimism is also a likely source of pessimism inherent in GBA analysis, amongst other merged or worst-cased/best-cased operational timing characteristics.
At block 303, the subset of likely GBA shortest-path and de-rating based pessimism subset is formed of the identified violating nodes from the GBA timing database. Several factors may go into determining these likely candidates for reduction of GBA pessimism through selective target application of the PBA analysis. For example, shortest path-based derating pessimism occurs only on multi-fan in paths and the potential for pessimism reduction may be determined by subtracting the individual lengths of fan in inputs, where for example, fanm-fann has a large delta of path length determined by timing arcs, phases, stages, or the like. By identifying likely candidates for pessimism reduction, the PBA may be selectively employed without a promiscuous application thereof which would be unwieldy in terms of processing, storage, temporary storage, and the like.
At block 304, violating nodes with a likely AOCV wave propagation pessimism induced in the GBA analyzer are identified to selectively target the PBA analyzer against those portions of the circuit design. At block 305, violating nodes with a multi-voltage induced pessimism from the GBA analysis are identified for likely reevaluative action in the PBA analyzer. At block 306, nodes with likely common path pessimism may be targeted for common path pessimism removal (CPPR). At block 307, additional nodes likely to have introduced pessimism are selectively targeted. At block 308, the nodes identified with likely pessimistic inaccuracy are ranked according to criticality or magnitude of the timing violation. For example, the higher the negative slack, the more critical, and the more likely PBA reevaluation will be effective at reducing pessimism therein. At block 309, the top ranked of the identified nodes at block 308 are selected for a targeted surgical PBA analysis thereof. The top ranked may be selected considering the design coverage (such that optimal timing database may be generated) for violating network though this may be user tunable.
As discussed above, a plurality of different PBA configuration modes or flavors may be concurrently employed across a plurality of processors, cores, or systems for remediation of the GBA induced pessimism therein.
As seen in
At block 309′, it is determined what the runtime allowance is for analysis of this particular circuit design. For example, a circuit design team may have one night, one weekend, one week, or the like, to perform or to remove pessimism in the timing analysis. Depending upon the amount of time available, potentially all timing violations may be re-evaluated with the pessimism reduced or removed to thereby reduce or remove unneeded over or under fixing in the physical implementation tool where the timing data will be passed next. Such passing of the various databases herein may be accomplished through any measures known to one of skill in the art, such as by passing a reference, link, location path, pointer, or the like. According to the designers' allowable runtime and the system designer preferences, the number of violating nodes with likely pessimism are selectively targeted.
At block 40, the paths containing the top N selected timing violations according to runtime allowance are identified. Wherein an endpoint of AND1/Y might indicate a path from AND1/A to AND1/Y or input1 to AND PIN A may define a path. Alternatively, a path may be defined by an input 1 to an output 2, a register out to a next register in, and the like. At block 50, a path-based timing analysis is executed upon the top-N identified paths thereof containing the highest magnitude identified timing violations.
At block 405, the enumerated timing paths are analyzed and a verbose PBA report with enhanced accuracy or realism and with reduced pessimism is generated to be in a report or database timing format.
An exemplary flow for running a PBA analysis and generating a PBA data base 50 is shown. As seen in
As seen in
As seen in
By generating a more realistic slew, the arrival times, the delay, the violations, and the overall system delay and violations thereof are more accurately and realistically accounted for in the timing database which will be passed to the placement and routing physical optimizer—which ideally will need to take no corrective action. At block 70, it is seen that the PBA values are reconciled with the GBA values. The GBA and PBA slacks will generally have conflicting values and therefore the conflict must be resolved. This is performed primarily by giving deference to the PBA values where a PBA and GBA conflict and propagating the PBA values downstream. Additionally, where internal inconsistencies exist due to the injection of PBA values into the GBA database, a reconciliation process of propagating or back annotating the PBA values is adopted. The worst fan out slack on a multi-input node is back annotated or written backwards or upstream on the fan-ins that have inconsistent slack values thereof to harmonize or reconcile the GBA/PBA hybrid database for passing on to the optimizer. The PBA slacks on the GBA fan-in cone of the critical network are back-annotated.
A node slack consistency is achieved iff (if and only if) the node's slack is less than equal to the least slack amongst all of the fan-out nodes and if the node is the worst immediate fan-in, then its slack is equal to at least one fan-out node's slack. If not then there cannot be any timing path going through this node. For example: and1/A should always have the same slack as and1/Y. However, after PBA values have been selectively inserted into a GBA database, some of the nodes may end up having more critical slack than fan-out network. A node may retain its GBA slack if PBA did not analyze any paths that cross through the node. Such inconsistencies may break the connectivity of the path going therethrough. Slack inconsistencies are resolved by traversing the timing graph evaluating the nodes thereof based upon whether any paths passing therethrough were analyzed by PBA. If PBA is not done on any of the paths going through a node, then its GBA slack will be updated with the worst PBA slack of the fan-out node. In the example of
If PBA is performed on non-worst GBA paths then such PBA can lead to optimism in the graph. Such optimism is fixed by overriding the node slack with the worst fan-out slack.
In such manner, any standard optimizer tool may be employed and the optimizer may be entirely ignorant of the hybrid nature of the GBA/PBA database and instead assume that a standard GBA driven database has been supplied thereto.
As seen in
The GBA analysis will compare all paths traversing through the multi-fan-in device 703 (inclusive of paths 7034 and 7035) to determine a slew and slack delay of each path. The GBA tool, however, to incorporate additional safeguards, pessimism and conservatism, will compare each of the paths 7034, 7035, and the like, to determine a worst case slack delay and slew and attribute these worst-case values to all paths therethrough. The slew value affects arrival time, which affects delay, which affects violations, which, in turn affects fixes and repetitive loops. The graph based analysis (GBA) will evaluate the paths 7034 and 7035 one relative to the other and determine the worst-case of any of the paths passing through the multi-fan-in device and propagate forward this worst-case value to the downstream nodes. Therefore, for example, if the path 7034 from pin A 7031 to pin Y 7033 had a slack of −20 and a slew of 10, and the path 7035 had a slack of −40 and a slew of 20, then the GBA would analyze all paths passing through AND gate 1 703 to determine the worst case slack and slew, path 7035, having negative −40 slack and 20 slew.
In the instant example, it is seen that at the input pin A 7031, a negative 4 slack time, meaning that the actual arrival time of the signal at the AND gate 1 703 pin A 7031 was 4 time units (such as nanoseconds) behind the required time. In this example, the required time may be measured in nanoseconds and the actual arrival time may be measured in nanoseconds, resulting in a −4 nanosecond negative slack delay and thus a resultant timing violation as the signal did not reach pin A at the required time. The negative slack time of pin A 7031 will be compared against the −2 slack time of input pin B 7032 and the worst possible case of any of the fan-in inputs including 7031 or 7032 will be propagated forward for the output pin Y 7033 which, as a result, has a −4 negative slack which represents the worst possible case between input pin A 7031 and input pin B 7032. Therefore, the worst possible slack and slew will be propagated forward to buffer 3 704 and output 1 705 introducing substantial pessimism into the timing database.
When the GBA analyzer next evaluates a path from IN1 701 to OUT2 709, the GBA traverses segment per segment from IN1 701 to buffer1 702, to 703, to buffer4 (BUF 4) 708 and on to OUT2 709, propagating the worst case negative 4 slack onto buffer 4 708 and then OUT 2 709, irrespective of the actual path therethrough. While the actual delay from input pin B 7032 to output pin 7033, path delay would actually be a −2 negative slack, the −4 worst case value at node 7033 is utilized in the GBA analysis to ensure that the results are conservative and pessimism is preserved.
The GBA analyzer, after analyzing IN1 701 to OUT1 705 and IN1 701 to OUT2 709 paths, then proceeds to analyze the path of input 2 (IN 2) 706 to output 1 (OUT1) 705 and IN2 706 to OUT2 709. The GBA analyzer analyzes delay along the path of 1N2 706 to BUF2 707 to AND1 703, but rather than analyzing the actual path of input pin B 7032 to output pin Y 7033, the GBA analyzer has selected the input pin A 7031 to output pin Y 7033 (segment 7034), as the worst-case path through the multi-fan-in device (AND gate 1 703). Thus, the analyses from IN2 706 to OUT1 705 and OUT2 709 both utilize this worst-case segment 7034, though the actual path segment would be along segment 7035 from input pin B 7032.
Such induced pessimism of the worst case of AND gate 703 will propagate through the analysis to output1 705 and output2 709 from input2 706, though neither of those two paths from input to output traverse through path segment 7034.
Upon completion of the GBA analysis of the design above, a number of path slacks have been measured to include input 1 to output 1 having a GBA slack of −4, and input 1 to output 2 having a GBA slack of −3, and input 2 to output 1 having a GBA slack of −2, and finally, an input 2 to output 2 having a GBA slack of −1 shown in the table below:
1) In1 to Out1=−4
2) In1 to Out2=−3
3) In2 to Out1=−2
4) In2 to Out2=−1
In the highly simplified example herein, the two most critical paths determined by absolute magnitude of the negative slack, herein −4 and −3 of path 1 and 2 respectively from input 1 to output 1 and input 1 to output 2, have been selectively targeted for re-evaluation through the more accurate, though time consuming, path based analysis (PBA). While the GBA analysis reads the various inputs, builds a persistent model of static timing analysis, a timing graph according to the input netlist circuit design, computes the worst arrival and the required times on the nodes of the graph. For certain nodes which may be characterized as endpoints, such as an output port, or a register output port (which may include an AND gate or other combinational logic), a worst arrival time or slack is computed as well.
The PBA analysis is used to target pessimism reduction and also optimism in cases where the GBA cannot easily perform waveform propagation analysis, for example, due to computing and resource constraints. Several instances of likely pessimism introduction during GBA analysis include a slew merging pessimism which impacts delay computation on the timing network by merging a plurality of different slews, recording a multi-fan-in combinational logic, such as AND gate 1703, and only using the worst-case of fan-in input. Another task introducing pessimism includes graph-based de-rating factors encountered during an on-chip-variation portion (OCV) wherein the worst possible stage count or length is utilized in computing factors globally applicable to the circuit design. Yet another instance where GBA falls short and introduces pessimism and unneeded conservatism is in analyzing signal integrity (SI) effects.
Whereas the GBA proceeds in topological fashion for various input points and at every converging point, a worst-casing, of each and every potential segment or path throughout the system, the PBA analysis instead is given a specific path to follow, such as, for example, from input 1 to output 1. The GBA analysis is executed with an exhaustive eye towards a traversal through the entirety of the netlist in the system design whereas the PBA is designed instead to receive specific enumerated paths through the system and perform analysis only on those paths with actual non-merged, non-worst-case values therethrough.
The PBA is markedly different from the GBA analysis in regards to slew calculation, amongst other distinctions. While the GBA performs a worst-casing of slack and slew, the PBA analysis computes an actual slew separately for each enumerated path it is to analyze. Arrival time of a signal is computed differently in GBA vs. PBA and arrival time is a function of delay with delay being a function of slew time. The slew time, due to the worst-case merging of the GBA analysis, may be markedly different in the PBA analysis, which affects delay, arrival time, and slack. Therefore, the PBA reduces a lot of pessimism needlessly introduced in the GBA analysis.
While, ideally, all violating nodes identified in the GBA analysis would be targeted in the PBA for reevaluation, run time considerations, storage, processing, resources, time, and cost, all impact the ability of a design firm to run PBA on the entirety of the violating nodes. Instead, a runtime allowance may be determined, such as, for example, overnight, over-weekend, or over a week, and the like. A designer may selectively determine, based on the allowed runtime, in turn based upon the processing resources at her disposal, the storage space for a potentially massive PBA timing database output, temporary storage such as memory, RAM, or the like, to selectively target only a top N violating nodes. To this end, the identified timing violations are preferably ranked in order of severity or criticality and those with the highest magnitude negative slack, in the instant example, −4 and −3, may be selectively targeted. In such manner, the PBA is empowered to effectively re-evaluate the paths with the highest criticality, such as the −4 and −3, to arrive at a less pessimistic and more realistic value.
In the instant example, assuming that the −4 negative slack path 1 from IN1 to OUT1 and the negative 3 slack path of IN1 to OUT2 are selectively exercised in the PBA analyzer, potential exemplary PBA values might, for example, be a −1.7 for path 1 and a −1.5 for path 2. Such reduction in the negative slack from −4 to −1.7 is a result of removing undue or unneeded pessimism or conservatism from the GBA analyzed path. Additionally, the reduction of criticality from −3 to −1.5 in path 2 IN1 to OUT2 additionally reflects a reduction in pessimism which will be propagated through the system.
As an example, were PBA not performed, then the timing database including the violations −4, −3, −2, and −1 would be passed on to the physical optimizer unit which would seek to correct the negative slacks by introducing new circuit elements, gates, or logic, resizing existing gates or logic, or removing gates or logic in such manner to remove the timing violation. The physical optimizer then passes the engineering change order (ECO) back to the signoff tool to reevaluate with the GBA engine to determine if the fixer had indeed remedied the timing violations thereof. This iterative loop is highly disadvantageous and introduces great delay into the production of physical circuit devices.
In the example where PBA has been selectively performed on path 1 and 2 and accordingly removed a portion of the pessimism therefrom, the fixer now, instead of remedying a −4 timing violation, only needs to remedy a −1.7 violation and the −3 violation for path 2 no longer needs to be addressed. Instead, a violation of −1.5 should be fixed. In such manner, a greatly reduced set of timing violations, the magnitude thereof, and the quantum of remedial transformations of the circuit design are performed. Thereby, great savings in time and energy in the repetitive loop of fixing and signing off may be obviated or mitigated herein.
As seen in
However, the GBA analysis of IN 2 to OUT 1 remains (at least in the segment between node 706 and node 7032) as PBA analysis did not touch nodes 706, 707, or 7032 and in fact never even exercised segment 7035, instead, only touching on segment 7034. While the updated PBA operational timing characteristic values have been selectively injected into the timing graph and the corresponding timing database thereof, it is seen that the pre-PBA GBA slack values remain at node 706, 707, and 7032. These GBA values necessarily conflict with the PBA values for downstream nodes. For example, the downstream node Y 7033 of AND gate1 703 cannot be less critical than any of the fan-in inputs. If node B 7032 has a timing violation of −2 slack and input pin A 7031 has a −1.7 magnitude timing violation negative slack, then the fan-out node Y 7033 must have a worst case of one of those two, which should be a −2 to therefore ensure a node B 7032 consistency with node Y 7033. Additionally, the −1.5 value of buffer4 708 conflicts with the fan out cone, node Y, with −1.7, and thus a reconciliation of the inconsistencies due to the injection of the PBA values into the GBA based timing database is performed. The PBA values are injected into the timing graph or timing database where there is conflict between a pre-evaluated GBA and a post-evaluated PBA, the PBA will win out and replace the overly pessimistic GBA value.
Following the PBA analysis, the nodes are marked such as by tags, metadata, markers, additional data fields in the timing database, or the like to be in a state having three possibilities: a PBA_NODE, a GBA_NODE, and an ANNOT_NODE. The PBA_NODE is any node where PBA has been done on at least one path going through the node. A GBA_NODE is a node where PBA has not been performed on any of the paths going through the node and the slack of the node is the same as the worst slack of GBA on the node. An ANNOT_NODE is a node annotated where the consistency of the graph is being reconciled and the fan-out node's slack is annotated onto the fan-in network.
A node may be annotated in two ways: if PBA has not been performed on any of the paths going through the node, then the GBA slack will be updated with the worst PBA slack of the fan-out node. In the example seen in
Even if PBA is executed, but it was performed on the non-worst GBA path, then such can lead to undue optimism in the graph which may be disastrous to the circuit design. Therefore, such inconsistencies should be overwritten by overriding the node slack with the worst fan-out slack thereof.
In another example, consider
To counter the pessimism introduced due to the injection of PBA values into the GBA timing database, the more realistic (though incorporating some pessimism) of the −3 slack seen in buffer4 708 will be back-annotated on the complete fan-in network of AND1/Y 7033 thus resulting in a −3 slack value at AND1/B 7032, buff 2 707, and IN 2 706. The PBA timing database may be a database, array, or file of struts, classes, or other custom built class or data structure used to store a plurality of values including operational timing characteristics, and markers, metadata, tags, and the like, conveying or capturing information about each node of the graph. Thus, each gate such as buff2 707 may have a marker, metadata, tag, or the like indicating that it is an annotated node (ANNOT_NODE) following the PBA value injection of the GBA database, and the reconciliation of values.
For example, the PBA database generated during PBA execution may have a data structure defined for recording characteristics of each node of the graph. Such structure preferably includes a slack rise and fall including the worst final slack for each rise and fall transition of the signal through that node. While a database has been discussed herein, any known data storage measures may be used such as a linked list, a database, a flat file, a data store, distributed storage measures, and the like. In an exemplary embodiment, a database of structures is employed. The slack rise and fall values may be derived from the GBA, PBA, and annotated slack of the node due to the GBA/PBA reconciliation. Additionally, a GBA path slack rise and fall may be stored for each node as well where the GBA slack of the worst timing path enumerated during PBA analyses is recorded. This may not always be identical to the GBA_slack of the node as the real worst path may not be enumerated due to max_paths or N worst limit configurations as shown in the example above. Additionally, the PBA path slew is stored and other bit markers to identify the node as a GBA node, PBA node, or reconciliation-based annotated node are stored.
Preferably, the PBA database includes a node based pba slack info structure or class for each node of the circuit design analyzed under PBA as seen in the exemplary data structure below:
node_based_pba_slack_info (Built on each timing node of the graph):
slack [rise_and_fall]
This is the final worst_slack for each rise/fall transition
Derived from GBA/PBA/ANNOT_SLACK of the node
GBA_PATH_SLACK [rise_and_fall]
This is the GBA slack of the worst timing path enumerated during PBA analysis. This may not always same as the GBA_SLACK of the node as real worst path may not be enumerated due to max_paths/nworst limit (as shown in the example in ANNOT_NODE above)
PBA_PATH_SLEW
Bit Markers to identify node as GBA_NODE/PBA_NODE/ANNOT_NODE - - -
pba_edge_derate_info (Built on each timing arc where AOCV-PBA is done):
pba_edge_derate [rise_and_fall]
This is the worst PBA derate among all analyzed paths
PBA_SLACK [rise_and_fall]
This is the worst PBA slack of the path going through this edge
Timing arcs and other derating information for the PBA may be stored as well where the PBA edged derate rise and fall may be stored for each node which is the worst PBA derate among all analyzed paths. The PBA slack rise and fall is also be stored which is the worst PBA slack of the path going through the edge or node.
An overview of the PBA analysis and PBA database generation is seen in
The advanced on chip variation (AOCV) or non-AOCV mode may also be selected for the PBA analyzer. In an AOCV mode, the actual path length or segment count, or time arc length of each actual path may be calculated to arrive at a derating factor for that path which reduces pessimism on the path. The longer the path, the greater the AOCV derate factor may be employed. Conversely, for a shorter path, a lesser AOCV derate factor may be employed for the path. In GBA, or in a non-AOCV configuration, instead using a global on chip variation, the shortest path and therefore the worst or most pessimistic OCV value is used globally throughout the design.
The max_paths mode or N worst nodes may be selectively employed for a prescribed number of paths or nodes to may be analyzed such as 100 max paths or the 100 worst report timing violation magnitudes resulting from the GBA analysis may be selectively targeted by the PBA analyzer. The max_slack setting limits PBA on critical section of the timing graph. The max_slack setting may be configured such that the PBA analyzer is executed to analyze only paths with greater than, for example, a −3 slack. Thereby any paths with a negative slack greater than −3 will be analyzed and paths with slacks less than the magnitude of 3 in a negative direction will not be analyzed under PBA, but will instead be fixed by the physical placement and routing optimizer.
The analysis type allows configuration of either a minimum or maximum slack to be selectively employed as well. In most instances the maximum slack will be determined. Additionally, the timing group or worst amongst all groups path enumeration mode may be employed.
At block 1005, a database initializer initializes or creates an empty database such as the PBA driven database 1001 which may contain a plurality of sub-databases 1002 such as, for example, the node slack/slew database 1002 and the AOCV derate database 1003. The database may be preconfigured to store the structures pre-established and discussed above for storing a plurality of operational timing characteristics and other such characteristics or measurements of the node, edges, or paths through the circuit.
At block 1006, the path analyzer or PBA is executed for example with the “run report_timing” configured with the settings that were determined in block 1004 to be optimal for reducing pessimism while maintaining realism and complying with predetermined design time constraints such as a max run time allowance whether it be overnight or over the weekend. The PBA analyzer is executed on all of the specified paths whether they be the worst N, the most critical, or selected and explicitly defined paths such as path 1, path 2, path 3, and the like. The output of block 1006 is passed to the database generator block 1007 which will feed actual operational characteristics measured to the database 1001. Depending upon the type of operational timing characteristic, it will be inputted into a corresponding portion 1002 for the node slack and slew or the AOCV derate database 1003. The PBA slack of each timing node in the PBA database will be updated to include the minimum current PBA slack or the stored PBA slack where the stored PBA_slack may be a GBA value or a previously propagated PBA value due to an upstream node. Additionally, if AOCV mode has been enabled in the configurator 1004, then the derating info of each node or path will be stored in the appropriate portion of the database 1001 as well.
As seen in
As seen in
Additional downstream tools towards the physical fabrication may be employed at block 903 by exercising get_property interface upon interface, or the like, upon the PBA database 800. A global slack report including all of the timing values with GBA values and selective PBA values is output at block 804.
In
An exemplary configuration and execution of the PBA analysis is seen in
As seen in
Where a signal enters at input 2 and arrives at the AND gate 11/B at time 2.0, the signal then traverses across to the Y pin AND 11/Y with a slew time of 0.474 summed with the previous arrival time of 2.0 to determine an arrival time of 2.474 at the Y pin of AND gate 11. The signal precedes to leave the AND gate 11 pin Y to arrive at a buff 1 input A which has a slew time across buffer 1 of 2.191 which is added to the arrival time of 2.474 to arrive at an arrival time at the output pin Y of buff 1 at time 4.665. The required time at each pin or node increases at each node, and thus, an arrival or required time at pin A might be 0 whereas the required arrival time at pin Y has some time 0+n. Thereby the sum of each preceding required time is computed at each node in addition to the sum of arrival times at each preceding node whereby the cumulative sum of actual arrival time is subtracted from the cumulative sum of required times to arrive at a slack value which indicates a timing violation in the circuit path.
Turning to
For the purpose of simplicity, the components of computer system 1400 are shown connected via interconnect bus 1406. However, computer system 1400 may be connected through one or more data transport means. Mass storage device 1402′, which may be implemented with a magnetic disk drive, an optical disk drive, a solid state device, an attachment to network storage, cloud storage, a RAID arraying any of the above, and the like, is preferably a non-volatile storage device for storing data, databases, and instructions, to be used by processor unit 1401. In certain configurations, mass storage device 1402′ may store portions of the software to load it into main memory 1404 or into a firmware or rom.
Portable storage medium drive 1414 operates in conjunction with a portable non-volatile storage medium such as a floppy disk, a compact disk read only memory (CD-ROM), or a digital versatile/video disk read only memory (DVD-ROM), to input and output data and code to and from the computer system 1400. In one configuration, software portions, circuit design data, and the like are stored on such a portable medium, and are input to computer system 1400 via portable storage medium drive 1414.
Peripheral device(s) 1410 may include any type of computer support device such as an input/output (I/O) interface, to add additional functionality to computer system 1400. For example, peripheral device(s) 1410 may include additional network interface cards to interface computer system 1400 to additional networks. Peripheral devices may include further specialized processors such as clustered video cards utilizing graphics processor unit (GPU) floating point processing logic to supplement or supplant CPU processing. Dynamically configurable logic such as, for example, field programmable gate arrays (FPGAs) may also be coupled to system 1400 through peripheral device(s) block 310. Still further, specialized application specific integrated circuits (ASICS) may be coupled thereto to implement specialized logic to accelerate or implement certain portions of the invention such as a timing analysis module, a data reduction module, and a correction module including an physical implementation optimizer engine. Such modules may be given direct access to memory (DMA) and may have their own memory integrated therein. Additionally, a rapid circuit prototype fabrication unit may be coupled to the system via a backplane or system IO port. Such fabrication unit may include, for example, a lithographic or 3d additive printer, operable to physically fabricate a circuit design defined by physical implementation data.
Input control device(s) 1412 provide a portion of the user interface for a computer system 1400 user. Input control device(s) 1412 may include an alphanumeric keypad for inputting alphanumeric and other key information; and a cursor control device such as a mouse, a track pad or stylus; or cursor direction keys.
In order to display textual and graphical information, computer system 1400 contains graphic subsystem 1410 and output display(s) 1418. Output display 1418 may include a cathode ray tube (CRT) display, liquid crystal display (LCD), active matrix organic light emitting diode (AMOLED), plasma display, projector, or the like. Graphic subsystem 1410 receives textual and graphical information and processes the information for output to display 1418.
A GBA database 1419, design database 1420, PBA database 1421, and GBA/PBA hybrid database 1427 are coupled to mass storage devices 1402. An STA coprocessor 1422 containing a GBA processing module 1423 and a PBA processing module 1424 is coupled to peripheral devices 1410. An optimizer fixer module 1425 is coupled to peripheral devices 1410 as well as a database reconciler module 1426.
In a software implementation, the portions of software for certain measures may include a plurality of computer executable instructions, to be implemented on a computer system such as system 1400. Prior to loading in the computer system 1400 or firmware, the software may reside as encoded information on a computer-readable tangible medium such as a magnetic floppy disk, a magnetic tape, CD-ROM, DVD-ROM, flash memory, network attached storage (NAS), or any other suitable computer readable medium. Such software may control multiplexors, selectors, field programmable gate arrays (FPGAs), or the like to implement logical control of timing analysis, endpoint ranking, likely pessimism identification, likely PBA pessimism reduction nodes, path identification, and/or physical implementation optimization features.
In an illustrative implementation, such a system may be implemented in any suitable computer based platform known in the art. For example, the system may comprise suitable storage media and one or more dedicated processors or share one or more processors executing/controlling other functions, wherein the employed processor(s) is programmably configured with processor instructions for performing the functions described herein. Suitable circuits may also be developed to execute certain aspects of these functions.
As seen in
PBA configuration module 1504 selectively sets a plurality of settings of the PBA analyzer according to designer input and determined allowed runtime, amongst other factors. Additionally, the PBA configuration module (based upon the configuration settings) analyzes the GBA database, preferably ranking it by magnitude and selecting the most critical paths thereof as candidates to be passed to the PBA engine 1511 for selective targeted pessimism removal therein. Upon arriving at a finalized configuration, the PBA engine 1511 is selectively executed according to the PBA configuration module 1514's determined configuration therefor. PBA engine 1511 receives the configuration settings and accesses the recorded operational timing characteristics stored in a GBA database 1508 according to the configuration thereof to select, rank, or identify the most critical violations determined in the GBA database 1508. PBA engine 1511 is then executed to re-evaluate those most critical selected nodes or paths for re-evaluation thereof and subsequent recordation into PBA database 1509. The updated, reduced pessimism operational timing characteristics are recorded in the PBA database 1509. The conflict reconciler 1513 traverses through the PBA database correlating GBA nodes with re-evaluated PBA nodes and selectively replacing GBA data with PBA data in the GBA database. Alternatively, the conflict reconciler 1513 may supplement PBA re-evaluated nodes in the PBA database 1509 with default GBA database values contained in the GBA database 1508 to thereby form a hybrid GBA and PBA database for output to optimizer module 1512 for subsequent fixing thereof.
Alternatively, a new composite hybrid GBA/PBA database 1516 may be created with selectively retrieved values from GBA database 1508 and PBA database 1509. Conflict reconciler 1513 may be employed to selectively retrieve PBA values and GBA values from PBA database 1509 and GBA database 1508 respectively merging the two into a new composite third database 1516. The new composite third database 1516 can be generated in encrypted/binary/ascii format and is preferably an independent representation of timing and signal integrity effects of a given design. While the GBA/PBA hybrid approach herein has been described in terms of STA, such approaches may be employed with any of the various flavors/varieties of signoff such as, for example, static, statistical, and the like. STA herein also may be employed with signal integrity analysis.
Conflict reconciler 1513 additionally propagates new PBA values through the timing graph or timing database according to predetermined static timing analysis rules and practices and determines conflict with upstream nodes and downstream nodes based on neighboring nodes. One such conflict is GBA vs. PBA values. PBA values should be used where available. Another such STA rule leading to inconsistencies is that a fan out cannot be less critical than any fan-in slack value. Such conflicts are addressed by selectively propagating other values based upon a predetermined ranking of PBA values versus original GBA values, upstream, and downstream neighboring nodes.
As seen in
Although this invention has been described in connection with specific forms and configurations thereof, it will be appreciated that various modifications other than those discussed above may be resorted to without departing from either the spirit or scope of the invention. For example, equivalent elements may be substituted for those specifically shown and described, certain features may be used independently of other features, and in certain cases, particular combinations of circuit design and implementation flow of processing steps may be reversed, interposed, or mutated, all without departing from the spirit or scope of the invention as defined in the appended claims.
| Number | Name | Date | Kind |
|---|---|---|---|
| 6795951 | Hathaway et al. | Sep 2004 | B2 |
| 8079004 | Soviani et al. | Dec 2011 | B2 |
| 8332793 | Bose | Dec 2012 | B2 |
| 8615727 | Ghanta et al. | Dec 2013 | B2 |
| 20050172250 | Kucukcakar et al. | Aug 2005 | A1 |
| 20090327985 | Chen et al. | Dec 2009 | A1 |
| 20100281444 | Zejda et al. | Nov 2010 | A1 |
| 20100281445 | Soviani et al. | Nov 2010 | A1 |
| 20120159414 | Ghanta et al. | Jun 2012 | A1 |
| 20120311515 | Zolotov et al. | Dec 2012 | A1 |
| 20130179851 | Le et al. | Jul 2013 | A1 |
| 20130239081 | Oktem | Sep 2013 | A1 |
| 20140096100 | Sinha et al. | Apr 2014 | A1 |
