Plaque It!
Sponsored by: Flash of Genius |
[0002] 1. Field of the Invention
[0003] The present invention relates to automated routing tools for integrated circuit designs.
[0004] 2. Description of the Related Art
[0005] With the advent of circuit feature sizes in the sub-micron range, integrated circuits involving millions of transistors on a single chip have become commonplace. Due to the sheer number of devices on a single chip, an entire industry has evolved specifically to supply the semiconductor industry with software and hardware tools to automate much of the process of integrated circuit design.
[0006] Design automation tools are computer-based tools that assist through automation of procedures that would otherwise be performed manually. Simulation of proposed design functionality and synthesis of integrated circuit logic and layout are two examples. Design verification tools are computer-based tools used to verify that circuit design or layout meets certain prescribed objectives.
[0007] Both design automation and design verification tools require computer-readable descriptions of the underlying circuit function and structure to operate. These computer-based descriptions vary from simple geometrical specification languages, such as Caltech Intermediate Form (CIF) to high-level functional description languages such as VHDL (a hardware design language). Geometrical specification languages for integrated circuits allow computer-readable definition of the geometries of the mask layers required to fabricate an integrated circuit. These specification languages contain primitive structures such as wires and boxes to specify geometrical shapes and layout levels. Organizational constructs are also provided to allow placement and repetition of the geometrical structures.
[0008] Most design tools are hierarchical in nature and employ more than one type of routing algorithm for routing interconnections between circuit components. Most routing tools used for cell-based designs begin with the placement of circuit elements, cells and/or cell blocks. Placement can be manual or automated, and typically decisions are made about where connectors to the circuit elements, cells and/or cell blocks should be located. Placement also includes determining the placement and orientation of blocks relative to one another. Such decisions can be driven by considerations of circuit compaction, which affects circuit congestion (similar to traffic congestion), the number of interconnect lines running between the blocks, and so on. With gate array designs, there is no placement step because placement has been predetermined by the manufacturer.
[0009] The next step in completing the circuit design is typically a global routing step, which is an attempt to logically determine a path for each interconnection between cells in the entire design. Routing decisions are made based on the available avenues formed by the current placement of circuit elements and/or blocks, and are assigned in consideration of various costs, also referred to herein as constraints (e.g., to incur the shortest total length of interconnect lines between the connectors). Once the global router has assigned the general flow of interconnect lines, a detailed router attempts to make the interconnect lines fit the assignments made by the global router.
[0010] A set of two or more interconnected cells in a circuit design is referred to herein as a “net.” A “net list” is a set of statements in a geometrical specification language that specifies the elements of a circuit, such as transistors and gates, and their interconnections. Individual transistors are described, along with cells to which they connect. The net list allows creation of a circuit diagram based on the actual geometrical specification statements. The creation of the circuit diagram is referred to as “circuit extraction,” and the extracted circuit can be compared to the original circuit specified by the designer to determine differences. A difference usually indicates an error that must be corrected.
[0011] In addition to providing the details of circuit interconnection, circuit extraction is useful for calculating layout areas and perimeters for each integrated circuit layer at each node of the circuit. These layout areas and perimeters can be used to accurately calculate the parasitic capacitances and resistance that load the active devices. With accurate capacitances and resistances from circuit extraction, a design can be accurately simulated to ensure correct operation. Thus, circuit extraction is an essential design verification tool for accurate characterization of modem integrated circuits.
[0012] A typical analysis in designing a circuit involves developing a routing solution for routing interconnections between circuit components. The routing solution is then evaluated using a constraint engine to identify nets that do not meet specified criteria, such as minimum spacing between nets. Offending nets are manually re-routed, and the routing solution and constraint engine re-run. This process is referred to as “parasitic extraction.”
[0013] As more complicated designs are developed to achieve higher performance and higher reliability, the demands placed on routing tools increase. Most current routing tools, provided by Electronic Design Automation (EDA) vendors, are insufficient to achieve the quality of route desired without several iterations and design cycles. Furthermore, most routing tools are primarily concerned with minimal distance as a constraint on global routing and do not permit timing to be directly considered.
[0014] What is needed is a new global routing technique to achieve a high quality, highly reliable route in as few iterations as possible. The global router should provide the capability to handle timing, noise avoidance, shielding and cell (repeater or latch) insertion constraints. The global router should produce output that can be used by a commercially available detailed router to complete the routing.
[0015] The present invention includes an algorithm that performs the constraints-based global routing step in the physical design of integrated circuits. The algorithm is based on finding routes for the entire circuit based on constraints being satisfied for the entire design. Initially, for each net, a set of possible routing solutions is determined based on applicable constraints. The possible solutions for the nets are combined to create a highly-connected “intersection graph,” with each intersection graph node representing a net. Edges are added between intersection graph nodes for nets which “intersect,” indicating that the nets share a region on the circuit's floorplan. Weights, based on constraints, are added to the edges of the intersection graph. Using these weights, the intersection graph is “pruned” to eliminate edges, producing a sparse graph. The intersection graph is partitioned based on constraints and performance criteria. An optimal solution is determined for each partition. The optimal solutions for the partitions are then combined to produce a global routing solution. The global routing solution is provided to a detailed router, which completes the routing for the design.
[0016] In one feature, a method includes finding a solution set including at least one route solution for each net of multiple nets of an integrated circuit design. The method further includes creating an intersection graph using the solution sets for the nets and partitioning the intersection graph into multiple partitions. The method further includes identifying an optimal solution satisfying a constraint for each partition and using the optimal solution for each partition to complete a global routing for the design such that the global routing satisfies the constraint.
[0017] In another feature, a method includes finding a route solution for each net of multiple nets of an integrated circuit design. The method further includes creating an intersection graph for the nets using each route solution for each of the nets. The method further includes partitioning the intersection graph into multiple partitions and identifying an optimal solution satisfying a constraint for each partition. The method also includes using the optimal solution for each partition to complete a global routing for the design such that the global routing satisfies the constraint.
[0018] In another feature, a system includes finding means for finding a solution set comprising at least one route solution for each net of multiple nets of an integrated circuit design. The system further includes creating means for creating an intersection graph for the nets using the solution sets for the nets. The system further includes partitioning means for partitioning the intersection graph into multiple partitions. The system further includes identifying means for identifying an optimal solution satisfying a constraint for each partition and using means for using the optimal solution for each partition to complete a global routing for the design such that the global routing satisfies the constraint.
[0019] In yet another feature, a computer program product includes finding instructions to find a solution set comprising at least one route solution for each net of multiple nets of an integrated circuit design. The computer program product further includes creating instructions to create an intersection graph for the nets using the solution sets for the nets. The computer program product further includes partitioning instructions to partition the intersection graph into multiple partitions. The computer program product further includes identifying instructions to identify an optimal solution satisfying a constraint for each partition of the partitions and using instructions to use the optimal solution for each partition to complete a global routing for the design such that the global routing satisfies the constraint. The computer program product further includes a computer-readable medium to store the finding instructions, the creating instructions, the partitioning instructions, the identifying instructions, and the using instructions.
[0020] In another feature, a computer system includes a processor for executing instructions and a memory to store the instructions. The instructions include finding instructions to find a solution set comprising at least one route solution for each net of multiple nets of an integrated circuit design. The instructions further include creating instructions to create an intersection graph for the nets using the solution sets for the nets and partitioning instructions to partition the intersection graph into multiple partitions. The instructions further include identifying instructions to identify an optimal solution satisfying a constraint for each partition and using instructions to use the optimal solution for each partition to complete a global routing for the design such that the global routing satisfies the constraint.
[0021] In still another feature, a system comprises a finding module to find a solution set comprising at least one route solution for each net of multiple nets of an integrated circuit design and a creating module to create an intersection graph for the nets using the solution sets for the nets. The system further includes a partitioning module to partition the intersection graph into multiple partitions and an identifying module to identify an optimal solution satisfying a constraint for each partition. The system further includes a using module to use the optimal solution for each partition to complete a global routing for the design such that the global routing satisfies the constraint.
[0022] The foregoing is a summary and thus contains, by necessity, simplifications, generalizations and omissions of detail; consequently, those skilled in the art will appreciate that the summary is illustrative only and is not intended to be in any way limiting. Other aspects, inventive features, and advantages of the present invention, as defined solely by the claims, will become apparent in the non-limiting detailed description set forth below.
[0023] The present invention may be better understood, and its numerous objects, features and advantages made apparent to those skilled in the art by referencing the accompanying drawings.
[0024]
[0025]
[0026]
[0027]
[0028]
[0029]
[0030]
[0031]
[0032]
[0033]
[0034]
[0035]
[0036] While the invention is susceptible to various modifications and alternative forms, specific embodiments are shown by way of example in the Drawings and are described herein in detail. The Drawings and Detailed Description are not intended to limit the invention to the particular form disclosed. On the contrary, the intention is to cover all modifications, equivalents, and alternatives falling within the scope of the present invention as defined by the appended Claims.
[0037] For a thorough understanding of the subject invention, refer to the following Detailed Description, including the appended Claims, in connection with the above-described Drawings.
[0038] Although the present invention is described in connection with several embodiments, the invention is not intended to be limited to the specific forms set forth herein. On the contrary, it is intended to cover such alternatives, modifications, and equivalents as can be reasonably included within the scope of the invention as defined by the appended Claims.
[0039] In the following description, for purposes of explanation, numerous specific details are set forth in order to provide a thorough understanding of the invention. It will be apparent, however, to one skilled in the art that the invention can be practiced without these specific details.
[0040] References in the specification to “one embodiment” or “an embodiment” means that a particular feature, structure, or characteristic described in connection with the embodiment is included in at least one embodiment of the invention. The appearances of the phrase “in one embodiment” in various places in the specification are not necessarily all referring to the same embodiment, nor are separate or alternative embodiments mutually exclusive of other embodiments. Moreover, various features are described which may be exhibited by some embodiments and not by others. Similarly, various requirements are described which may be requirements for some embodiments but not other embodiments.
[0041] The present invention includes an algorithm that performs the constraints-based global routing step in the physical design of integrated circuits. The algorithm is based on finding routes for the entire circuit based on constraints being satisfied for the entire design. Initially, for each net, a set of possible routing solutions is determined based on applicable constraints. The possible solutions for the nets are combined to create a highly-connected “intersection graph,” showing nets which “intersect,” indicating that the nets share a node. Weights, based on constraints, are added to the edges of the intersection graph. Using these weights, the intersection graph is “pruned” to eliminate edges, producing a sparse graph. The intersection graph is partitioned based on constraints and performance criteria. An optimal solution is determined for each partition. The optimal solutions for the partitions are then combined to produce a global routing solution. The global routing solution is provided to a detailed router, which completes the routing for the design.
[0042] The present invention produces solutions which meet timing constraints and have overall less congestion than other possible solutions. During routing, a static two-dimensional parasitic extraction and timing analysis is performed to minimize resistance and capacitance while meeting timing constraints. In one embodiment, a 3D parasitic extraction module can be used in conjunction with the present invention to enable three-dimensional parasitic extraction between layers of the circuit design.
[0043]
[0044] Global Routing step
[0045] Once the global router has assigned the general flow of interconnect lines, in Detailed Routing step
[0046]
[0047] In 3D Graph Creation step
[0048] In Partition Intersection Graph step
[0049] One of skill in the art will recognize that each of the steps of the flowchart of
[0050] It is within the scope of the invention that at least some of these modules may be run in parallel. For example, the development of feasible solutions for each net performed by Develop Feasible Solution Set for Each Net step
[0051] In one embodiment, the solutions for each partition are placed in order of priority and solved one at a time in Develop Solution for Each Partition step
[0052] Alternatively, Develop Solution for Each Partition step
[0053] The constraints for the global routing tool of the present invention are determined by design requirements. Examples of the types of constraints that can be used are listed below.
[0054] Timing Constraints. In at least one embodiment, the maximum path delay allowed for the routed net can be specified, for example, by a user of the global routing tool. In one embodiment, the maximum path delay is specified using the standard delay format. Standard Delay Format (SDF) is set forth in Standard Delay Format Specification, Version 3.0 (May 1995, Open Verilog International), which is incorporated by reference in its entirety. An SDF file is an ASCII text file containing a header section followed by one or more cell entries describing cells of the design. The header section contains information relevant to the entire file, such as the design name, tool used to generate the SDF file, parameters used to identify the design, and operating conditions. Each cell entry identifies part of the design (a “region” or “scope”) and contains data for delays, timing checks, constraints, and the timing environment. For example, the launch time and edge rate at the driver pins of the nets and the required arrival time and edge rate at each sink pin of a net can be specified as timing constraints.
[0055] Noise Constraints. In at least one embodiment, the user can specify nets that should be avoided and the amount of spacing to be allowed between nets. The user can also specify whether a specified percentage of a particular net is to be routed along a power or ground signal.
[0056] Shielding Constraints. In at least one embodiment, the user can specify the shielding requirements of a net while routing. The shielding width, spacing and percentage of the net to be shielded can be specified. For example, 50% of a particular net may need to be shielded, and two tracks can be allocated along 50% of the length of that net to provide the necessary shielding.
[0057] Cell Insertion Constraints. In at least one embodiment, cell insertion constraints can be specified by the user along with the original timing constraints. Limits can be specified for a maximum transition time or maximum delay allowed such that a repeater or latch can be inserted to overcome the limit. For example, in a path from a driver D
[0058]
[0059]
[0060] To create a three-dimensional graph of the design, the entire design area is divided into a grid, and each grid section is assigned a “gtile.” Gtiles are usually square and one node, also referred to herein as a gNode, of a gtile exists in a given area per layer.
[0061]
[0062]
[0063] In the three-dimensional graph shown in
[0064] 3D Graph Creation step
[0065] For each gtile, the number of routing tracks available through the gtile is calculated. The calculation takes into account previously routed nets and design-wide obstructions. If a neighbor is obstructed completely, no connection to that neighbor is made in the final circuit design. Pins from the netlist, if located in a certain gNode, are attached to that particular gNode. If a net will require more than one track to be routed on a particular metal layer, the number of tracks is taken into account when routing the net.
[0066] The global route for a net is defined by mapping the net onto a set of gtiles. The present invention is used to produce a unique gtile map, together with width and spacing, for the nets such that all the global and individual net constraints are met.
[0067] As earlier described with regard to
[0068]
[0069] An obstruction, such as obstruction O
[0070]
[0071]
[0072]
[0073] As mentioned above, an obstruction, such as obstruction
[0074] In creating a feasible solution set for a net, each route placed into the solution set should be feasible and meet applicable constraints. If no solutions exist for routing the net, a design flaw exists and the floorplan must be changed. If one solution exists, that solution corresponds to the solution set. If several solutions exist, a subset of the solutions can be selected to form the solution set; for example, a maximum of three solutions may be selected to form the solution set based on, for example, metrics for timing quality and length.
[0075] In
S S S S S S S S S
[0076] A set of global route solutions for each net is generated. In one embodiment, Mikami Line Search Algorithm is used for finding these solutions. For more information regarding Mikami Line Search algorithm, see K. Mikami & K. Tabuchi,
[0077] The Mikami Line Search algorithm searches across obstacles and multiple metal layers to find routing paths. For each net, each of its sink pins is paired with the driver pin to form (driver, sink) pairs for each path. Each path is routed using the Mikami Algorithm and multiple solutions are generated per path. After all solutions have been found for each (driver, sink) pair, the solutions are merged to give solutions for the entire net. For example, if a net had two paths, then two (driver, sink) pairs are formed. If the search algorithm generated three possible solutions for the first pair and two possible solutions for the second pair, then six global route solutions are possible for the net. The delay and actual length for each path solution is computed and stored for further analysis in the routing process.
[0078] Mikami Tabuchi algorithm, a line probe algorithm, is designed to perform better than maze routing algorithms, both in terms of route search time and quality. Maze routing algorithms search grid nodes in a breadth-first fashion, whereas a line probe algorithm searches line segments available within the three-dimensional gmap. The time and space complexity of Mikami Tabuchi algorithm is O(L), where L is the number of line segments produced to complete the route search. Mikami Tabuchi algorithm finds a path between driver and sink, if such a path exists, and assures that the path found is the shortest path available on the given floorplan. Initially, the line probes are drawn from both driver and sink in mutually perpendicular directions. These lines extend until reaching the floorplan boundary or an obstacle on that metal layer. If these lines do not intersect, then at each grid point on these lines, perpendicular lines are drawn until they reach the boundary of the floorplan or hit an obstacle. This process is continued recursively until an intersection point is found between the list of lines belonging to the driver and sink.
[0079] To enable multi-layer routing, the lines drawn from points on a previous line can be on multiple layers, thereby reducing the overall search time. In practice, new lines are not drawn from every grid point on the previous line. A spacing factor between grid points is used to reduce the exponential growth in number of lines generated during a complicated search.
[0080] More sophisticated algorithms, such as Steiner Tree-based approaches, can be used to determine routes more suitable for multi-terminal nets. For more information about Steiner trees, see C. Chieng, M. Sarrafzadeh & C. K. Wong,
[0081] Steiner Tree-based approaches are based on first finding the minimum spanning tree for the given set of pins on a net. A minimum spanning tree is a minimum-weight tree in a weighted graph which contains all of the graph's vertices (here, all the pins). From the minimal spanning tree, a rectilinear Steiner Tree is produced. A Steiner Tree is a tree resulting when, given a set of vertices S in an undirected weighted graph, a minimal weight spanning tree of S∪Q is produced for some added Steiner vertices Q in the graph. A Steiner tree differs from the minimum spanning tree in that the set of Steiner vertices must be identified. That is, additional vertices may be used. A Steiner Tree is based on rectilinear projections of the edges of this minimum spanning tree.
[0082] Once a set of solutions for each net is produced, the solutions for each net can be pruned according to delay and length constraints. In one embodiment, Elmore Delay is computed for each path of the net. For more information about Elmore Delay, see W. C. Elmore,
[0083] The Elmore Delay model is the most commonly used delay model in works on interconnect design when inductance and distributed resistance and capacitance (RC) effects don't dominate. Under the Elmore delay model, the signal delay from the driver s
[0084] where
[0085] C(k) is the downstream capacitance from node i
[0086] R(k
[0087] All nodes and sinks in the RC tree have a different delay. In general, the Elmore delay of a sink in an RC tree is a (loose) upper bound on the actual 50% delay of the sink under step input.
[0088] Elmore delay provides a simple closed-form expression with greatly improved accuracy for measuring delay, when compared to other RC models. Furthermore, the Elmore delay calculation can be done in linear time. The Elmore delay model is not the most accurate delay model available, but the Elmore delay model has a high degree of fidelity: an optimal or near-optimal solution according to the estimator is also nearly optimal actual delay for routing constructions and wire-sizing optimization. Other delay models which are more accurate can be used, but run-time for these models is usually greater than that of the Elmore delay model.
[0089] Using the arrival time constraints, the delay violation for each path solution is computed using the following formula:
[0090] A value of 0 for the delay violation indicates that the arrival time constraint is met. A positive value indicates that the arrival time constraint is not met, and a negative value means that slack is available for optimization of other nets. The net solutions where all the paths of the net meet the constraint (delay) are retained, and the rest of the solutions are omitted from further consideration for inclusion in the final global routing solution. This “pruning” of the solutions guarantees that the ultimate global routing solution meets the timing constraint.
[0091] In one embodiment, feasible solutions sets are determined in order of priority. Consider a design having twenty nets. When the solution for the first net is developed, multiple solutions are available. After the first ten nets' solutions are developed, available tracks for routing the eleventh net are limited. Assume that the eleventh net interacts with eight other nets, four of which have already been routed as part of the first ten nets. Noise should be avoided between the interacting nets, and the topology of the previously routed nets can be considered to be an obstruction for the route of the eleventh net.
[0092] In the example, assume that the eleventh net needs to be a distance of four tracks from the previously routed tenth net. A temporary obstruction can be constructed determined by the topology of the tenth net. The eleventh net can be routed to automatically avoid the temporary obstruction. When the routing for the eleventh net is complete, the temporary obstruction can be removed for routing of subsequent nets. This approach of routing nets in order of priority and using temporary obstructions enables spacing constraints and noise to be taken into account.
[0093]
[0094]
[0095] For net N
[0096] The result of steps Create 3D Graph step
[0097] 3 nets: N
[0098] Number of solutions for each net: N
[0099] In Create Intersection Graph with Weights step
[0100] In contrast, the present invention considers a set of solutions, rather than the single best solution, for each net. Each solution for a given net is determined independently of other nets that do not have noise interaction with the given net. As an initial condition, the set of feasible solutions is constrained by the total number of tracks available in view of obstructions, but not by other feasible solutions for other nets that may need to use those tracks. The best set of feasible solutions is determined to include only solutions that are feasible for the entire set of nets.
[0101] Based on these sets of solutions for each net, an intersection graph for the entire netlist is created. Each net is represented as an intersection graph node. If the gNodes forming the solutions intersect with solutions of another net, an undirected edge is formed between the two intersection graph nodes. These edges are weighted based on the interactions between the intersection graph nodes. In order to distinguish the nodes of gmap from intersection graph nodes, the term “gNode” or “node” is used for gmap nodes, and the term “intersection graph node” is used for the nodes of the intersection graph.
[0102]
[0103] In one embodiment, the edges are weighted by the percentage of solutions of two nets that intersect and the average probable congestion over intersecting gNodes. For example, the weight on the edge between two nodes (representing 2 different nets in the design) can be a function of the number of intersecting solutions and congestion, as shown in the formula below:
[0104] where
[0105]
[0106] Assume that one or more obstructions in a particular gNode of the grnap of
[0107] Typically, a path running through a gNode needs one track. However, a path may be wider, requiring two or more tracks, for example, to avoid noise. A gNode is considered to be congested when the value of congestion, as calculated above, is greater than one. Therefore, when a given gNode of
[0108] Using the percentage of solutions of two nets that intersect and the average probable congestion over intersecting gNodes, a single weight for each edge is determined. Calculations of weights for the intersection graph of
[0109] Referring to
[0110] Similarly, path t
[0111] Path t
[0112] Using these calculations, the average over the three intersecting pairs of the percentage of gNodes intersecting is calculated below:
[0113] This average is used as part of the formula for A
[0114] In the formula for A
[0115]
[0116] Ten gNodes are shared between nets N
[0117] Therefore, A
[0118] Using this result, the weight for the intersection graph edge between N
[0119] As shown in
[0120] To calculate the weight for the edge between nets N
[0121] Between nets N
[0122] Between nets N
[0123] Between nets N