WO2014078191A1 - Vérification de règle de conception multi-motif à faible surcharge - Google Patents
Vérification de règle de conception multi-motif à faible surcharge Download PDFInfo
- Publication number
- WO2014078191A1 WO2014078191A1 PCT/US2013/069140 US2013069140W WO2014078191A1 WO 2014078191 A1 WO2014078191 A1 WO 2014078191A1 US 2013069140 W US2013069140 W US 2013069140W WO 2014078191 A1 WO2014078191 A1 WO 2014078191A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- patterning
- edge
- islands
- corner
- violation
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
- G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
Definitions
- the invention relates to electronic design automation, and more particularly, to methods and apparatuses for rapid checking of design rules in a circuit layout.
- design rule clean layouts i.e., layouts that do not have design rule violations.
- Creating design rule clean layouts for digital circuit designs can be facilitated by the use of standard cell layouts as building blocks, and placement and routing tools that are extended to address the design rules.
- a conventional design rule check (DRC) system requires a powerful two- dimensional geometry engine which supports geometric operations such as Boolean operations like AND, OR, NOT, XOR; sizing operations like grow / shrink horizontal/vertical/diagonal; other operations like merge, shift, flip, cut, smooth; as well as all-angle geometry for true Euclidean distance calculations.
- Individual rules are typically checked individually over an entire layout region. This is also true of individual rule values of same rule (e.g. a check against the minimum value for a rule, and another check against a preferred value for the same rule). Each check basically runs an independent sequence of geometry operations, and numerous passes through the layout region are required.
- a conventional series of operations to check a minimum spacing rule in a Manhattan only layout might include steps of
- a conventional series of operations to check a minimum width rule in a Manhattan only layout might include steps of
- Double-patterning technology can be extended to triple-patterning technology, in which the features for a layer are apportioned onto three different masks, and so on. Apportionment onto higher numbers of masks is possible as well, and these techniques are sometimes referred to generally as "multi-patterning technology".
- the mask fabricator (which often is also the chip fabricator) uses its own algorithm to allocate shapes among the two or more masks.
- an allocation is not possible since a particular shape cannot be allocated to any of the masks without violating the spacing rules for features on that mask.
- these situations can be detected by a design rule checking algorithm which assigns different "colors" (corresponding to different lithographic masks) to any pair of shapes which are nearer to each other than the minimum multi-patterning spacing constraint for a single mask. Chains of such features are detected, each feature forcing the next feature to have a different color.
- each next feature is assigned the color opposite to the former feature in the chain.
- multiple colors are used, and it is sufficient that each next feature be assigned a different (also called non-conflicting) color.
- a system enables quick and accurate depiction to a user of multi-patterning layout violations so that they may be corrected manually and in real time, and without interfering with normal manual editing process.
- the system involves iteratively building a data structure (such as a forest structure) identifying a plurality of islands and a plurality of relationships among respective pairs of the islands, each of the relationships in a tree indicating that the pair of islands related by the relationship violates a multi-patterning spacing constraint.
- the system detects multi-patterning coloring violation among islands represented in the data structure, during the building of this data structure, and using the relationships that have been inserted into the data structure.
- the coloring violations preferably are reported to a user in the form of visual indications of the cycles among the inter-island multi- patterning candidate spacing violations, with the candidate spacing violations also themselves indicated visually and individually.
- the visual indications of the involved multi- patterning spacing violations are depicted with visual markers, the size of which depend upon the value of the multi-patterning spacing constraint being violated. In this way the user can see intuitively how to move the islands around, and in which directions and by what distance, in order to remove a multi-patterning spacing violation and thereby break the cycle.
- the system pre-populates a database identifying a plurality of multi- patterning candidate spacing violations before searching the database for multi-patterning coloring violations as above.
- At least some of the candidate violations can be detected and inserted into the database during a predecessor process of traversing the corners of shapes in a subject layout region, and for each corner, populating a layout topology database with values that depend on the respective corner locations.
- corner traversal is performed using scan lines scanning in at least two dimensions, and stopping only at corner positions.
- the layout topology database is populated with what information can be gleaned based on the current scan line.
- at least some types of the candidate violations are detected and inserted into the multi-patterning candidate spacing violations database.
- FIG. 1 shows a simplified representation of an illustrative digital integrated circuit design flow.
- Fig. 2 is a flow chart illustrating an example user experience when using an embodiment of the system as described herein.
- Fig. 3 is a flow chart of the overall system flow for an embodiment of the invention.
- Figs. 4, 7-10, 12-18, 20, 23-27, 29-34 and 36-38 are flow chart details of the overall system flow in Fig. 3.
- Fig. 5 illustrates part of a sweep x data structure referred to in Fig. 4.
- Fig. 5A illustrates a simple portion of a layout.
- Fig. 6 illustrates part of a sweep y data structure referred to in Fig. 4.
- Figs. 1 1A and 1 IB illustrate simple portions of a layout, highlighting convex and concave corners of a layout shape, respectively.
- Figs. 19A, 19B and 19C illustrate certain corner relationships between layout shapes.
- Fig. 19D illustrates two layout shapes for the purpose of a particular design rule check.
- Fig. 19E illustrates three layout shapes together forming an island.
- Figs. 21A-21E illustrate example visual indications of design rule violations and near- violations.
- Fig. 22 is a simplified block diagram of a computer system that can be used to implement software incorporating aspects of the present invention.
- Figs. 28A and 28B illustrate examples of editing edges determined from a selection command.
- Fig. 35 is a flow chart detail of step 1715, for a particular layer.
- Fig. 35 illustrates an example visual indication of a layout region showing DPT odd cycle violations.
- Fig. 1 shows a simplified representation of an illustrative digital integrated circuit design flow.
- the process starts with the product idea (step 100) and is realized in an EDA (Electronic Design Automation) software design process (step 1 10).
- EDA Electronic Design Automation
- the design can be taped-out (step 127).
- the fabrication process (step 150) and packaging and assembly processes (step 160) occur resulting, ultimately, in finished integrated circuit chips (result 170).
- the EDA software design process (step 1 10) is itself composed of a number of steps 1 12-130, shown in linear fashion for simplicity.
- the particular design might have to go back through steps until certain tests are passed.
- these steps may occur in different orders and combinations. This description is therefore provided by way of context and general explanation rather than as a specific, or recommended, design flow for a particular integrated circuit.
- step 1 12 System design: The designers describe the functionality that they want to implement, they can perform what- if planning to refine functionality, check costs, etc.
- Example EDA software products from Synopsys, Inc. that can be used at this step include Model Architect, Saber, System Studio, and Design Ware® products.
- Verilog code for modules in the system is written and the design is checked for functional accuracy. More specifically, the design is checked to ensure that it produces correct outputs in response to particular input stimuli.
- Example EDA software products from Synopsys, Inc. that can be used at this step include VCS, VERA, DesignWare®, Magellan, Formality, ESP and LED A products.
- Synthesis and design for test (step 116): Here, the VHDL/Verilog is translated to a netlist.
- the netlist can be optimized for the target technology. Additionally, the design and implementation of tests to permit checking of the finished chip occurs.
- Example EDA software products from Synopsys, Inc. that can be used at this step include Design Compiler®, Physical Compiler, DFT Compiler, Power Compiler, FPGA Compiler, TetraMAX, and DesignWare® products.
- Netlist verification (step 1 18): At this step, the netlist is checked for compliance with timing constraints and for correspondence with the VHDL/V erilog source code.
- Example EDA software products from Synopsys, Inc. that can be used at this step include Formality, PrimeTime, and VCS products.
- Design planning (step 120): Here, an overall floor plan for the chip is constructed and analyzed for timing and top-level routing.
- Example EDA software products from Synopsys, Inc. that can be used at this step include Astro and Custom Designer products.
- step 122 The placement (positioning of circuit elements) and routing (connection of the same) occurs at this step.
- Example EDA software products from Synopsys, Inc. that can be used at this step include the Astro, IC Compiler, and Custom Designer products. Aspects of the invention can be performed during this step 122.
- step 124) At this step, the circuit function is verified at a transistor level, this in turn permits what- if refinement.
- Example EDA software products from Synopsys, Inc. that can be used at this step include AstroRail, PrimeRail, PrimeTime, and Star- RCXT products.
- step 126 Physical verification: At this step various checking functions are performed to ensure correctness for: manufacturing, electrical issues, lithographic issues, and circuitry.
- Example EDA software products from Synopsys, Inc. that can be used at this step include the Hercules product. Aspects of the invention can be performed during this step 126 as well.
- Tape-out This step provides the "tape-out" data to be used (after lithographic enhancements are applied if appropriate) for production of masks for lithographic use to produce finished chips.
- Example EDA software products from Synopsys, Inc. that can be used at this step include the IC Compiler and Custom Designer families of products.
- Resolution enhancement This step involves geometric manipulations of the layout to improve manufacturability of the design.
- Example EDA software products from Synopsys, Inc. that can be used at this step include Proteus, ProteusAF, and PSMGen products.
- Mask data preparation This step provides mask-making-ready "tape- out” data for production of masks for lithographic use to produce finished chips.
- Example EDA software products from Synopsys, Inc. that can be used at this step include the CATS(R) family of products. Often this step includes partitioning or fracturing non-rectangular shaped islands into rectangles. An example method for performing such fracturing can be found in U.S. patent No. 8, 151,236, incorporated herein by reference.
- Relationships "among" shapes as used herein includes relationships about a single shape as well.
- multiple perpendicular scan lines are used to collect all the required data in one pass, so that the combinatorial checking on the data is virtually free.
- the pass speed is improved even further by stopping the scan lines only at corner positions. Note that scans in multiple directions can also be combined an a particular embodiment, so that the algorithm effectively jumps from corner to corner, considering each corner only once.
- edges of all shapes are oriented either horizontally or vertically.
- two scan lines would be used, one vertical (scanning horizontally) and one horizontal (scanning vertically).
- the scan line stops only at endpoints that it encounters of the edges that are oriented perpendicularly to the scan line.
- the vertical scan line for example, stops only at endpoints of horizontally oriented edges, and the horizontal scan line stops only at endpoints of vertically oriented edges.
- edges can also be oriented at a 45 degree angle or a 135 degree angle. In this case four scan lines can be used, each scanning in a direction perpendicular to a respective one of the orientations in which edges are included in the layout.
- corner data structures While scanning the layout region in each particular direction, "corner" data structures are populated for each corner, with whatever information is easily obtainable from the edge endpoints at the corner, and from other edges that intersect the same scan line. The combined information collected from all the scan lines as they encounter the corner, is sufficient to fully populate the corner data structure.
- the shapes in the derived layers never need to be explicitly derived in embodiments herein. Instead, information about their shape edges is inserted into the corner data structures for physical corners that they intersect. While such information can be said to "describe" the derived shapes, only information at these physical corners need be calculated, since most of the derived layer rules are defined on corners of virtual shapes, and these corners all derive from at least one corner position of an ancestor (parent, grandparent, etc.) physical layer.
- the X,Y position of a derived corner might not coincide with a single physical corner, but if not, then the X position derives from one physical corner and the Y position derives from another physical corner.
- Other data structures are also populated during a scan, such as information about an island (such as its area), and information about vias.
- design rule checking is accomplished merely by comparing the numeric values in the layout topology database with the constraint values in the design rule data set. Unlike geometry engine approaches, the approach described herein can be performed extremely quickly, often within milliseconds, allowing for design rule checking in real time, immediately as the layout designer makes each alteration in the layout.
- minSpacing For example, if minSpacing is supported already, then minSameNetSpacing and minNotchSpacing can be supported for free (no runtime overhead). If minArea is supported already, then minRectArea can be supported for free (no runtime overhead). If ID spacing is supported already, then ID extension can be supported easily regardless of whether they share the same "width". It can be seen that the more rules that are to be checked, the greater the likelihood that the next "new rule" can be supported for free or with a little extra overhead.
- FIG. 2 illustrates an example user experience when using an embodiment of the system as described herein.
- the flow chart of Fig. 2 occurs within step 122 (Fig. 1).
- the user develops a preliminary layout from a circuit design.
- circuit design refers to the gate or transistor level design, before layout.
- the circuit design is often represented internally to the system in a netlist file.
- the layout is represented internally to the system in a geometry file which defines, among other things, all the shapes to be formed on each mask that will be used to expose the wafer during fabrication.
- the geometry file can have any of several standard formats, such as GDSII, OASIS, CREF, and so on, or it can have a non-standard format.
- the file describes the layout of the circuit design in the form of a mask definition for each of the masks to be generated. Each mask definition defines a plurality of polygons.
- step 212 the user views the layout on a computer monitor.
- the user typically selects a region of the layout for magnified viewing, so that only that region is visible on the monitor.
- step 214 the user, using a mouse or other pointing device, selects a group of one or more shapes from the visible layout region and drags them to a different location.
- step 216 as the user drags the shapes, the system shows on the monitor any design rule violations in real time.
- Design rules are a set of rules that are provided by a semiconductor manufacturer, which specify minimum or maximum geometric relationships among the features of a layout.
- a semiconductor manufacturing process always has some variability, and the purpose of design rules is to ensure that sufficient margin is included in the layout geometries to minimize the likelihood that the variability will result in loss of yield.
- a set of design rules is specific to a particular
- Design rules range from very simple to very complex. Most, however, can be framed as a set of one or more constraint parameters, and a set of one or more constraint values for the constraint parameters. (As used herein, a "parameter” is merely a slot or container for one or more values. It is not itself a value.)
- a simple design rule is minimum edge-to- edge spacing (sometimes called minSpacing). This rule has one parameter (edge-to-edge spacing), and one value which is the minimum spacing allowed by the rule between edges in a single layer (physical or derived) of the layout.
- Many design rules specify more than one value for a particular parameter, such as an "absolute minimum” value and a "preferred minimum” value.
- a "physical" layer is one for which geometries are specified in the geometry file.
- An End-of-line spacing rule specifies the minimum spacing between the end of a line and its neighboring geometry. Again, this rule can be defined on any layer, including a derived layer.
- the constraint applies only if the width of the wire is less than a specified value, eolWidth.
- the constraint applies when any geometry occurs within a region defined by the minimum spacing, where the region includes the distance from each side of the wire. This distance is referred to as a lateral verification distance eolWithin.
- the constraint applies only if one parallel edge is within a specified rectangular region from the corners of the wire, or it applies only if two parallel edges are within a specified rectangular region from the corners of the wire.
- parWithin and parSpace These parameters are referred to as parWithin and parSpace.
- the constraint applies when no parallel edges occur within the region defined by the minimum spacing, or one parallel edge occurs within the region defined by the minimum spacing, or two parallel edges.
- This rule has the spacing parameter itself, eolSpacing, as well as the following parameters: eolWidth, eolWithin, parWithin and parSpace.
- Design rules can also specify constraints on edges in different layers.
- MinDualExtension layer pair constraint specifies the minimum distance a shape on one layer must extend past a shape on a second layer.
- the first or second layer or both or neither can be derived layers.
- This rule has one parameter for extensions in the horizontal direction and another parameter for extensions in the vertical directions.
- This rule can also specify additional pairs of parameters, keyed by wire width. Other more complex parameters are also available for this rule, including optional parameters to qualify when the rule applies.
- Design rule sets also often include area rules, such as the minimum area of an island or a hole in a layer. They can also include via rules, which specify constraints on geometric dimensions in the "cut” layer (also sometimes called the via layer), the island in the "cover” layer above the via, and the island in the "cover” layer below the via. These rules, too, can be defined on derived layers.
- a derived layer can be defined by specifying a name for the derived layer, a layer number, the parent layers for the particular derived layer, and an operator for calculating the derived layer as a function of the parent layers. In one embodiment, only one or two parent layers can be specified, meaning a derived layer must have no more than two parent layers. In another embodiment, more than two parent layers can be specified.
- the derived layer operator can in one embodiment be a simple Boolean logic function (And, Or, XOR, or NOT). In another embodiment, the derived layer operator can be a more complex Boolean logic expression such as 'Layerl AND (Layer2 OR Layer3)'.
- parent(s) of a derived layer need not be physical (layout) layers; one or more of them can be other derived layers, thereby allowing a nesting of derived layers.
- a "parent" layer refers to an immediate parent layer. Grandparents and other ancestors (including parents) are referred to herein as "ancestor" layers.
- each derived layer has one or more ultimate ancestor which is a physical layer, though the number of derived layers in between the particular layer and the ancestor physical layer on one side of the family tree may be different from the number on another side of the family tree.
- a first derived layer Dl may be dependent upon physical layers P I and P2
- a second derived layer D2 may be dependent upon D l and physical layer P3.
- one ancestor physical layer P3 of derived layer D2 has zero derived layers in between, whereas ancestor physical layers PI and P2 each have one derived layer in between the layer D2 and the respective physical layer PI or P2.
- the "rank" of a particular derived layer is equal to the maximum of the number of derived layers to and including the particular derived layer from each of its ancestor physical layers.
- the rank of a physical layer is considered to be zero, and the rank of a particular derived layer can be calculated as one plus the maximum rank of all its parent layers.
- the design rules that reference derived layers are of many of the same kinds as those that reference only physical layers, and are expressed in the design rule set in the same way. For example, they can be framed as a set of one or more constraint parameters and one or more constraint values for the constraint parameters. They can include rules that apply to shapes on the particular derived layer (such as minimum edge-to-edge spacing and end-of-line spacing), as well as rules that specify constraints among different layers (such as MinDualExtension). Rules that reference more than one layer are not restricted to referencing only physical layers or only derived layers; then can also reference layers of both kinds, such as the minimum extension of a shape in a derived layer relative to a shape in a physical layer.
- a design rule set may include a rule that sets a minimum longitudinal spacing between transistor gate conductors.
- a transistor gate conductor can be identified as the geometric intersection where a polysilicon line crosses a diffusion region.
- the design rule set may specify a derived layer G defined as LI AND L2, where LI is layer defining the polysilicon lines, and L2 is the layer defining the diffusion implants.
- the derivation operator for derived layer G is "LI AND L2”.
- the design rule set specifies a design rule that references layer G, recites a parameter for specifying the minimum spacing between shapes on layer G, and recites a value for that parameter.
- a design rule "references" a particular derived layer typically by identifying the derived layer.
- a minimum extension rule which specifies the minimum distance by which a shape in a derived layer must extend beyond the edge of a shape in a physical layer, or vice-versa, references both layers that the rule constrains (including the derived layer) by explicitly identifying both layers (including the derived layer).
- a derivation operator "references" a particular layer by identifying it as one of its parent layers. In the simplified example above, the derivation operator for layer G "references" both layers LI and L2.
- design rule data set does not imply any particular organization. For example, it includes maps, multimaps, trees, as well as ordinary tables, and other data organizations as well. The term also does not necessarily imply any unity or regularity of structure. For example, two or more separate data sets, when considered together, still constitute a "data set” as that term is used herein.
- database and “data structure” are also intended to have the same meaning as “data set”.
- the design rule data set is sometimes referred to herein as the relationship master.
- a class definition for an example relationship master, in pseudo-C++, is as follows. In order to simplify the discussion, only some of the parameters are shown.
- a relationship_master object exists for each layer on which design rules are defined, including derived layers. class relationship_master
- layer_number m_layer // layer number for this instantiation std : : set ⁇ layer_number> m_layers_above; // identification of layers above current layer
- std map ⁇ layer_number , int> m_common_run_clearance_vector_map;
- std set ⁇ layer_number> m_overlap_layers ;
- std set ⁇ layer_number> m_dual_cover_layers
- relationship master also includes a plurality of DPT rules. Among these are the following: width_threshold: if an edge is longer than this value, then call it a side_edge; otherwise, call it end_edge;
- end end spacing the DPT minimum spacing between two end edges; smaller than this value, this edge-edge relationship becomes a DPT spacing candidate and can be used to form a cycle;
- end side spacing the DPT minimum between an end edge and a side edge; smaller than this value, this edge-edge relationship becomes a DPT spacing candidate and can be used to form a cycle;
- side_side_spacing the DPT minimum between two side_edges; smaller than this value, this edge-edge relationship becomes a DPT spacing candidate and can be used to form a cycle;
- corner corner spacing the DPT minimum between two corners; smaller than this value, this edge-edge relationship becomes a DPT spacing candidate and can be used to form a cycle.
- a "DPT spacing candidate” can be either a DPT edge- edge spacing candidate or a DPT corner-corner spacing candidate. Other types of candidates are also possible in different embodiments.
- a "DPT edge-edge” spacing candidate can be either a DPT end-end spacing candidate, a DPT end-side spacing candidate, or a DPT side-side spacing candidate. Again, other types of edge-edge spacing candidates are also possible in different embodiments. These terms are sometimes abbreviated herein, by omitting "spacing" or "DPT” or both.
- Fig. 3 is a flow chart of the overall system flow for real time visual layout design rule checking. The reader will recognize that the flow can be easily modified for use as a batch job instead. As with all flowcharts herein, it will be appreciated that many of the steps in Fig. 3 can be combined, performed in parallel or performed in a different sequence without affecting the functions achieved. In some cases a re-arrangement of steps will achieve the same results only if certain other changes are made as well, and in other cases a re-arrangement of steps will achieve the same results only if certain conditions are satisfied. However, as described in detail hereinafter, there are certain steps which are performed prior to other steps, in order to obtain benefits of the invention.
- the relationship master data set is built from a set of design rules for the target fabrication process. This can be done manually, or in some embodiments it can be automated. It is provided to the DRC system either electronically or via a computer readable medium, and it is stored accessibly to the system on a computer readable medium.
- a computer readable medium is one on which information can be stored and read by a computer system. Examples include a floppy disk, a hard disk drive, a RAM, a CD, a DVD, flash memory, a USB drive, and so on.
- the computer readable medium may store information in coded formats that are decoded for actual use in a particular data processing system.
- a single computer readable medium may also include more than one physical item, such as a plurality of CD ROMs or a plurality of segments of RAM, or a combination of several different kinds of media.
- a computer readable medium excludes transitory media on which content is represented on a signal during propagation.
- the system displays on a monitor the layout or layout region selected by the user.
- region refers to a portion as viewed from above, including whatever layers are pertinent.
- the entire layout is also a "region”.
- the user can manipulate (edit) objects in the layout using familiar editing commands, such as keyboarder mouse-based behaviors recognized by the system. For example, the user can select a group of objects by clicking and dragging the mouse pointer to form a rectangle around them. Only objects on physical layers can be selected; derived layers are created only to facilitate the specification of certain error checking rules and are not visible to the user editing a layout. The user can then move the objects as a group by clicking within the rectangle and dragging it.
- Editing commands are recognized by the operating system and delivered to the application program by way of events in a well known manner. For example, user dragging of a group of objects might cause a series of events to be delivered to the application program, one after each movement by some number of pixels, or some number of milliseconds.
- the application program receives these events and determines for itself what the event represents.
- Step 312 can include a conventional event loop, whereby the application program repeatedly checks for new events. When it receives an event, step 312 determines that it represents a layout editing command such as user dragging of a group of shapes across the layout.
- step 313 the system determines the type of the editing command.
- the dragging behavior is preceded by one or more predecessor behaviors which indicate a predecessor command which indicates what to do in response to the dragging behavior.
- One predecessor command for example, can involve selection of a group of one or more editing shapes to be moved to a different position in response to dragging behavior.
- Another command can involve selection of an edge or a corner, so that shape(s) will be stretched or contracted in response to dragging behavior.
- Yet another command known sometimes as an array copy, can involve selection of one or more shapes to be copied, with ever increasing spacing among the copies, in response to dragging behavior.
- all of the predecessor commands relevant to the embodiment of Fig. 3 include an aspect of object selection, where the object(s) can include shapes, edges or corners or other geometries in the layout.
- step 313 if the current editing command includes neither object selection nor dragging, then it is handled in a step 330.
- the operation of step 330 is not important for an understanding of the invention.
- step 315 the system populates edge speed ratios for each edge of each selected shape based on the editing command.
- the edge speed ratio is the ratio of edge movement distance per unit of cursor movement distance, as appropriate for the current selection command. Typically this ratio is 0 or 1 , but could be anything from negative infinity to positive infinity, and need not necessarily be integral in all embodiments. Speed ratios can be better understood by reference to the illustrations in Figs. 28A and 28B (collectively Fig. 28).
- Fig. 28A illustrates two shapes 2810 and 2812. Shape 2812 has been selected for a simple drag operation. For a simple drag, all edges of the shape move in the layout by the same distance that the cursor moves during the drag. Thus the speed ratio for all edges on shape 2812 is 1. In Fig. 28B, corner 2814 of shape 2816 has been selected. The subsequent drag operation will either stretch or contract shape 2816.
- Edge 2820 a horizontal edge, will move vertically in the layout by the same distance that the cursor moves vertically during the drag (upward or downward), so the speed ratio for edge 2820 is 1.
- edge 2822 a vertical edge, will move horizontally in the layout by the same distance that the cursor moves horizontally during the drag (leftward or rightward), so the speed ratio for edge 2822, too, is 1.
- Edges 2824 and 2826 will not move during the drag, so their speed ratio is 0.
- Other command are more complicated, but can still be modeled with edge speed ratios. For example, for a 3x4 array copy of a source shape, all the edges of three copies of the shape will remain stationary during the drag and therefore have speed ratio 0.
- All the edges of the next three copies of the shape have a speed ratio of 1. All the edges of the next three copies have a speed ratio of 2, and all the edges of the final three copies have a speed ratio of 3. It is noteworthy that all the speed ratios are determinable from the command itself. The direction and extent of all the movements, which will not be known until the drag behavior commences, are not necessary to determine the speed ratios.
- a derived edge For a derived edge, its speed ratio is determined from its ancestor physical edge(s). If all the physical ancestor edges having the same speed ratio A, then the derived edge will have the same speed ratio A. If some of the physical ancestor edges having different speed ratios, that implies that the derived geometries are about to experience a sudden change. In this case the system forces the speed ratio to zero for the derived edge. In practice, most derived edges have only a single ancestor physical edge, so these kinds of sudden derived geometry changes are infrequent. In addition, derived layers are mostly defined on lower physical layers, practically all encapsulated inside a P-CELL, so they tend to move together. That is, all the ancestor physical edges tend to have the same speed ratios.
- the ancestor physical edges are obtained from the 'current edge group' as described in conjunction with steps 2422 of Fig. 24 and 2622 of Fig. 26.
- the system In addition to the Boolean status vector of derived edges, the system also caches the derived speed ratio (a single float value) for this purpose.
- the system will use the edge speed ratios to pre-calculate values indicating bounds imposed by the design rules on the distance in various directions that the selected objects can be moved.
- these design rule bounds are indicated by left, right, upward, downward and radial distances that the selected objects can be moved before one of the design rules will be violated.
- they are represented by a distance in each direction that the cursor can be moved before one of the design rules will be violated during a drag of the selected objects. This latter representation is sometimes referred to herein as a 'slack' distance, and is the one used in the embodiment described herein.
- the bounds are represented by the final bounding position in the layout to which the selected objects can be moved before one of the design rules will be violated. Other ways of indicating these bounds will be apparent.
- the set of design rules enabled to impose bounds in DRC assist mode need not include all the design rules. Fewer than all can be included in such a set in a particular embodiment.
- linear bounds in the four linear directions
- corner bounds and conditional bounds.
- the linear design rule bounds are calculated in the present embodiment by calculating them for each edge and successively and retaining only the most restrictive bound in each direction at each iteration.
- the corner and conditional bounds are applied later to further restrict the overall bounds to avoid violating any of the enabled design rules by any of the objects in the selection.
- Linear bounds and corner bounds need not be calculated immediately sequentially, and in present embodiment they are not. Rather, each type of bound is calculated where most cost-effective to calculate it.
- step 316 the system collects all the surrounding shapes, which in a click-and- drag command, are the shapes near the new position of the editing shapes. Again, only real shapes, not those on derived layers, are included. A selection algorithm is used here which errs on the side of collecting more shapes than necessary, since while inclusion of additional shapes could impact performance, the exclusion of relevant shapes will impact accuracy.
- One efficient way to collect appropriate shapes is to create a bounding box around the editing shapes in their new position, then extend the box in all four directions by 1.5 times the worst case minimum spacing or the worst case minimum inter-layer clearance, whichever is larger. All shapes at least partially overlapping with the expanded bounding box, in any layer, are then included in the result. A conventional range search engine can be used for this step. Geometry processing is not needed.
- horizontal and vertical scan line trees sweep x and sweep y are built from all of the collected shapes, including both the editing shapes and the static shapes.
- the horizontal scan line tree sweep x is a map of particular vertical scan lines, and will be scanned horizontally across the selected layout region, from left to right.
- the vertical scan line tree sweep_y is a map of particular horizontal scan lines, and will be scanned vertically across the selected layout region, from bottom to top.
- Fig. 4 is a flow chart of step 318, and as can be seen, it includes a step 410 of building sweep_x and another step 412 of building sweep_y.
- Fig. 5 illustrates pertinent parts of the sweep x data structure 510. It contains two tree data structures, called enter_tree 512 and exit_tree 514.
- Enter-tree is a map of the vertical scan lines, and the vertical position on such scan lines, of the left-hand endpoints of the horizontal edges.
- Exitjxee is a map of the vertical scan lines, and the vertical position on such scan lines, of the right-hand endpoints of the horizontal edges.
- Map 516 is an expansion of exitjxee 514; enterjxee 512 has the same structure and is therefore not shown in Fig. 5. It comprises key-value pairs, in which all the keys indicate horizontal positions and all the values are structures of class 'edge-tree', and represent vertical scan lines.
- a "map" is a standard structure which allows only one entry for each unique key. Thus exitjxee organizes all the vertical scan lines, and there is one vertical scan line for each horizontal position included. Note that by representing only specific vertical scan lines, the horizontal scanning algorithm will be able to jump over all horizontal positions that do not contain any corners.
- Multimap 518 is an expansion of one of the edge tree structures 520.
- the other edge_trees have the same structure and therefore are not shown in Fig. 5.
- Edge_tree 520 also comprises key-value pairs, except that as a "multimap", multiple entries are allowed having the same key.
- the keys indicate vertical positions, and all the values are structures of class 'edge', representing an edge having an endpoint on the current vertical scan line. Since this is part of the exitjxee 514, only those horizontal edges having right-hand endpoints at this horizontal position are included in edge_tree 520.
- edges having left- hand endpoints at a given horizontal position are included in the edge tree for the vertical scan line at the given horizontal position.
- a multimap is used here rather than a map, in order to accommodate multiple edges having a right-hand endpoint at the same x and y position in the layout region. Multiple edges are possible because some could be on different layers in the layout, or some could even be superimposed on each other in a single layer. Again, these are physical edges only; edges located in derived layers do not have their own entries. In another embodiment, however, derived layer edges can be given their own edge entries in multimap 518.
- Block 522 is an expansion of one of the edge structures 524.
- the other edges have the same structure and therefore are not shown in Fig. 5.
- Edge 524 contains information about a particular horizontal edge of one of the shapes in the layout region, and also acts as a holding area for certain information developed during the scan as described hereinafter. At least the following information is included:
- edge ID an identifying value for the edge
- layer ID an indication of the layer number on which the edge lies
- edge start (x,y) the x and y coordinates of the left-hand endpoint of the edge
- edge end (x,y) the x and y coordinates of the right-hand endpoint of the edge
- quadrant depth vector four slots indicating how many shapes overlap each other in the current layer at the right-hand endpoint of the edge (for exiting edges) or the left- hand endpoint (for entering edges) or the intersection point of the edge and the vertical scan line (for all other edges in the current scan line), in each of the four quadrants centered at that point (for an embodiment that supports 45 degree geometries, this is an octant depth vector containing eight slots);
- neighbor map a map of neighboring edges;
- derived edge status map 526 a map of edge status at the current X_pos, y_pos for various derived layers.
- Block 528 is an expansion of derived edge status map 526. It contains information about horizontal edges in some of the derived layers, which edges terminate at or pass through the current vertical scan line at the current vertical position on that scan line. Each entry contains the derived layer ID, in association with a status vector for the edge.
- the status vector for a derived edge is similar to a quadrant depth vector (discussed later), in that it contains four values indicating status in the four respective quadrants centered at the current x- and y-position.
- each entry of the vector can contain only a 1 or a 0: a 1 indicates that the current derived layer does have an island in that quadrant, and a 0 indicates that it does not (or vice- versa).
- a 1 indicates that the current derived layer does have an island in that quadrant, and a 0 indicates that it does not (or vice- versa).
- Fig. 5A illustrates the functioning of a derived layer status vector.
- the figure illustrates a vertical scan line 530 and three vertical positions numbered, from bottom to top, 532, 534 and 536.
- a derived shape 538 has its right-hand edge aligned with vertical scan line 530, and its bottom and top edges located at vertical positions 532 and 536, respectively.
- quadrant depth vectors the quadrants in a derived layer status vector are numbered counterclockwise beginning in the top-right quadrant.
- the status vector at vertical position 532 is (0, 1,0,0), indicating that the y-position 532 on the vertical scan line 530 is the lower-right corner of a shape.
- the status vector at vertical position 536 is (0,0, 1,0), indicating that the y- position 536 on the vertical scan line 530 is the upper-right corner of a shape.
- the status vector at vertical position 534 is (0, 1,1,0), indicating that the shape extends to the left and above and below the y-position 532 on the vertical scan line 530.
- a status vector having one T and three O's indicates a convex corner of the derived shape
- a status vector having one '0' and three Ts indicates a concave corner of a derived shape.
- a status vector of (0,0, 1,1), (0, 1, 1,0), (1, 1,0,0) or (1,0,0, 1) indicates a non-corner edge of a derived shape.
- a status vector of (0,1,0, 1) or (1,0, 1,0) indicates two derived shapes meeting at a common corner; a situation that will usually violate design rules. Note that only edges and corners of a derived shape appear in derived edge status maps.
- the status vector at a particular x/y position for a derived layer is (0,0,0,0), then this derived layer has no shape at that position. If it is (1, 1, 1,1), then the current x/y position is inside a derived shape. In either case, no entry is made for the current derived layer in the derived edge status map 526.
- each x/y position of corners on physical layers may be represented numerous times in the Sweep x data structure. It may be represented in both Enter_tree 512 and Exit_tree 514. It might also be represented at multiple physical layers (multiple entries in block 518 all having a common y_pos key). Because many of the derived edges at a particular x/y position can be stored in a single map 526, there may be multiple edge data structures 522 which would serve as an appropriate place to store each derived edge status map 526. Different embodiments can implement different conventions on this point.
- the status vectors for all the derived edges on a particular derived layer are inserted into an edge data structure for the "first" physical layer that is one of its physical ancestors.
- the "first" physical layer is defined as whichever layer is used to break a tie when vertical positions of edges are the same in the current vertical scan line. In the embodiment of Fig. 5, it is the physical layer with the smallest layer number.
- Fig. 6 illustrates pertinent parts of the sweep y data structure 610.
- sweep_y contains two tree data structures, called enterjxee 612 and exitjxee 614.
- enter-tree is a map of the horizontal scan lines, and the horizontal position on such scan lines, of the lower endpoints of the vertical edges.
- Exitjxee is a map of the horizontal scan lines, and the horizontal position on such scan lines, of the upper endpoints of the vertical edges.
- no additional entries are provided in the map to account for endpoints of edges on derived layers.
- Map 616 is an expansion of exitjxee 614; enter tree 612 has the same structure and is therefore not shown in Fig. 6. It comprises key-value pairs, in which all the keys indicate vertical positions and all the values are structures of class 'edge-tree', and represent horizontal scan lines. Thus exitjree organizes all the vertical scan lines, and since exitjree is a map, there is only one horizontal scan line for each vertical position included. Note that by representing only specific horizontal scan lines, the vertical scanning algorithm, like the horizontal scanning algorithm, will be able to jump over all vertical positions that do not contain any corners.
- Multimap 618 is an expansion of one of the edge tree structures 620.
- the other edgejrees have the same structure and therefore are not shown in Fig. 6.
- Edgejree 620 also comprises key-value pairs, except that as a "multimap", multiple entries are allowed having the same key.
- the keys indicate horizontal positions, and all the values are structures of class 'edge', representing an edge having an endpoint on the current horizontal scan line. Since this is part of the exitjree 614, only those vertical edges having upper endpoints at this vertical position are included in edgejxee 620.
- edges having lower endpoints at a given vertical position are included in the edgejxee for the horizontal scan line at the given vertical position.
- these are physical edges only; edges located in derived layers do not have their own entries.
- derived layer edges can be given their own edge entries in multimap 618.
- Block 622 is an expansion of one of the edge structures 624.
- the other edges have the same structure and therefore are not shown in Fig. 6.
- Edge 624 contains information about a particular vertical edge of one of the shapes in the layout region, and also acts as a holding area for certain information developed during the scan as described hereinafter. At least the following information is included:
- edge ID an identifying value for the edge
- layer ID an indication of the layer number on which the edge lies
- edge start (x,y) the x and y coordinates of the lower endpoint of the edge
- edge end (x,y) the x and y coordinates of the upper endpoint of the edge
- quadrant depth vector four slots indicating how many shapes overlap each other in the current layer at the lower endpoint of the edge (for exiting edges) or the upper endpoint (for entering edges) or the intersection point of the edge and the horizontal scan line (for all other edges in the current scan line), in each of the four quadrants centered at that point (for an embodiment that supports 45 degree geometries, this is an octant depth vector containing eight slots);
- derived edge status map 626 a map of edge status at the current X_pos, y_pos for various derived layers.
- Block 628 is an expansion of derived edge status map 626. It contains information about vertical edges in some of the derived layers, which edges terminate at or pass through the current horizontal scan line at the current horizontal position on that scan line. Each entry contains the derived layer ID, in association with a status vector for the edge. Like for derived edge information stored in the Sweep_x data structure, the status vectors for all the vertical derived edges on a particular derived layer are inserted into an edge data structure 624 for the smallest numbered physical layer that is one of the ancestors of the particular derived layer. [00104] As can be seen, sweep_x contains only horizontal edges (physical and derived) and sweep_y contains only vertical edges (physical and derived).
- each data structure is perpendicular to the edges that will be encountered during a traversal of the structure.
- two more sweep data structures are present as well: one containing scan lines oriented parallel to one diagonal and the other containing scan lines oriented parallel to the other diagonal.
- Each data structure includes only edges oriented perpendicularly to its scan lines, so again, a scan line sweep of the scan lines in each structure will encounter only those edges oriented perpendicularly to the scan line.
- Fig. 7 is a flow chart detail of a method 410 for building the horizontal scan line tree sweep_x.
- a list is formed of all the horizontal edges of all shapes in the selected region, including editing shapes. Only shapes on physical layers are considered in Fig. 7; derived layer information is not yet inserted.
- the list is sorted by the horizontal position of all the left-hand endpoints of the edges. There may be multiple edges whose left-hand endpoints have the same horizontal position, and these would be grouped together in the sort.
- enter tree is created for sweep x. This is accomplished by, at each unique horizontal position represented in the sorted list (step 716), creating a scan line multimap (of class 'edgejxee') for a vertical scan line at that horizontal position (step 718).
- the scan line multimap at that horizontal position is populated with all the edges (structures of class 'edge') in the list having left-hand endpoints at the current horizontal position.
- step 710 After enter tree has been created and populated for sweep x, the list from step 710 is re-sorted by horizontal position of all the right-hand endpoints of the edges. Again, there may be multiple edges whose right-hand endpoints have the same horizontal position.
- exitjxee is created for sweep_x. Similarly to the creation of enterjxee, this is accomplished by, at each unique horizontal position represented in the sorted list (step 726), creating a scan line multimap (of class 'edgejxee') for a vertical scan line at that horizontal position (step 718).
- step 720 the scan line multimap at that horizontal position is populated with all the edges (structures of class 'edge') in the list having right-hand endpoints at the current horizontal position.
- Fig. 8 is a flow chart detail of a method 412 for building the horizontal scan line tree sweep_y.
- a list is formed of all the vertical edges of all shapes in the selected region, including editing shapes.
- the list is sorted by the vertical position of all the lower endpoints of the edges. Again, there may be multiple edges whose lower endpoints have the same vertical position, and these would be grouped together in the sort.
- enter tree is created for sweep y. This is accomplished by, at each unique vertical position represented in the sorted list (step 812), creating a scan line multimap (of class 'edgejxee') for a horizontal scan line at that vertical position (step 818).
- the scan line multimap at that vertical position is populated with all the edges (structures of class 'edge') in the list having lower endpoints at the current vertical position.
- step 810 After enter tree has been created and populated for sweep y, the list from step 810 is re-sorted by horizontal position of all the upper endpoints of the edges. Again, there may be multiple edges whose upper endpoints have the same vertical position.
- exitjxee is created for sweep_y. As before, this is accomplished by, at each unique vertical position represented in the sorted list (step 822), creating a scan line multimap (of class 'edgejxee') for a horizontal scan line at that vertical position (step 818).
- step 820 the scan line multimap at that vertical position is populated with all the edges (structures of class 'edge') in the list having upper endpoints at the current vertical position.
- Fig. 9 is a flow chart of step 320, and as can be seen, it includes a step 910 of scanning the horizontal scan tree sweep_x and another step 912 of scanning the vertical scan tree sweep_y.
- Vertical linear design rule bounds for DRC assist are calculated during step 910
- horizontal linear design rule bounds are calculated during step 912.
- the vertical scan can be performed first and the horizontal scan thereafter.
- the two scans can be performed in an alternating manner.
- the two scans are independent of each other, and discover different items of information for populating the corner data structures, the two scans are performed simultaneously on two different processor cores.
- the two scans are coordinated with each other so that they proceed from corner to corner, with all data for a given corner populated before jumping to the next corner.
- the two scans are said to be performed "concurrently" with each other if they overlap in time in such a way that corner data is extracted from at least one endpoint of at least one horizontal edge before corner data is extracted from at least one endpoint of at least one vertical edge, and corner data is extracted from at least one endpoint of at least one vertical edge before corner data is extracted from at least one endpoint of at least one horizontal edge.
- Fig. 10 is a flow chart of step 910, for scanning the horizontal scan tree sweep x.
- step 1008 the vertical scan line edge-tree multimap object current scan line is created.
- step 1010 current scan line traverses both enter tree and the exit tree together so that the vertical scan lines from both trees are considered in monotonically varying sequence, left to right. Since these two trees contain only those vertical scan lines on which an endpoint of a horizontal physical edge lies, intervening vertical scan lines are skipped during this scan. The existence of derived edges does not alter this plan since it is assumed for this part of the algorithm that all derived edge endpoints are co-located with (coincident with) at least one physical edge endpoint.
- the current vertical scan line is maintained in a multimap object of class edge_tree, having the structure of edge_tree 520 (Fig. 5). It has a current horizontal scanning position, and stores the information shown in block 522 for each horizontal edge that intersects a vertical line at the current horizontal scanning position.
- step 1012 current scan line is updated by adding all horizontal edges having a left-hand endpoint located at the current horizontal scan position.
- the quadrant depth vector (Fig. 5) for each edge in the current vertical scan line multimap is updated.
- Figs. 1 1A and 1 IB illustrate simple portions of a layout.
- Fig. 1 1A highlights a convex corner 11 14, whereas Fig. 1 IB highlights a concave corner 1 134.
- 1 110 is the current vertical scan line and 1 112 is a particular edge being considered.
- Edge 1 112 is represented in the enter tree and in current scan line, and has a left-hand endpoint 1 114 located on vertical scan line 11 10.
- Edge 11 12 also forms the upper edge of a rectangle 11 16.
- Four other rectangles are also shown in the figure, 11 18, 1 120, 1 122 and 1 124.
- Four quadrants, centered at endpoint 1 114 and numbered I, II, III and IV for purposes of the present discussion, are also shown in Fig. 11A.
- Fig. 1 IB 1130 is the current vertical scan line and 1 132 is a particular edge being considered.
- Edge 1 132 is represented in the enter tree, and has a left-hand endpoint 1 134 located on vertical scan line 1 110.
- Edge 1 132 also forms the upper edge of a rectangle 1 136.
- Four other rectangles are also shown in the figure, 1 138, 1140, 1 142 and 1144.
- the four quadrants I, II, III and IV, centered at endpoint 1134, are also shown in
- the quadrant depth vector indicates the number of shapes in a particular layer that border a particular edge endpoint in each of the four quadrants centered at that endpoint.
- quadrants I, II and III contain no shapes that border endpoint 1 114
- quadrant IV contains one such shape 1 116.
- the quadrant depth vector at endpoint 1 114 is (0,0,0,1).
- quadrant II contains no shapes that border endpoint 1134
- quadrants I, III and IV each contain one such shape.
- the quadrant depth vector at endpoint 1 134 is (1,0, 1,1).
- step 1014 the updating of the quadrant depth vector for an edge in the enter_tree (i.e. an edge whose left-hand endpoint lies on the current vertical scan line), involves incrementing the value for either quadrant I or quadrant IV by one.
- the value for quadrant I is incremented if the "edge against scan line?"
- Boolean for the edge 1 112 indicates True (i.e. the edge is the bottom edge of a shape), or the value for quadrant IV is incremented if the "edge against scan line?”
- Boolean for the edge 11 12 indicates False (i.e. the edge is the top edge of a shape).
- the updating of the quadrant depth vector for an edge in the exit tree i.e.
- an edge whose right-hand endpoint lies on the current vertical scan line involves decrementing the value for either quadrant I or quadrant IV by one.
- the value for quadrant I is decremented if the "edge against scan line?" Boolean for the exiting edge indicates True (i.e. the edge is the bottom edge of a shape), or the value for quadrant IV is decremented if the "edge against scan line?" Boolean for the exiting edge indicates False (i.e. the edge is the top edge of a shape). It can be seen that the quadrant depth vector increments quantities as the vertical scan line encounters shapes while moving left-to-right across the region. It decrements quantities as the scan line moves past shapes.
- step 1015 the derived layer information is populated for each derived layer having an edge intersecting the current scan line.
- Fig. 24 is a flow chart detail of step 1015. Referring to Fig. 24, in step 2410, a loop is begun to traverse through all the y_positions, bottom to top, at which one or more physical horizontal edges intersect the current vertical scan line. These edges are collinear with each other, in plan view. Some may be on different layers, and some may occupy the same layer and be superimposed on each other. This group of collinear edges intersecting the current vertical scan line at current y _position is sometimes referred to herein as an "edge group".
- step 2412 the system collects all the "related" physical layers related to any of the physical horizontal edges in current edge group.
- two physical layers are considered “related” if they are both ancestors of a common derived layer.
- the collections of "related" layers have been precompiled and cached for easy retrieval in this step 2412.
- step 2414 at the current y_position on current vertical scan line, the Boolean status vector for each related physical layer is determined and written into a map object referred to herein as a related_edge_status map.
- the related_edge_status map is populated only for physical layers.
- step 2416 all the derived layers derived ultimately from physical layers containing any of the edges in current edge group are collected.
- the system sorts these monotonically according to their rank. Thus derived layers that involve fewer derivation steps appear earlier in this collection than those that involve more derivation steps. This arrangement ensures that during a traversal of the collection in sorted order to calculate derived layer information, those derived layers which are ancestors of a child derived layer will already have been calculated by the time the child derived layer is reached.
- step 2418 a loop is begun through the derived layers in the collection, in sorted order.
- the derivation operator for the current derived layer is used to derive the Boolean status vector for the derived edge on the current derived layer at the current x/y position.
- the four elements of the Boolean status vector are calculated simply by applying the derivation operator for the current derived layer separately to each of the four elements of the Boolean status of the parent layer(s) referred to by the derivation operator for the current derived layer.
- the Boolean status vector for the derived edge on the current derived layer at the current x/y position is calculated as (a » e, b » f, c » g, d » h).
- step 2422 the Boolean status vector just calculated for current derived layer at current y _position on current vertical scan line is inserted into the m derived edge status map in the edge object 524 for the first physical edge of current edge group.
- step 2424 the Boolean status vector just calculated is also inserted into the related edge status map for the current derived layer, at the current y _position on the current vertical scan line. This prepares the related_edge_status map in case a subsequent derived layer of higher rank refers to the current derived layer in its derivation operator.
- step 2426 it is determined whether there are any more derived layers in the collection prepared in step 2416. If so, then the system returns to step 2418 to derive the Boolean status vector for the next such derived layer. If not, then the system returns to step 2410 to address the edge group intersecting the current vertical scan line at the next y-position. If there are no more such y-positions, then step 1015 for populating the derived layer information for derived layers having an edge intersecting the current vertical scan line is complete (step 2428). It can be seen that in the embodiment of Fig. 24, no shapes are actually calculated for the derived layers.
- shape information includes, among other things, sufficient information to indicate the locations of the corners of the derived shape.
- each of the edges whose left-hand endpoint lies on the current scan line are processed. These are the edges represented in enterjxee. As they are processed, a "corner" data structure for the endpoint is populated. The vertical linear design rule bounds imposed by these particular edges are calculated here as well.
- the corner data structure which is used for both physical and derived corners, stores the information illustrated in Figs. 1 1A and 1 IB. It can be described in a C++ like pseudocode class definition as follows: class corner
- x m_space_ray_x->m_pointl . x;
- y m_origin_y->m_pointl . y;
- x m_origin_x->m_pointl . x;
- y m_space_ray_y->m_pointl . y;
- x m_space_dimension_x->m_pointl . x;
- y m_origin_y->m_pointl . y;
- x m_origin_x->m_pointl . x;
- y m_space_dimension_y->m_pointl . y;
- edge* objects in the above class all represent physical edges. Only the position of the edge* are useful (borrowed) for derived edges.
- a ray object represents essentially an arrow with a head point and tail point. All the tail points coincide with the current corner.
- the rays are either horizontal or vertical, though in 45 degree layouts it can also have either of the two diagonal orientations.
- the 'ray' class is described in a C++ like pseudocode class definition as follows: class ray
- the corner data structures developed during the scan are maintained as entries in a synchronized corner map structure.
- This structure is a map, in which the keys identify a physical or derived layer number and an x and y position on that layer, and the values are objects of class 'corner'. Only edges on physical layers are handled in this step 1016; derived layer edges are processed in step 1019.
- Fig. 12 is a flow chart detail of step 1016, for processing the entering edges.
- step 1210 each of the physical entering edges represented in the current vertical scan line are considered. In Fig. 11A, this will be only edge 1 112. In Fig. 1 IB, this will be edge 1 132, as well as the top and bottom edges of rectangle 1 138.
- step 1214 it is determined whether the left- hand endpoint of the current edge is a corner of an island. This is determined by reference to the current quadrant vector, as described previously. If it is not a corner of an island, then the edge is skipped.
- a corner data structure for the left-hand endpoint of the current edge is instantiated in synchronized corner map if it does not already exist.
- the corner data structure might already exist in synchronized corner map if, for example, the corner had already been encountered because of a different horizontal edge on the same layer that starts at the same point (such as the bottom edge of rectangle 1138 in Fig. 1 IB), or as part of the vertical scan in an embodiment in which the vertical scan precedes or operates concurrently with the horizontal scan.
- the system walks upward and downward along the current vertical scan line from the current horizontal edge, populating the available corner information as it is learned.
- edges s_ray_y, tar_y and d_ray_y, as well as any others required by the design rules, are populated. Note that these values identify the shape edges at the head of the respective ray. The ray itself is identified separately in the corner data structure, as previously mentioned.
- all design rule checks are performed only after all scans are complete.
- the present embodiment incorporates a feature in which the system performs certain simple edge-based rule checks as part of step 1218. For example, if the current edge is a top edge and the walk upwards along the current vertical scan line meets the bottom edge of a shape in the same layer, then s_ray_y is populated in the corner data structure and the minimum spacing rule is checked as well. This check involves comparing the length of s_ray_y with the minimum spacing value in the relationship master.
- the minimum extension rule is checked by comparing the distance walked to the minimum extension value for the appropriate layer pair in the relationship master. If the current edge is a bottom edge and the walk upwards along the current vertical scan line meets the top edge of a shape in the same layer, then d ray y is populated, and also the minimum dimension rule is checked. This check involves comparing the value of d_ray_y with the minimum dimension value in the relationship master. If the current edge is a bottom edge and the walk upwards along the current vertical scan line meets the top edge of a shape in a different layer, then the minimum overlap rule is checked.
- DPT edge marker object is inserted into a structure DPT edge marker set. This object identifies the current edge and the edge at the far end of s_ray_y, as well as the current scanline position.
- the system calculates the vertical linear design rule bounds for the current entering edge in the current vertical scan line (step 1220). In order to best understand this calculation, call the current horizontal edge el and call the next lower horizontal entering edge in the current vertical scan line e2. Assume the current distance between them is d, and the minimum rule value is r.
- r could be a minimum spacing value, minimum width, minimum extension, minimum overlap, and so on.
- el has a speed ratio (determined in step 315) of s 1 and e2 has a speed ratio of s2.
- s l speed ratio
- the two edges will remain the same distance from each other vertically during the drag operation.
- no vertical linear design rule bound is created. If s l ⁇ s2, that means el will move more slowly than s2 during the drag operation. If the drag has a vertically downward vector component, then the spacing between the two edges will increase during the drag and no minimum distance rule will be violated. Again, therefore, no vertical linear design rule bound is created for downward linear movement.
- edge el can be allowed to move upward is then given by (d-r), which corresponds to a maximum allowable upward cursor movement (i.e. the linear upward slack distance) of d/
- d-r a maximum allowable upward cursor movement
- step 1018 for example, for exiting edges
- slack calculations for other horizontal edges intersecting the current vertical scan line or any other vertical scan line in the vertical scan line multimap can still further restrict the distance that the cursor should be allowed to move vertically upward or downward during the drag. Since only the one most restrictive slack distance need be stored for the upward direction and one for the downward direction, each new calculation of a slack distance overwrites the previous slack distance if the new slack distance is more restrictive (smaller).
- This procedure also occurs for each design rule in the set of design rules enabled for DRC assist, including design rules setting a maximum rule value r rather than a minimum rule value, with always the most restrictive slack distance overwriting a less restrictive slack distance in the same direction.
- step 1210 After the available corner structure information items have been populated, then the system returns to step 1210 to consider the next entering edge in the current vertical scan line.
- Fig. 13 is a flow chart detail of step 1018 for processing exiting edge corners.
- step 1018 only physical edges are addressed in step 1018.
- step 1310 each of the exiting physical edges represented in the current vertical scan line are considered.
- step 1314 it is determined whether the right-hand endpoint of the current edge is a corner of an island. This is determined by reference to the current quadrant vector, as described previously. If it is not a corner of an island, then the edge is skipped.
- a corner data structure for the right-hand endpoint of the current edge is instantiated in synchronized_corner_map if it does not already exist.
- the corner data structure might already exist in synchronized corner map if, for example, the corner had already been encountered because of a different horizontal edge on the same layer that ends at the same point, or as part of the vertical scan in an embodiment in which the vertical scan precedes or operates concurrently with the horizontal scan.
- the system walks upward and downward along the current vertical scan line from the current horizontal edge, populating the available corner information as it is learned.
- the edges s_ray_y, tar_y and d_ray_y are populated.
- step 1318 the system also in step 1318 performs the same edge-based rule checks for the exiting edges as performed and described above with respect to step 1218 for entering edges.
- edge-edge DPT candidates discernable from the above preferably are detected in the same way as set forth above with respect to step 1218 for entering edges. Marker objects are inserted into DPT edge marker set which indicate the current edge and the edge at the far end of s_ray_y, as well as the current scanline position. Note that if the new marker object duplicates one already in DPT edge marker set, it is not inserted again.
- step 1320 the system then calculates additional vertical linear design rule bounds for the current exiting edge in the current vertical scan line. These bounds are calculated similarly as set forth above with respect to step 1220, and again, only the most restrictive upward and downward vertical slack distances are retained.
- step 1310 After the available corner structure information items have been populated, then the system returns to step 1310 to consider the next exiting edge in the current vertical scan line.
- Fig. 25 is a flow chart detail of step 1019. Because derived edge status vectors are by convention kept on the first physical edge of each unique position in the current scan line in the present embodiment, it is not useful to loop separately through edges in Enterjxee separately from edges in Exitjxee. Instead, one loop is performed vertically along the current vertical scan line, from bottom to top, stopping at each unique vertical position at which there is an edge object. Thus referring to Fig.
- step 2510 the current vertical scan line is walked from bottom to top, stopping at each unique vertical position at which an edge object exists.
- step 2512 it is determined whether the first physical edge object at the current vertical position contains any derived edge status vectors. Only the first physical edge object need be checked at each vertical position, because by convention in the present embodiment, that is where the derived edge status map for all horizontal derived edges at the current x/y position are kept. If it is determined that there are no derived edges in the first physical edge object at the current vertical position, then the system returns to step 2510 to consider the next unique vertical position in the current vertical scan line.
- step 2514 the system begins another loop through all the derived edges in the derived edge status map in the first physical edge object at the current vertical position.
- step 2516 it is determined whether the Boolean status of the current derived edge indicates a valid corner. As previously explained, so long as the Boolean status is neither all zeros nor all ones, the corner is valid. If the current derived edge is not a corner, then the edge is skipped.
- step 2518 a corner data structure for the current derived edge is instantiated in synchronized corner map if it does not already exist.
- step 2520 the system walks upward and downward along the current vertical scan line from the current derived edge, populating the available derived corner information as it is learned. In particular, as for physical layer edges, s_ray_y, tar_y and d_ray_y, as well as any others required by the design rules, are populated. Also in step 2520, like in step 1218 for physical layer edges, the system performs certain simple edge-based rule checks such as minimum spacing and minimum dimension on the current derived layer, and minimum extension and minimum overlap relative to other layers (physical or derived). All the same design rule checks are performed on the derived layers as set forth above with respect to step 1218.
- step 1218 if during the walks up and down the current vertical scan line on the current derived layer, the distance walked exceeds the worst case limit from the relationship master, there is no design rule violation encountered and it is not necessary to populate further items in the corner data structure that would be encountered in the current walking direction.
- step 2524 the system then calculates additional vertical linear design rule bounds for the current derived edge. These bounds are calculated similarly as set forth above with respect to step 1220, and again, only the most restrictive upward and downward vertical slack distances are retained.
- step 2514 the system returns to step 2514 to consider the next derived edge in the current physical edge object. If there are no more derived edges in the current physical edge object, then the system returns to step 2510 to move to the next unique vertical position in the current vertical scan line. If there are no more vertical positions represented in the current vertical scan line, then step 1019 concludes (step 2522).
- islands are represented in objects of class 'island', and maintained in a map of class 'island map'. They are instantiated as the vertical scan line encounters them as it scans horizontally, and are updated as the vertical scan line moves across them horizontally, corner to corner. Islands are determined and checked on both physical layers and derived layers. Pertinent parts of the 'island' data structure are described in a C++ like pseudocode class definition as follows: class i sland
- edge_tree iterator m_start_iterator ;
- edge_tree iterator m_end_iterator ;
- std map ⁇ layer_number, int> m_last_valid_top_position_vector
- std map ⁇ layer_number, int> m_last_valid_bottom_position_vector ;
- the island data structure accumulates the following information about a particular island during the process of the horizontal scan: area of the island, area of a hole just above the island, common run lengths against other islands in the same layer and islands in other layers.
- area of the island For clarity of illustration, the present description will concentrate primarily on the island area as an example of island-based rule checking.
- Fig. 19E illustrates a sample layout region having three overlapping rectangles 1932, 1934 and 1936, all on a single physical layer. Because they overlap on a single layer, they form a single island 1930.
- island area is accumulated during the horizontal scan by using the shape corners to divide the island into non-overlapping "island rectangles", the area of which are easily determined from the horizontal edges represented in the current vertical scan line.
- the method divides the island 1930 into five island rectangles bounded horizontally by the broken vertical lines 1938.
- the updating of island data takes place only at those vertical scan lines containing a corner of the island.
- Horizontal scanning does not stop anywhere between corners.
- a rectangle (not shown) disposed entirely within rectangle 1932, for example, will not bear on any island design rule and does not become a stopping place during the scan.
- a high level description of the process is illustrated in the flow chart of Fig. 23.
- the islands are stored in a map called island_map.
- the keys of island map identify the lower left corner of a respective island.
- each island having a corner lying on the current vertical scan line is considered.
- a new island data structure is instantiated in island_map (step 2314).
- the area is set to zero (step 2316), and in step 2324, the value of m last _position_updated for the new island is set equal to the x-position of the current vertical scan line.
- the current island is already represented in island map, then effectively a vertical slice is made through the current island at the current vertical scan line; and the area of the left-adjacent rectangle is added to the area being accumulated. Accordingly, in step 2318, the height H of the left-adjacent rectangle is calculated as the distance along the current vertical scan line from the bottom edge of the current island to the top edge of the current island.
- This information is available in current scan line, because at least one of the top and bottom edges is a corner, and the y-position of the corner is available as the left- or right-hand endpoint of a horizontal edge in the current vertical scan line.
- the other of the top and bottom edges may also be a corner, or may be an edge that merely intersects the current vertical scan line.
- step 2320 the width W of the left- adjacent rectangle is calculated as the horizontal position of the current scan line minus the last scan line position at which island information was updated, which is the value in
- step 2322 the product of H and W is added to the area value for the current island.
- step 2324 the value of m last _position_updated for the new island is set equal to the x-position of the current vertical scan line. The method then returns to step 2310 for consideration of the next island having a corner on the current vertical scan line.
- any two or more of such islands that are now vertically-adjacent are merged into a single island in step 2326 and their area values summed.
- step 2328 any island that is now split into two, perhaps separated vertically by a newly encountered hole or notch, are split.
- island area information is captured during the horizontal scan, it is not compared to the design rule values in the present embodiment until later.
- Fig. 19E and the flow chart of Fig. 23 have been described with respect to an island on a physical layer, the process is the same for islands on a derived layer.
- step 1022 as a time saving technique, the quadrant depth vectors for each of the entering horizontal edges in the current vertical scan line are copied from the right-hand quadrants to the corresponding left-hand quadrants.
- the left-hand quadrant depth values can be incremented or decremented as the vertical scan line moves rightward, and will contain accurate values when the scan line reaches the right hand endpoint of the edge. No such updating is required for the status vectors for edges on derived layers.
- step 1024 all the exiting edges are removed from the current vertical scan line. The routine then returns to step 1010 for the next horizontal scan position.
- Fig. 14 is a flow chart of step 912, for scanning the vertical scan tree sweep_y.
- Fig. 14 is a flow chart of step 912, for scanning the vertical scan tree sweep_y.
- step 1408 the horizontal scan line edge-tree multimap object current scan line is created.
- current_scan_line traverses both enterjxee and the exitjxee together so that the horizontal scan lines from both trees are considered in monotonically varying sequence, bottom to top. Since these two trees contain only those horizontal scan lines on which an endpoint of a vertical edge lies, intervening horizontal scan lines are skipped during this scan. Again, the existence of derived edges does not alter this plan since it is assumed for this part of the algorithm that all derived edge endpoints are co-located with at least one physical edge endpoint.
- the current horizontal scan line is maintained in a multimap object of class edge tree, having the structure of edge_tree 620 (Fig. 6). It has a current horizontal scanning position, and stores the information shown in block 622 for each vertical edge that intersects a horizontal line at the current vertical scanning position.
- step 1412 current scan line is updated by adding all vertical edges having a lower endpoint located at the current horizontal scan position.
- step 1414 the quadrant depth vector (Fig. 6) for each edge in the current horizontal scan line multimap is updated. This step involves, for an edge in the enterjxee (i.e. a vertical edge whose lower endpoint lies on the current horizontal scan line), incrementing the value for either quadrant I or quadrant II by one. The value for quadrant I is incremented if the "edge against scan line?" Boolean for the edge 1 112 indicates True (i.e.
- the edge is the left-hand edge of a shape
- the value for quadrant II is incremented if the "edge against scan line?"
- Boolean for the edge 1 112 indicates False (i.e. the edge is the right-hand edge of a shape).
- the updating of the quadrant depth vector for an edge in the exit_tree involves decrementing the value for either quadrant I or quadrant II by one.
- the value for quadrant I is decremented if the "edge against scan line?" Boolean for the exiting edge indicates True (i.e.
- the edge is the left-hand edge of a shape
- the value for quadrant II is decremented if the "edge against scan line?" Boolean for the exiting edge indicates False (i.e. the edge is the right-hand edge of a shape). It can be seen that the quadrant depth vector increments quantities as the horizontal scan line encounters shapes while moving upward across the region. It decrements quantities as the scan line moves past shapes.
- step 1415 the derived layer information is populated for each derived layer having an edge intersecting the current scan line.
- Fig. 26 is a flow chart detail of step 1415. Referring to Fig. 26, in step 2610, a loop is begun to traverse through all the x_positions, left-to- right, at which one or more physical vertical edges intersect the current horizontal scan line. These edges are collinear with each other, in plan view. Some may be on different layers, and some may occupy the same layer and be superimposed on each other. Like in Fig. 24, this group of collinear edges intersecting the current horizontal scan line at current x_position is sometimes referred to herein as an "edge group".
- step 2612 the system collects all the "related" physical layers related to any of the physical vertical edges in current edge group. Again, as used in Fig. 26, two physical layers are considered “related” if they are both ancestors of a common derived layer. Preferably, the collections of "related" layers have been precompiled and cached for easy retrieval in this step 2612.
- step 2614 at the current x_position on current horizontal scan line, the Boolean status vector for each related physical layer is determined and written into a related_edge_status map.
- the related_edge_status map is populated only for physical layers.
- step 2616 all the derived layers derived ultimately from physical layers containing any of the edges in current edge group are collected. The system sort these monotonically according to their rank, for the same reason as set forth above with respect to step 2416.
- step 2618 a loop is begun through the derived layers in the collection, in sorted order.
- step 2620 the derivation operator for the current derived layer is used to derive the Boolean status vector for the derived edge on the current derived layer at the current x/y position.
- the four elements of the Boolean status vector are calculated by applying the derivation operator for the current derived layer separately to each of the four elements of the Boolean status of the parent layer(s) referred to by the derivation operator for the current derived layer.
- step 2622 the Boolean status vector just calculated for current derived layer at current x _position on current horizontal scan line is inserted into the m derived edge status map in the edge object 524 for the first physical edge of current edge group.
- step 2624 the Boolean status vector just calculated is also inserted into the related_edge_status map for the current derived layer, at the current x _position on the current horizontal scan line. This prepares the related_edge_status map in case a subsequent derived layer of higher rank refers to the current derived layer in its derivation operator.
- step 2626 it is determined whether there are any more derived layers in the collection prepared in step 2616. If so, then the system returns to step 2618 to derive the Boolean status vector for the next such derived layer. If not, then the system returns to step 2610 to address the edge group intersecting the current horizontal scan line at the next x-position. If there are no more such x-positions, then step 1415 for populating the derived layer information for derived layers having an edge intersecting the current horizontal scan line is complete (step 2628). It can be seen again that in the embodiment of Fig. 26, no shapes are actually calculated for the derived layers. Only certain information about the derived edges are calculated and stored at positions where they intersect the specific horizontal scan lines that correspond to endpoints of vertical physical edges in the layout.
- each of the physical edges whose lower endpoint lies on the current scan line are processed. These are the edges represented in enter_tree. As they are processed, the "corner" data structure for the endpoint is populated in synchronized_corner_map. As mentioned, the relevant corner data structure may already exist from a previously encountered different vertical edge on the same layer that starts at the same point, or as part of the horizontal scan in an embodiment in which the horizontal vertical scan precedes or operates concurrently with the vertical scan. The horizontal linear design rule bounds imposed by these particular edges are calculated here as well.
- Fig. 15 is a flow chart detail of step 1416, for processing the entering edges.
- step 1510 each of the entering physical edges represented in the current horizontal scan line are considered.
- step 1514 it is determined whether the lower endpoint of the current edge is a corner of an island. This is determined by reference to the current quadrant vector, as described previously. If it is not a corner of an island, then the edge is skipped.
- step 1516 a corner data structure for the left-hand endpoint of the current edge is instantiated in synchronized_corner_map if it does not already exist.
- step 1518 the system walks leftward and rightward along the current horizontal scan line from the current vertical edge, populating the available corner information as it is learned.
- the edges s_ray_x, tar_x and d_ray_x, as well as any others required by the design rules, are populated.
- certain edge-based rule checks are also performed as part of step 1518, similar to those performed in step 1218. For example, if the current edge is a right- hand edge and the walk rightward along the current horizontal scan line meets the left-hand edge of a shape in the same layer, then s ray x is populated in the corner data structure and the minimum spacing rule is checked as well. This check involves comparing the length of s_ray_x with the minimum spacing value in the relationship master. If the current edge is a right-hand edge and the walk rightwards along the current horizontal scan line meets the right-hand edge of a shape in a different layer, then the minimum extension rule is checked by comparing the distance walked to the minimum extension value for the appropriate layer pair in the relationship master.
- d ray x is populated, and also the minimum dimension rule is checked. This check involves comparing the value of d ray x with the minimum dimension value in the relationship master. If the current edge is a left-hand edge and the walk rightwards along the current horizontal scan line meets the right-hand edge of a shape in a different layer, then the minimum overlap rule is checked. Similar checks are performed during the walk leftward from the current edge. If during the walks leftward and rightward along the current horizontal scan line, the distance walked exceeds the worst case limit from the relationship master, there is no design rule violation encountered and it is not necessary to populate further items in the corner data structure that would be encountered in the current walking direction.
- DPT edge marker object is inserted into DPT edge marker set as set forth with respect to step 1218. This object identifies the current edge and the edge at the far end of s_ray_x, as well as the current scanline position.
- the system calculates the horizontal linear design rule bounds for the current entering edge in the current horizontal scan line (step 1520). This calculation is similar to that set forth above with respect to step 1220, but will be adapted here for clarity.
- Call the current vertical edge el and call the next lower vertical entering edge in the current horizontal scan line e2. Assume the current distance between them is d, and the minimum rule value is r. Further assume that el has a speed ratio (determined in step 315) of si and e2 has a speed ratio of s2. If s l s2, then the two edges will remain the same distance from each other horizontally during the drag operation and no horizontal linear design rule bound is created.
- Fig. 16 is a flow chart detail of step 1418 for processing exiting edge corners.
- step 1610 each of the exiting edges represented in the current horizontal scan line are considered.
- step 1614 it is determined whether the upper endpoint of the current edge is a corner of an island. This is determined by reference to the current quadrant vector, as described previously. If it is not a corner of an island, then the edge is skipped.
- step 1616 a corner data structure for the upper endpoint of the current edge is instantiated in synchronized corner map if it does not already exist. Again, the corner data structure might already exist in synchronized_corner_map.
- step 1618 the system walks leftward and rightward along the current horizontal scan line from the current vertical edge, populating the available corner information as it is learned. In particular, referring to the corner data structure definition above and the illustration in Figs. 1 1A and 1 IB, the edges s ray x, tar_x and d_ray_x, as well as any others required by the design rules, are populated.
- step 1618 the system also in step 1618 performs similar edge-based rule checks for the exiting edges as performed and described above with respect to step 1318.
- edge-edge DPT candidates discernable from the above preferably are detected in the same way as set forth above with respect to step 1518 for entering edges. Marker objects are inserted into DPT edge marker set which indicate the current edge and the edge at the far end of s_ray_x, as well as the current scanline position. Note that if the new marker object duplicates one already in DPT edge marker set, it is not inserted again.
- step 1620 the system then calculates additional horizontal linear design rule bounds for the current exiting edge in the current horizontal scan line. These bounds are calculated similarly as set forth above with respect to step 1520, and again, only the most restrictive left and right linear slacks are retained.
- step 1610 After the available corner structure information items have been populated, then the system returns to step 1610 to consider the next exiting edge in the current horizontal scan line.
- Fig. 27 is a flow chart detail of step 1419. Because derived edge status vectors are by convention kept on the first physical edge of each unique position in the current scan line in the present embodiment, it is not useful to loop separately through edges in Enterjxee separately from edges in Exitjxee. Instead, one loop is performed horizontally along the current horizontal scan line, from left to right, stopping at each unique horizontal position at which there is an edge object. Thus referring to Fig.
- step 2710 the current horizontal scan line is walked from left to right, stopping at each unique horizontal position at which an edge object exists.
- step 2712 it is determined whether the first physical edge object at the current horizontal position contains any derived edge status vectors. Only the first physical edge object need be checked at each horizontal position, because by convention in the present embodiment, that is where the derived edge status map for all vertical derived edges at the current x/y position are kept. If it is determined that there are no derived edges in the first physical edge object at the current horizontal position, then the system returns to step 2710 to consider the next unique horizontal position in the current horizontal scan line.
- step 2714 the system begins another loop through all the derived edges in the derived edge status map in the first physical edge object at the current horizontal position.
- step 2716 it is determined whether the Boolean status of the current derived edge indicates a valid corner. As previously explained, so long as the Boolean status is neither all zeros nor all ones, the corner is valid. If the current derived edge is not a corner, then the edge is skipped.
- step 2718 a corner data structure for the current derived edge is instantiated in synchronized corner map if it does not already exist.
- step 2720 the system walks left and right along the current horizontal scan line from the current derived edge, populating the available derived corner information as it is learned. Also in step 2720, like in step 1218 for physical layer edges, the system performs certain simple edge-based rule checks such as minimum spacing and minimum dimension on the current derived layer, and minimum extension and minimum overlap relative to other layers (physical or derived). All the same design rule checks are performed on the derived layers as set forth above with respect to step 1218.
- step 1218 if during the walks to the left and right along the current horizontal scan line on the current derived layer, the distance walked exceeds the worst case limit from the relationship master, there is no design rule violation encountered and it is not necessary to populate further items in the corner data structure that would be encountered in the current walking direction.
- step 2724 the system then calculates additional horizontal linear design rule bounds for the current derived edge in the current horizontal scan line. These bounds are calculated similarly as set forth above with respect to step 1520, and again, only the most restrictive left and right linear slacks are retained.
- step 2714 the system returns to step 2714 to consider the next derived edge in the current physical edge object. If there are no more derived edges in the current physical edge object, then the system returns to step 2710 to move to the next unique horizontal position in the current horizontal scan line. If there are no more horizontal positions represented in the current horizontal scan line, then step 1419 concludes (step 2722).
- step 1422 as a time saving technique, the quadrant depth vectors for each of the entering vertical edges in the current horizontal scan line are copied from the upper quadrants to the corresponding lower quadrants. In this manner the lower quadrant depth values can be incremented or decremented as the horizontal scan line moves upward, and will contain accurate values when the scan line reaches the upper endpoint of the edge. It is not necessary to update status vectors for derived edges in the same manner.
- step 1424 all the exiting edges are removed from the current horizontal scan line. The routine then returns to step 1410 for the next vertical scan position.
- step 320 all the topographical relationships needed to perform the checks in the design rule set have been collected into a layout topology database.
- the term 'database' as used herein does not imply any unity or regularity of structure, and in the present embodiment the layout topology database includes synchronized corner map, island map and via map, and other collections of data as well.
- step 322 the values in the layout topology database are compared to those in the relationship master, in order to check all the design rules. In one embodiment, all design rule violations are reported, whereas in another embodiment, only those violations involving editing shapes are reported. The corner and conditional design rule bounds are calculated during this step as well.
- Fig. 17 is a flow chart detail of step 322. These are illustrative examples of design rules that are checked in the present embodiment only after the scans across the layout region have been completed. The grouping of these checks as shown in Fig. 17 is only for convenience of the present description; it may or may not correspond to any grouping in any particular embodiment.
- the design rules that are checked in Fig. 17 are grouped as follows. Corner-to-corner rules are checked in step 1710, and other corner-based rules are checked in step 1712. Island-based rules are checked in step 1714, and DPT multi- patterning rule checks such as DPT odd cycle detection is performed in step 1715. Other rules (such as via-based rules) are checked in step 1716.
- Corner design rule bounds are calculated as part of the check of corner-to-corner rules in step 1710.
- Conditional design rule bounds are calculated as part of the check of other corner-based rules in step 1712.
- Fig. 18 is a flow chart detail of step 1710, for checking the corner-to-corner rules.
- step 1810 the system builds a map of space and dimension rays from the ray information previously populated into the synchronized corner map. Rays from all layers are included, from both physical and derived layers, but only those space_rays that extend from convex corners, and only those dimension_rays that extend from concave corners, are included in this ray map. In addition, instead of the rays representing the shape edges encountered when walking away from the corner, the rays in the ray map formed in step 1810 represent true rays from the corner to the encountered edge.
- step 1812 the ray map is scanned left-to-right to identify intersections of the rays.
- a conventional scan line algorithm can be used for this purpose.
- step 1814 it is determined whether the current ray intersection is an intersection of two space_rays.
- the two corners from which these space_rays extend both have to be convex, so the situation is as illustrated in Fig. 19A, where s_rays 1910 and 1912 intersect.
- the corner-to-corner Euclidean spacing 1914 is calculated. If the two shapes are located on the same layer, the spacing 1914 is compared to the minimum corner-to-corner spacing value in relationship_master. If they are on different layers, it is compared to the minimum corner-to-corner clearance in relationship master (step 1816).
- step 1817 if the two shapes are located on the same layer, the spacing
- DPT corner marker object is inserted into DPT_edge_marker_set as set forth with respect to step 1218.
- a DPT corner marker identifies the two corners, which in turn identify the x and y positions of each corner. Note that in one embodiment, the Euclidean distance between the two corners is used whereas in another embodiment the Manhattan distance is used. In yet another embodiment the Euclidean distance is used in certain conditions and the Manhattan distance is used in other situations. In still other embodiments, yet another kind of distance measurement is used.
- step 1822 it is determined whether one is a space_ray on one layer, and the other is a dimension_ray on a different layer. Since the corner from which the space_ray extends is convex, and the corner from which the dimension ray extends in concave, the situation is as illustrated in Fig. 19C. In this figure, s_ray 1922 from a corner of shape 1921 intersects d_ray 1924 from a corner of shape 1923, and the two shapes are on different layers. In this case the distance that the shape on one layer extends past the edge of the shape the other layer is calculated in both dimensions, and compared to the minExtension or minDualExtension value in relationship_master (step 1824).
- a corner slack is the slack between two corners, i.e. one pair of horizontal and one pair of vertical edges.
- a corner slack has two linear slack values, one horizontal (either left or right) and one vertical (either up or down). These horizontal and vertical linear slack components of the corner slack are calculated in the same way that the horizontal and vertical linear slack values are calculated within step 320. However, the values calculated for corner slacks are cached separately and not merged with those calculated for the linear slacks.
- Fig. 20 is a flow chart detail of step 1712, for checking certain other corner-based rules. These rules are checked inside a loop 2010 which traverses the synchronized corner map. In step 2012, the edge length rule is checked from the current corner. For the horizontal edge meeting at this corner, this involves subtracting the x-position of the corner (ori_x) from the x- position of the nearest vertical edge, walking horizontally along the shape contour (tar_x) and comparing the absolute value of the difference to the minimum edge length value in the relationship_master.
- ori_x the x-position of the corner
- tar_x shape contour
- this involves subtracting the y- position of the corner (ori_y) from the y-position of the nearest horizontal edge, walking vertically along the shape contour (tar_y) and comparing the absolute value of the difference to the minimum edge length value in the relationship master.
- step 2014 it is determined whether the current corner is concave or convex. If it is concave, then in step 2016 the concave corner edge length rule is checked. This rule requires that at least one of the two adjacent edges forming a concave corner have at least a minimum length. This test can be performed using the same values from the corner data structure as used in step 2012 (ori_x, tar_x, ori_y and tar_y). The lengths determined for the two edges are compared to the minimum concave corner edge length value in the relationship master.
- the notch rule is checked.
- This rule requires that a 'notch' in an island have at least a specified minimum width.
- Framed in terms of corners the rule requires that two adjacent concave corners be at least a specified distance apart.
- This rule need be checked for a horizontally-adjacent corner only of the horizontally-adjacent corner is concave, and need be checked for a vertically-adjacent corner only of the vertically -adjacent corner is concave. For example, in the illustration of Fig. 1 IB, only the horizontally-adjacent corner need be checked for violation of the notch rule.
- the notch rule can be tested by subtracting the x-position of the current corner (ori_x) from the x-position of the nearest vertical facing edge, walking horizontally from corner, away from the shape, which is already available in the current corner data structure as space ray x.
- the absolute value of the difference is then compared to the minimum notch width value in the relationship master.
- the y-position of the current corner (ori_y) is subtracted from the y- position of the nearest horizontal facing edge, walking vertically from the current corner, away from the shape, which is already available in the current corner data structure as space_ray_y.
- the absolute value of the difference is then compared to the minimum notch width value in the relationship master.
- step 2014 If in step 2014, it is determined that the current corner is convex, then in step
- the convex corner edge length rule is checked.
- This rule requires that at least one of the two adjacent edges forming a convex corner have at least a minimum length.
- This test can be performed using the same values from the corner data structure as used in step 2012 (ori_x, tar_x, ori_y and tar_y). The lengths determined for the two edges are compared to the minimum convex corner edge length value in the relationship_master.
- an end-of-line spacing rule is checked.
- this rule requires that at the end of a line, a specified minimum spacing is required to the neighboring geometry.
- the rule requires that for an end-of-line width eolWidth less than one specified value, the end-of-line spacing eolSpace must be at least another specified value.
- the width of the line 1926 in the horizontal dimension is easily determined by subtracting the x- position of the current corner (ori_x) from the x-position of the last vertical edge walking horizontally into shape, before exiting shape, which is already available in the current corner data structure as d_ray_x.
- the spacing to the next neighboring geometry is available in the current corner data structure as s_ray_y.
- the absolute value of the subtraction is compared to the value for eolWidth in the relationship master, and if small enough to invoke the rule, s_ray_y is then compared to the value for eolSpace in the relationship_master.
- the width of the line in the vertical dimension is determined by subtracting the y-position of the current corner (ori_y) from the y-position of the last horizontal edge walking vertically into shape, before exiting shape, which is already available in the current corner data structure as d_ray_y.
- the spacing to the next neighboring geometry is available in the current corner data structure as s ray x.
- conditional design rule bounds are calculated in step 2026.
- the routine then returns to step 2010 to consider the next corner in synchronized corner map.
- a conditional slack is the slack for a general conditional rule context. Complex design rules with multiple sub-rules, such as for example some of the design rules checked in Fig. 20, can be handled with such a slack. Multiple groups of pairs of edges are considered, with a conjunctive relationship of conditions inside each group and a disjunctive relationship among groups.
- a conditional slack has multiple groups of horizontal and linear slack values, each of which is calculated in the same way that the horizontal and vertical linear slack values are calculated within step 320.
- island-based rules are then checked in step 1714.
- Example island-based design rules that can be checked here include the minimum island area rule, the minimum hole area rule, minimum common run dependent separation against other islands in the same layer, and minimum common run dependent separation against islands in other layers. In an embodiment, these are all checked within a single traversal of island map, where the values for all required topological relationships in the layout region have already been populated. For example, the area of each island in island map has already been populated during the horizontal scan. The step of checking the minimum island area rule, therefore, is accomplished simply by comparing the stored island area for the current island with the minimum area value in the relationship master. Note that in an embodiment, during the horizontal scan, accumulation of island area is aborted once the accumulated area exceeds the worst case minimum required in the relationship master. The stored area values will still be determined in this step 1714 to satisfy the minimum island area rule.
- step 1715 DPT odd cycle detection is performed.
- TPT triple-patterning-technology
- this can be performed as part of step 1715 as well.
- the embodiment of Fig. 17 detects TPT design rule violations mainly as an add-on to DPT odd cycle detection, but in another embodiment, it can be done natively.
- Fig. 29 is a flow chart detail of step 1715, for a particular layer. Step 1715 can be repeated for each physical layer to be considered.
- the routine begins with dpt_edge_marker_set and dpt_corner_marker_set as populated during the scanning process as previously described.
- Dpt edge marker set identifies all the candidate edge pairs that are spaced more closely than the appropriate DPT edge-edge minimum
- dpt corner marker set identifies all the candidate corner pairs that are spaced more closely than the DPT corner-corner minimum.
- edge-edge DPT spacing candidates at a minimum in the present embodiment this includes an identification of the two islands which are more near each other than one or more of the DPT edge-edge spacing rules.
- detection of DPT edge-edge spacing candidate violations in one dimension need only the s_ray_x values, and detection of DPT edge-edge spacing candidate violations in the perpendicular dimension need only the s_ray_y values. While it is optimal that all these relationships have been determined within the subject region before step 1715 begins, it will be appreciated that a benefit will be obtained so long as a plurality (more than one) of the relationships have been determined before step 1715 begins.
- DPT odd cycle violation detection operates by iterating through all the islands on the current layer in the region of interest.
- the iteration involves a nested discovery of islands that are connected to each other by DPT candidate relationships in either dpt edge marker set or dpt corner marker set.
- a spanning tree is built in which each of the nodes represents an island, and each of the arcs represents a DPT candidate relationship.
- a “graph” is a set of nodes connected together by arcs.
- a “tree”, as used herein, means a connected graph with no cycles.
- a process of "building a tree” also constitutes a process of "building a graph", although it is a special case of a graph.
- a “forest”, as used herein, is a graph containing only disconnected trees, and a single tree is considered herein to be a degenerate case of a Forest. In aspects of the present invention, there is no requirement that any particular node of a tree be designated as a root node, though it is useful to do so and the embodiment herein does so.
- step 2910 the edge-edge candidates from dpt edge marker set are first written into a l st _edge_map multimap, sorted by the head edge of each candidate. Then the same candidates are also written into a 2 nd _edge_map multimap, this time sorted by the tail edge of each candidate.
- step 2912 the corner-corner candidates from dpt corner marker set are written into a corner map multimap, twice: once keyed by the head corner of each candidate, and the second time keyed by the tail corner of each candidate.
- 1 st edge map, 2nd_edge_map and corner map multimap are sometimes considered a single 'data structure'.
- the three multimaps together indicate all the islands within the region to be checked, mostly more than once.
- islands are discovered and referenced by a "root corner", which can be any corner on the island. Corners are discovered by iterating through corner_map, which identifies corners explicitly, as well as through l st _edge_map multimap and 2 nd _edge_map, in which corners are identified implicitly as one end or the other of the included edges.
- the corner-corner or edge- edge entries in the three multimaps are erased as they are considered in the DPT odd cycle checking process until they are empty.
- step 2914 the routine begins to iterate through all the available islands represented in the three multimaps. Each new island to consider is identified at this point by a particular corner of the island, which has been designated as the "root" corner.
- Fig. 30 is a flow chart detail of step 2914. It utilizes an additional, temporary map known as
- Fig. 30 The corner which the routine outputs as the next corner to be considered in the iteration (the root corner of the next island to be considered in the iteration) is referred to in Fig. 30 as the "selected" corner.
- step 3010 the routine first determines whether the candidate corner map is empty. If not, then in step 3012, the first available corner in candidate corner map is taken as the selected corner. In step 3014 the selected corner is erased from candidate corner map. In step 3016 it is determined whether the selected corner is already colored. If so, then the island has already been considered in the iteration and need not be considered again. The routine returns to step 3010 to determine whether candidate corner map contains any more candidate corners. If in step 3016 the selected corner is determined to not yet be colored, then in step 3018 the selected corner is returned as the root corner of the first (or next) available island to consider in the iteration.
- step 3010 If in step 3010 it is determined that candidate corner map is empty, then the routine next looks in corner map.
- step 3020 if corner map is not empty, then in step 3022, the first available corner in corner_map is taken as the selected corner. As this corner was not found by way of a relationship with a previously-considered corner or edge, it is presumed (at least initially) to be disjoint from any existing tree.
- step 3024 therefore, a new tree is started with its root as the island identified by the selected corner.
- the pre-groups value for the tree is set initially to no_color.
- the selected corner is then returned in step 3018 as the root corner of the first (or next) available island to consider in the iteration. No color is assigned to the island yet; it will be assigned when the island is connected to a tree.
- step 3020 If in step 3020 it is determined that corner map is empty, then the routine next looks in l st _edge_map. In step 3030, if l st _edge_map is not empty, then in step 3032, one of the endpoints (corners) of an available edge in l st _edge_map is taken as the selected corner. It will be recalled that l st _edge_map is a multimap, keyed according to the head edge of the edge-edge candidates. It will also be appreciated that both endpoints of any given edge are disposed on the same island.
- step 3032 merely involves selecting one of the key edges in l st _edge_map, and then selecting as the selected corner one of the endpoints from the selected edge. It does not matter which key edge is selected nor which endpoint of that edge is selected. Again, as the selected corner was not found by way of a relationship with a previously -considered corner or edge, it is presumed (at least initially) to be disjoint from any existing tree. In step 3024, therefore, a new tree is started with its root as the island identified by the selected corner. In an embodiment which supports predefined color groups, the pre-groups value for the tree is set initially to no color. The selected corner is then returned in step 3018 as the root corner of the first (or next) available island to consider in the iteration. No color is assigned to the island yet; it will be assigned when the island is connected to a tree.
- step 3030 If in step 3030 it is determined that l st _edge_map is empty, then the routine next looks in 2 nd _edge_map. In step 3040, if 2 nd _edge_map is not empty, then in step 3042, one of the endpoints (corners) of the first available edge in 2 nd _edge_map is taken as the selected corner. It will be recalled that 2 nd _edge_map is a multimap, keyed according to the tail edge of the edge- edge candidates. It will also be appreciated that both endpoints of any given edge are disposed on the same island. Thus since the iteration of step 2914 is ultimately for identifying islands rather than edges or corners, step 3042 merely involves selecting one of the key edges in
- step 3034 a new tree is started with its root as the island identified by the selected corner.
- the pre-groups value for the tree is set initially to no_color.
- the selected corner is then returned in step 3018 as the root corner of the first (or next) available island to consider in the iteration. No color is assigned to the island yet; it will be assigned when the island is connected to a tree.
- step 3040 If in step 3040 it is determined that 2 nd _edge_map is empty as well, then the routine returns NULL to indicate that the iteration is complete (step 3050).
- step 2916 the routine walks the island contour, from the root corner identified in step 2914, looking for odd cycles formed with other islands. It does not matter whether the contour walk proceeds clockwise or counterclockwise, or in some other sequence. It can also visit corners and edges of the contour in any desired sequence. In the present embodiment the contour can be walked most easily clockwise or counterclockwise in step 2916, because each of the corner data structures has already collected the horizontal and vertical edges connected to it, and the next corner of the island at the far end of each edge.
- each corner on the island has already been collected about each corner on the island: the edge adjacent to the corner in one direction (clockwise or counterclockwise; both are collected in the present embodiment but only one is needed to walk the contour); and the far corner of that edge. Note that in some embodiments individual corners or edges can be skipped in this contour walk, for example if because of other information it is already known that such corner or edge
- Fig. 31 is a flow chart detail of step 2916. Referring to Fig. 31, in step 31 10, all corner-corner candidates that involve the current corner are processed, looking for corner-corner candidates whose far island is already on the current tree and already colored. If one is found, and the far island is already colored in conflict with the color of the current island, then a DPT odd cycle violation has been found.
- Fig. 32 is a flow chart detail of step 31 10 of Fig. 31. Referring to Fig. 32, in step
- the routine first iterates through all the corner-corner candidates in corner map involving the current corner. In step 3212, the far corner of the current candidate is identified. If it is not already assigned to an existing island (step 3214), then in step 3216 it is merely inserted into candidate_corner_map as identifying a newly discovered island to be considered later (see step 3012 (Fig. 30)). The routine then returns to step 3210 to consider the next corner-corner candidate in corner map involving the current corner.
- step 3218 it is determined whether that island (now sometimes called the far island) has been colored. If not, then it is not yet connected to a tree. In this case, in step 3220, it is connected to the current tree.
- the arc for the new connection is the current corner-corner candidate, and the color assigned to the far island is whatever color is opposite of the current island.
- assigning a color to an island can involve merely populating a color parameter in a node data structure with an integer or enum representing one of the range of available colors. The routine then returns to step 3210 to consider the next corner-corner candidate in corner map involving the current corner.
- step 3217 an identification of the island pair is inserted into a new map called TPT island map, which is used as described below.
- TPT island map a new map
- the newly discovered island is connected to the current tree and colored (step 3220)
- the current tree is checked for a multi -patterning pre-coloring violation (step 3222).
- the newly discovered island is connected to the current tree and colored (step 3220)
- the current tree is checked for a multi-patterning pre-grouping violation (step 3224).
- step 3226 it is determined whether the cycle is even or odd. If the two islands are colored oppositely, then the cycle is even and nothing need be done, connected or stored. The routine merely returns to step 3210 to consider the next corner-corner candidate in corner map involving the current corner. If the two islands have the same color, however, then the cycle is odd. In step 3228 the odd cycle is inserted into an odd cycle collection structure for later presentation to the user. Again, there is no need to connect the new arc in the tree, so the routine merely returns to step 3210 to consider the next corner-corner candidate in corner map involving the current corner.
- a cycle is represented in the DPT odd cycle collection structure as a list of markers each identifying a DPT spacing violation that forms an element of the cycle.
- Each of these markers is either a corner-corner marker, in which case it identifies the specific corners of the two islands that are place too near each other; or an edge-edge marker, in which case it identifies the specific edges of the two islands that are placed too near each other. It will be appreciated that this information is sufficient to draw the marker visibly for the user.
- step 3210 After all the corner-corner candidates in corner map involving the current corner have been considered (step 3210), all the corner-corner candidates keyed by the current corner are erased from corner_map (step 3230). The routine then returns (step 3232) to the contour walking process (Fig. 31).
- Fig. 36 is a flow chart detail of step 3222 (Fig. 32) for checking for a multi- patterning pre-coloring violation. For various reasons it might be the case that some islands in a layout are pre-designated by the designer to be formed on a particular one of the multi-patterning masks. As an overview, the present embodiment detects such pre-coloring violations as follows.
- step 2610 it is first determined whether the newly connected island (step 3220) has been pre-designated for a particular mask. If not, then in step 3612 the process returns to Fig. 32 since there is no pre-coloring to violate. If the new island is pre-colored, then in step 3614 it is determined whether the current tree has already been marked "consistent” or "inconsistent” by a previous pre-color, or not yet marked. If it has not yet been marked, then in step 3616, if the pre-color of the island is the same as the color assigned to the island in step 3220 then the current tree is marked "consistent". If different, then the current tree is marked "inconsistent". The current island is then saved as a pre color island, and in step 3612 the process returns to Fig. 32.
- step 3614 If in step 3614 it was determined that the current tree has already been marked as
- step 3620 it is determined whether the pre-color of the island is the same as the color assigned to the island in step 3220. If not, then there is no pre-color violation and in step 3612 the process returns to Fig. 32. On the other hand, if in step 3614 it was determined that the current tree has already been marked as “consistent”, then in step 3622 it is again determined whether the pre-color of the island is the same as the color assigned to the island in step 3220. If so, then again there is no pre-color violation and in step 3612 the process returns to Fig. 32.
- step 3624 the path between the current island and the pre color island on the current tree is saved for display to the user or other reporting. In step 3612 the process then returns to Fig. 32.
- Fig. 37 is a flow chart detail of step 3224 (Fig. 32) for checking for a DPT pre- grouping violation.
- pre-coloring for various reasons it might be the case that all islands in a "pre-group" of islands are required to be formed on a particular a single one of the DPT masks - though it does not matter which mask.
- a pre-grouping violation occurs when the requirement cannot be met with respect to a particular one of the pre-groups.
- such pre-grouping violations are detected roughly as follows: While growing the spanning tree for detecting DPT coloring violations, whenever two islands in the same pre-group are found with different colors assigned, then a pre-grouping violation has been found, and the conflict path is the path between the two islands on the tree. Note that like pre-coloring, neither pre-grouping nor the methods described herein to detect a pre- grouping violation, are restricted to environments using only two multi-patterning masks.
- step 3710 a loop is begun which iterates through a preexisting list of pre-groups.
- step 3712 it is determined whether the current pre-group contains the current island. If not, then iteration continues to the next pre-group (step 3710). If so, then it is next determined in step 3714 whether the current pre-group has already been given a color. If not, then in step 3716 the current pre-group is assigned the same color as was assigned to the current island (from step 3220), and no pre-grouping violation has occurred. The iteration then continues to the next pre-group (step 3710).
- step 3714 it is determined that the current pre- group is already colored, then in step 3718 it is determined whether that color is the same as the color of the current island. If so then no pre-grouping violation has occurred and the iteration then continues to the next pre-group (step 3710). If the color of the current pre-group differs from the color of the current island, then a pre-group violation has been found. In step 3720 the path is found between the current island and an a color island of the current pre-group, and that path is saved for display to the user or other reporting. The iteration then continues to the next pre-group (step 3710). When the iteration completes checking all pre-groups, in step 3722 the process then returns to Fig. 32.
- the routine returns to the contour walking process (Fig. 31).
- the contour walking process next in step 31 12, refers to the corner data structure of the current corner to identify an edge of the current island that is adjacent to the current corner. Referring to Fig. 11A, for example, this can be either ori_x or ori_y, depending on whether the next edge in the contour walk is a vertical edge or a horizontal edge. Ori x and ori y each point to an edge data structure, which in turn identifies the two endpoints of the edge.
- step 31 12 only those edge-edge candidates whose head end is represented as a key in the l st _edge_map multimap, are considered in step 31 12.
- Fig. 33 is a flow chart detail of step 31 12 of Fig. 31. As it bears many similarities with the flow chart of Fig. 32, the description of Fig. 32 applies to Fig. 33 as well to the extent not in conflict with this description of Fig. 33.
- the routine first iterates through all the edge-edge candidates in l st _edge_map for which the current edge is the key edge.
- the far edge of the current candidate is identified. If it is not already assigned to an existing island (step 3314), then in step 3316 one corner of the far edge is merely inserted into candidate_corner_map as identifying a newly discovered island to be considered later (see step 3012 (Fig.
- step 3318 it is determined whether that island (now sometimes called the far island) has been colored. If not, then it is not yet connected to a tree. In this case, in step 3320, it is connected to the current tree. The arc for the new connection is the current edge-edge candidate, and the color assigned to the far island is whatever color is opposite of the current island. The routine then returns to step 3310 to consider the next edge-edge candidate in lst_edge_map involving the current edge.
- step 3317 an identification of the island pair is inserted into TPT island map.
- step 3322 the current tree is checked for a multi- patterning pre-coloring violation.
- step 3324 the current tree is checked for a multi-patterning pre-grouping violation.
- step 3326 it is determined whether the cycle is even or odd. If the two islands are colored oppositely, then the cycle is even and nothing need be done, connected or stored. The routine merely returns to step 3310 to consider the next edge-edge candidate in lst_edge_map involving the current edge. If the two islands have the same color, however, then the cycle is odd. In step 3328 the odd cycle is inserted into the odd cycle collection structure for later presentation to the user. Again, there is no need to connect the new arc in the tree, so the routine merely returns to step 3310 to consider the next edge-edge candidate in lst_edge_map involving the current edge.
- step 3310 After all the edge-edge candidates in lst edge map involving the current edge have been considered (step 3310), all the edge-edge candidates keyed by the current edge are erased from lst_edge_map (step 3330). The routine then returns (step 3332) to the contour walking process (Fig. 31).
- Fig. 34 is a flow chart detail of step 31 14 of Fig. 31, which is similar to that in Fig. 33.
- the descriptions of Figs. 32 and 33 apply to Fig. 34 as well, to the extent not in conflict with this description of Fig. 34.
- step 3410 the routine first iterates through all the edge- edge candidates in 2 nd _edge_map for which the current edge is the key edge.
- step 3412 the far edge of the current candidate is identified. If it is not already assigned to an existing island (step 3414), then in step 3416 one corner of the far edge is merely inserted into candidate_corner_map as identifying a newly discovered island to be considered later (see step 3012 (Fig. 30)). It does not matter which corner of that edge is selected, since both corners would identify the same island. The corner can be determined easily because the edge data structure already identifies both endpoints of the edge. The routine then returns to step 3410 to consider the next edge-edge candidate in 2 nd _edge_map involving the current corner.
- step 3418 it is determined whether the far island has already been colored. If not, then it is not yet connected to a tree. In this case, in step 3420, it is connected to the current tree. The arc for the new connection is the current edge-edge candidate, and the color assigned to the far island is whatever color is opposite of the current island. The routine then returns to step 3410 to consider the next edge-edge candidate in 2 nd _edge_map involving the current edge.
- step 3417 an identification of the island pair is inserted into TPT island map.
- step 3422 the current tree is checked for a multi- patterning pre-coloring violation.
- step 3424 the current tree is checked for a multi-patterning pre-grouping violation.
- step 3426 it is now determined whether the cycle that would be created by adding a new arc is even or odd. If the two islands are colored oppositely, then the cycle is even and nothing need be done, connected or stored. The routine merely returns to step 3410 to consider the next edge-edge candidate in 2 n _edge_map involving the current edge. If the two islands have the same color, however, then the cycle is odd. In step 3428 the odd cycle is inserted into the odd cycle collection structure for later presentation to the user. Again, as there is no need to connect the new arc in the tree, the routine then returns to step 3410 to consider the next edge-edge candidate in 2 nd _edge_map involving the current edge.
- step 3410 After all the edge-edge candidates in 2 nd _edge_map involving the current edge have been considered (step 3410), all the edge-edge candidates keyed by the current edge are erased from 2 nd _edge_map (step 3430). The routine then returns (step 3432) to the contour walking process (Fig. 31).
- step 31 16 the current corner is replaced by the corner at the far end of the adjacent edge considered in steps 3112 and 3114.
- step 3118 it is determined whether the new current corner has already been considered and processed. If not, then the routine returns to step 31 10 to process the corner-corner candidate involving this new corner. If the new current corner has already been considered and processed, then the entire contour of the current island has been walked and in step 3120 the routine returns to Fig. 29.
- step 2916 after the current island contour has been walked in step 2916 and all discovered DPT odd cycle violations have been written into the odd cycle collection structure, the routine returns to step 2914 to proceed to another island from which to detect more violations.
- triple patterning rule checks can be performed (step 2917), as well as triple patterning rule checks with pre-coloring (step 2919).
- Fig. 38 is a flow chart detail of step 2917 for checking for triple patterning coloring violations.
- a triple patterning coloring violation arises if the graph of islands interconnected by multi-patterning candidate spacing violations cannot be colored by three different colors. Because any cycle that does not constitute a DPT odd cycle can by definition be colored with only two colors, all TPT coloring violations can be found by starting with only those islands that form a DPT odd cycle.
- the present embodiment therefore begins with the odd cycles found in the iteration of steps 2914 and 2916 and searches for one more island (a "common" island) which has a multi-patterning candidate spacing violation against all of the islands in the cycle. If one such island can be found, then another color is needed to color the graph beyond the three or more needed to color the DPT odd cycle. The graph thus cannot be colored with only three colors and a triple patterning coloring violation has been found.
- step 3810 the violation check starts a loop through all the odd cycles collected previously in steps 3228, 3328 and 3428 (Figs. 32, 33 and 34).
- step 3812 from the current odd cycle, a starting island is selected for beginning the search for a common island. For convenience, this starting island is referred to herein as island A.
- step 3814 a loop is begun through all the far islands which form multi-patterning candidate spacing violations with the current island A. The current far island in this loop is referred to herein as island B.
- step 3816 a tentative TPT violation set X is cleared, and the island pair BA is inserted into the set.
- step 3818 another loop is begun through the remaining islands (other than starting island A) from the current odd cycle.
- the islands visited in this loop are referred to herein as islands C.
- step 3820 it is determined whether island B (the current far island) forms a multi-patterning candidate spacing violation with current island C from the current odd cycle. If so, then the island pair BC is inserted into the tentative TPT violation set X (step 3822), and the loop 3818 continues to the next island C from the current odd cycle. If island B does not form a multi- patterning candidate spacing violation with current island C, then current far island B is not a "common" island with which to form a TPT coloring violation.
- the routine therefore returns to step 3814 to consider the next far island B forming a multi-patterning candidate spacing violation with the starting island A in the current odd cycle. If there are no more far islands B forming a multi-patterning candidate spacing violation with the starting island A, then no TPT coloring violation has been found based on the current odd cycle. The loop then returns to step 3810 to check the next odd cycle in the odd cycle collection.
- step 3818 if the loop through all the next islands C from the current odd cycle completes, and the loop did not break because one of the islands C did not form a multi-patterning candidate spacing violation with the current far island B, then far island B constitutes a "common" island which has a multi-patterning candidate spacing violation against all of the islands in the current odd cycle.
- step 3824 therefore, a TPT coloring violation has been found and the current odd cycle is saved, along with the current set X, for display to the user or other reporting. Loop 3810 then continues with the next odd cycle in the odd cycle collection.
- the odd cycle collection structure is then cleaned up by deleting duplicate cycles (step 2920) and deleting cycles that do not include a moving object (step 2922).
- Pre-coloring paths and pre-grouping paths are also cleaned up in the same way. It is useful in real time editing to delete cycles and paths that do not include a moving object (step 2922) because the multi-patterning rule check is performed in response to each tick of the mouse as the user drags objects into desired positions. What the user is most interested in during this process is how near to other objects the moving objects can be moved before the violation occurs.
- the user is less interested in existing violations involving static shapes, which pre-existed the moving operation.
- pre-existing violations involving only static shapes are not shown to the user and do not clutter the display. This step can be omitted in a different embodiment.
- the routine then returns to Fig. 17.
- step 1715 after the DPT rules are checked in step 1715, other rules, such as via- based rules, are checked in step 1716.
- step 326 the system saves the design rule bounds calculated in steps 320 and 322 to a cache.
- step 324 the system reports any design rule violations to the user or to another entity.
- the current editing command did not involve any movement of shapes, then nothing is output in this step.
- steps 314-322 occurs when the user begins dragging behavior, in which case any design rule violations can be reported. If reported to the user, the report can take place promptly (e.g. for real time feedback) or later (e.g. if performed as a batch job). Where the violations are reported to the user promptly, this enables the user to modify the layout to correct for the design rule violations.
- the design rule violations are reported by way of visual indications on the user's monitor, as markers on the layout region itself.
- near violations are also indicated.
- Marker information can be anything that can be used to render a visual indicator of the violation, but preferably it identifies a rectangle for designating the location of the violation within the layout region.
- the rectangle is shown in a size which indicates the magnitude of the primary value of the rule being violated. This information can be very useful as it indicates graphically how much is needed to correct the violation. For near-violations, it can be a ruler indicating the current spacing.
- a rectangle might encompass the (too-small) spacing area, or a ruler disposed across the space might indicate actual spacing if it is larger than the minimum.
- this can take the form of a log file or other record of the violations found.
- reporting can take the form of the modified layout resulting from the corrections.
- the marker information is collected in a map structure.
- the marker information is converted to visible form on the user's monitor or provided to another entity.
- design rule bounds As shown in Fig. 3, once design rule bounds have been saved to cache and any markers have been output, the system returns to step 312 to await the next editing command. Significantly, since design rule bounds calculated in steps 314-322 do not depend on the knowing the direction or distance of the subsequent drag operation, they are performed prior to receipt by the system of the next user command. There is no need to await the next drag operation before performing these calculations. Since knowing the design rule bounds greatly simplifies the determination of whether the drag violates a design rule, or what is the best DRC- clean position if it does, the pre-calculation of such bounds before receipt of such next user command can enable immediate user feedback and true real-time rapid manual editing of the layout with optimum DRC-clean placement of geometries.
- step 313 if the current editing command involves dragging selected objects, then the design rule bounds that were pre-calculated during a previous traversal through steps 314-322 are used to assist the placement of the objects at the design rule boundary nearest the user's desired destination point. Note that the current drag operation may be just the next increment of a longer drag, in which case the most recent traversal through steps 314-322 (and therefore the most recent pre-calculation of design rule bounds) will have been in response to a previous drag command rather than the selection command just described. Either way, in step 328 the system determines whether the destination position of the drag event exceeds the pre- calculated design rule bounds. If not, then the system merely moves the editing objects to the target position.
- the system adjusts the target position to the position nearest the user's target position, but which does not violate any of the design rules in the set of design rules enabled for DRC-assist.
- Push-through is also performed here.
- the present embodiment is intended to assist in continuous geometry changes associated with mouse drag. In the case of sudden geometry changes associated with the drag, which is possible for some of the user commands, step 328 will not do anything to block them. The operation is treated the same as push-through.
- step 328 The starting position of the objects selected for editing is pl(x,y), and the user's destination or target position is p2(x,y):
- push_through_threshold this means the user has pushed through. Continue to step 314 without adjusting p2. Objects will appear to jump to destination position if they had been stopped and a DRC-clean position earlier in the drag behavior. Note that push-through can be disabled by setting the push_through_threshold to infinity.
- the above pseudocode blocks the user's drag operation from exceeding any of the linear slacks, and operates by adjusting the destination position p2 to the nearest position that prevents any such violation.
- the system checks the corner and conditional slacks, based on the adjusted destination position p2, and further adjusts p2 to avoid violating any of those.
- This latter process involves adjusting the destination point in two separate monotonic sequences.
- the first sequence is X_first
- the second sequence is Y_first.
- Each sequence is monotonic in the sense that no step in the sequence backtracks either horizontally or vertically.
- the X first sequence is to the right, then upward, then to the right, and so on until either the destination point is reached, or both the right and upward directions are blocked.
- the corresponding Y_first sequence is the same, except that it begins with an adjustment upward.
- the destination point is adjusted by a small amount, and the four linear slacks (Ls, Rs, Bs, Ts) are recalculated based on adjusted positions and all the corner and conditional slacks.
- step 328 Whether or not step 328 results in any adjustment of the destination position p2 as signaled by the user's drag command, the system next traverses steps 314-326 again to check the new position against the design rules and output markers if appropriate, and to pre-calculate, in advance of the next editing command, a new set of design rule bounds based on the new position p2 of the selected objects.
- the system then returns to step 312 to await the next editing command.
- This may be as simple as another slight movement of the current editing shapes being dragged across the layout region, which would result in another traversal through steps 314-326 of Fig. 3, thus causing a change in the visual indicator as seen by the user and yet another precalculation of design rule bounds in preparation for yet another editing command. Because of the efficiency of the design rule checking techniques and the DRC assistance techniques described herein, in the embodiment herein the new markings will appear nearly immediately with each drag of the editing shapes and a movement which exceeds a design rule bound will be immediately stopped.
- Fig. 21 A is an example visual indication of a violation of a minimum spacing rule.
- editing rectangle 21 12 has been moved too close to static rectangle 21 10, and a box 2114 appears indicating how much end-of-line spacing is required by the rule. If the minimum spacing value that is being violated is an absolute value, then the box 2114 might appear in one color, whereas if it is a preferred value that is being violated, then the box 2114 might appear in another color. A third color can be used to indicate a most preferred value, and so on.
- the box 2114 disappears and a ruler appears, such as ruler 2116 in Fig. 2 IB.
- Ruler 21 16 indicates the actual distance between the end of editing shape 21 12 and the nearest edge of static shape 2110, and thereby indicates how much closer shape 2112 can be brought to shape 21 10 before the minimum spacing rule will be violated.
- Fig. 21 C is an example visual indication of a violation of a corner-to-corner spacing rule.
- editing rectangle 21 12 has been moved too close to a corner of static rectangle 2110, and a box 21 18 appears indicating the violation.
- the box 2118 can appear in either of two colors to indicate violation of an absolute or preferred value for this design rule.
- the box 2114 disappears and a ruler appears, such as corner-to-corner ruler 2120 in Fig. 21D.
- Ruler 2120 indicates the actual corner-to-corner distance between the end of editing shape 21 12 and the nearest edge of static shape 2110.
- Fig. 2 IE is an example visual indication of a violation of a corner-to-corner minimum dimension rule.
- a corner of editing rectangle 21 12 overlaps a corner of a same layer static rectangle 21 10, but the overlap is too small to satisfy the minimum dimension rule.
- a box 2122 appears indicating the violation.
- Fig. 35 is an example visual indication of a layout region showing two DPT odd cycle violations.
- the hatched regions 3510, 3512 and 3514 represent three islands, while the markers (rectangles with crossing diagonals) 3520, 3522, 3524, 3526 and 3528 are markers produced by the DPT violation checker indicating DPT spacing candidates.
- the candidates illustrated are no longer merely candidates in Fig. 35, since they do form actual odd cycle violations. However, they are still referred to sometimes herein as "candidates" for convenience of discussion.
- Marker 3520 indicates a corner-corner candidate, in which one corner of island 3510 is closer to a corner of island 3512 than the DPT minimum corner-corner spacing.
- markers 3522, 3524, 3526 and 3528 all indicate edge-edge candidates, in which an edge of one island is closer to an edge of another island than the relevant DPT edge-edge spacing rule.
- the length of the rectangle in the dimension along the gap between the two edges is merely the length of the overlap of the two edges.
- the length of the rectangle in the dimension across the gap between the two edges indicates the minimum edge-edge spacing called for by the relevant DPT rule, so the rectangle may overlap the two edges in this dimension.
- the extent of the overlap indicates visually to the user roughly by how far the island edges must be moved apart in order to remove that particular edge-edge spacing violation.
- Fig. 35 uses polygons 3530 and 3532 with broken lines to indicate cycles. Since each of these cycles connect an odd number of islands (three each), they indicate to the user two DPT odd cycle violations. The user need only remove one of the DPT spacing violations in a cycle in order to remove the entire DPT odd cycle violation. Not only would the marker indicating the removed spacing violation disappear, but the broken lines indicating the odd cycle violation would also then disappear, as would all of the DPT candidate markers involved in that cycle (unless they are also part of another DPT odd cycle violation). If the number of islands making up a cycle is even, then no broken lines would be drawn for that cycle as no DPT violation has occurred. Nor would the spacing markers for DPT spacing violations be drawn for that cycle, again unless they are also part of a DPT odd cycle violation.
- the candidate markers identify to the user not only which islands are too near each other, but also (a) which kind of violation has occurred (edge-edge or corner- corner), (b) exactly which edges and corners are involved in the violation, and (c) roughly how far the islands need to move away from each other in order to remove each of the DPT spacing violations.
- This helps the user to know, visually and intuitively, which islands need to be moved and in which direction, and roughly by how far, in order to remove the violation.
- the cycles are indicated among the candidates, not the islands.
- the broken lines 3530 and 3532 interconnect the centerpoints of the markers identifying the individual spacing violations which form the cycle, not the islands which form the cycle. This arrangement again indicates much more intuitively to the user which islands need to be moved and in which direction. That information can be more difficult to gather where the DPT odd cycle violation polygon has its vertices placed somewhere in the middle of the islands themselves.
- Island 3512 in particular, is non-rectangular. It is an advantageous feature of the DPT odd cycle detection methods described herein that layout shapes do not need to be partitioned or fractured into rectangles before searching for violations. In part this results from the portion of the method which walks the island contour, and in part it results from the availability of sufficient corner and edge information developed in advance.
- preferably more than two) of the corner data structures are completely populated before the corner-based rules are checked.
- DPT odd cycle checking not all the data gathered for each corner is required. Therefore, while again it is most advantageous to populate at least two of the corner data structures completely before the DPT odd cycle rules are checked, some benefits of the invention can be obtained even if only the following information about such corners are populated in advance: (x,y), s_ray_x, and s_ray_y.
- ori_x and ori_y should be populated in advance if a contour walking technique such as in step 2916 (Fig. 29) is used.
- multi-patterning minimum spacing constraint violations and coloring violations formed by cycles of such violations have been given as examples. It will be appreciated, however, that aspects of the invention also apply to other types of multi-patterning rules as well. In some embodiments, multi-patterning rules can become as complex as, or more complex than, the single-layer design rules described elsewhere herein.
- Fig. 22 is a simplified block diagram of a computer system 2210 that can be used to implement software incorporating aspects of the present invention.
- Computer system 2210 includes a processor subsystem 2214 which communicates with a number of peripheral devices via bus subsystem 2212. These peripheral devices may include a storage subsystem 2224, comprising a memory subsystem 2226 and a file storage subsystem 2228, user interface input devices 2222, user interface output devices 2220, and a network interface subsystem 2216. The input and output devices allow user interaction with computer system 2210.
- Network interface subsystem 2216 provides an interface to outside networks, including an interface to
- Communication network 2218 may comprise many interconnected computer systems and communication links.
- communication links may be wireline links, optical links, wireless links, or any other mechanisms for communication of information. While in one embodiment, communication network 2218 is the Internet, in other embodiments, communication network 2218 may be any suitable computer network.
- NICs network interface cards
- ICs integrated circuits
- ICs integrated circuits
- macrocells fabricated on a single integrated circuit chip with other components of the computer system.
- User interface input devices 2222 may include a keyboard, pointing devices such as a mouse, trackball, touchpad, or graphics tablet, a scanner, a touch screen incorporated into the display, audio input devices such as voice recognition systems, microphones, and other types of input devices.
- pointing devices such as a mouse, trackball, touchpad, or graphics tablet
- audio input devices such as voice recognition systems, microphones, and other types of input devices.
- use of the term "input device” is intended to include all possible types of devices and ways to input information into computer system 2210 or onto computer network 2218.
- User interface output devices 2220 may include a display subsystem, a printer, a fax machine, or non-visual displays such as audio output devices.
- the display subsystem may include a cathode ray tube (CRT), a flat-panel device such as a liquid crystal display (LCD), a projection device, or some other mechanism for creating a visible image.
- the display subsystem produces the images illustrated in Figs. 21A-21E, for example.
- the display subsystem may also provide non-visual display such as via audio output devices.
- output device is intended to include all possible types of devices and ways to output information from computer system 2210 to the user or to another machine or computer system.
- Storage subsystem 2224 stores the basic programming and data constructs that provide the functionality of certain embodiments of the present invention.
- the various modules implementing the functionality of certain embodiments of the invention may be stored in storage subsystem 2224. These software modules are generally executed by processor subsystem 2214.
- Memory subsystem 2226 typically includes a number of memories including a main random access memory (RAM) 2230 for storage of instructions and data during program execution and a read only memory (ROM) 2232 in which fixed instructions are stored.
- File storage subsystem 2228 provides persistent storage for program and data files, and may include a hard disk drive, a floppy disk drive along with associated removable media, a CD-ROM drive, an optical drive, or removable media cartridges.
- the databases and modules implementing the functionality of certain embodiments of the invention may be stored by file storage subsystem 2228.
- the host memory 2226 contains, among other things, computer instructions which, when executed by the processor subsystem 2214, cause the computer system to operate or perform functions as described herein. As used herein, processes and software that are said to run in or on "the host” or "the computer system”, execute on the processor subsystem 2214 in response to computer instructions and data in the host memory subsystem 2226 including any other local or remote storage for such instructions and data.
- Bus subsystem 2212 provides a mechanism for letting the various components and subsystems of computer system 2210 communicate with each other as intended. Although bus subsystem 2212 is shown schematically as a single bus, alternative embodiments of the bus subsystem may use multiple busses.
- Computer system 2210 itself can be of varying types including a personal computer, a portable computer, a workstation, a computer terminal, a network computer, a television, a mainframe, or any other data processing system or user device. Due to the ever-changing nature of computers and networks, the description of computer system 2210 depicted in Fig. 22 is intended only as a specific example for purposes of illustrating certain embodiments of the present invention. In another embodiment, the invention can be
- the steps set forth in the flow charts and descriptions herein are performed by a computer system having a processor such as processor subsystem 2214 and a memory such as storage subsystem 2224, under the control of software which includes instructions which are executable by the processor subsystem 2214 to perform the steps shown.
- the software also includes data on which the processor operates.
- the software is stored on a computer readable medium, which as mentioned above and as used herein, is one on which information can be stored and read by a computer system. Examples include a floppy disk, a hard disk drive, a RAM, a CD, a DVD, flash memory, a USB drive, and so on.
- the computer readable medium may store information in coded formats that are decoded for actual use in a particular data processing system.
- a single computer readable medium may also include more than one physical item, such as a plurality of CD-ROMs or a plurality of segments of RAM, or a combination of several different kinds of media.
- the combination is a machine which performs the steps set forth herein. Means for performing each step consists of the computer system (or only those parts of it that are needed for the step) in combination with software modules for performing the step.
- the computer readable medium storing the software is also capable of being distributed separately from the computer system, and forms its own article of manufacture.
- the geometry file or files storing the layout, the relationship master dataset, and the layout topology database are themselves stored on computer readable media. Such media can be distributable separately from the computer system, and form their own respective articles of manufacture. When combined with a computer system programmed with software for reading, revising, and writing the geometry files, and for design rule checking, they form yet another machine which performs the steps set forth herein.
- the "identification" of an item of information does not necessarily require the direct specification of that item of information.
- Information can be “identified” in a field by simply referring to the actual information through one or more layers of indirection, or by identifying one or more items of different information which are together sufficient to determine the actual item of information.
- indicate is used herein to mean the same as “identify”.
- a given signal, event or value is "responsive" to a predecessor signal, event or value if the predecessor signal, event or value influenced the given signal, event or value. If there is an intervening processing element, step or time period, the given signal, event or value can still be “responsive” to the predecessor signal, event or value. If the intervening processing element or step combines more than one signal, event or value, the signal output of the processing element or step is considered “responsive" to each of the signal, event or value inputs. If the given signal, event or value is the same as the predecessor signal, event or value, this is merely a degenerate case in which the given signal, event or value is still considered to be “responsive” to the predecessor signal, event or value. "Dependency" of a given signal, event or value upon another signal, event or value is defined similarly.
- the method comprising the steps of:
- the computer system iteratively building a data structure identifying the plurality of islands and a plurality of relationships among respective pairs of the islands, each of the relationships indicating that the pair of islands related by the relationship violates one of the multi-patterning spacing constraints;
- Clause 3 A method according to any of clauses 1-2, wherein the data structure comprises a graph having a plurality of nodes and a plurality of arcs interconnecting the nodes, each of the nodes representing one of the islands and each of the arcs representing one of the relationships.
- no island is represented by more than one node
- Clause 5 A method according to any of clauses 3-4, wherein the step of building the data structure comprises steps of:
- Clause 6 A method according to clause 5, wherein the step of detecting a multi- patterning coloring violation comprises a step of detecting that the cycle has an odd number of arcs.
- Clause 7 A method according to any of clauses 5-6, further comprising steps of: assigning a color to the root node in conjunction with the step of inserting the root node into the graph; and
- the given arc in conjunction with the insertion of each given arc in the step of iteratively inserting arcs, the given arc interconnecting a given one of the further nodes with a respective parent node in the graph, assigning a color to the given further node which does not conflict with the color assigned to the respective parent node,
- step of detecting a multi-patterning coloring violation comprises a step of detecting that the particular arc would interconnect two nodes in the graph whose colors conflict.
- Clause 8 A method according to clause 7, further comprising a step of inserting into a multi-patterning cycle coloring violation data structure, an identification of the cycle.
- Clause 10 A method according to any of clauses 5-8, further comprising a step of resuming the step of iteratively inserting arcs, without inserting the particular arc into the graph. [00293] Clause 1 1. A method according to any of clauses 1-10, wherein the pair of islands related by one of the relationships in the data structure violates more than one of the multi- patterning spacing constraints.
- Clause 12 A method according to any of clauses 1-1 1, wherein the step of the computer system iteratively building a data structure comprises steps of:
- Clause 13 A method according to clause 12, wherein the step of iterating among corners of the current island comprises a step of iterating among corners of the current island sequentially.
- Clause 14 A method according to any of clauses 12-13, wherein the step of detecting a multi-patterning coloring violation among islands represented in the data structure comprises, during the iteration among corners of the current island, steps of:
- Clause 15 A method according to any of clauses 12-14, further comprising steps of:
- Clause 16 A method according to clause 15, wherein the steps of for each current island iterating among corners of the current island, and for the current island iterating among edges of the current island, collectively comprise steps of visiting all corners and all edges of the current island.
- Clause 17 A method according to any of clauses 1-16, wherein the multi- patterning coloring violation comprises a pre-coloring violation.
- Clause 18 A method according to any of clauses 1-17, wherein the multi- patterning coloring violation comprises a pre-grouping violation.
- Clause 19 A method according to any of clauses 1-18, wherein the multi- patterning coloring violation comprises a triple-patterning coloring violation.
- Clause 20 A method according to any of clauses 1-19, wherein the step of reporting the multi-patterning coloring violation to a user comprises the step of indicating the multi-patterning coloring violation to the user visually.
- Clause 21 A method according to clause 20, wherein the step of indicating the multi-patterning coloring violation to the user visually comprises a step of pointing out the multi- patterning spacing constraint violations which make up a cycle.
- Clause 22 A method according to any of clauses 20-21, wherein the step of indicating the multi-patterning coloring violation to the user visually comprises a step of representing a particular one of the multi-patterning spacing constraint violations which make up a cycle by using a visual marker, the size of the marker being dependent upon a value of a multi- patterning spacing constraint being violated.
- Clause 23 A method according to clause 22, wherein the particular multi- patterning spacing constraint violation comprises a corner-corner multi-patterning spacing violation,
- the marker representing the particular constraint violation comprises a rectangle visually interconnecting a pair of island corners which violate the corner-corner multi- patterning spacing constraint.
- Clause 24 A method according to clause 23, wherein the rectangle has a size which indicates visually a minimum spacing called for by the corner-corner multi-patterning spacing constraint.
- Clause 25 A method according to any of clauses 22-24, wherein the particular multi-patterning spacing constraint violation comprises an edge-edge multi-patterning spacing violation,
- the marker representing the particular constraint violation comprises a rectangle visually interconnecting a pair of island edges which violate the edge-edge multi- patterning spacing constraint.
- Clause 26 A method according to clause 25, wherein the rectangle has a length in a dimension perpendicular to the two edges which indicates a minimum spacing called for by an edge-edge multi-patterning spacing constraint.
- Clause 27 A method according to any of clauses 22-26, wherein the step of the computer system iteratively building a data structure is performed in response to a user behavior in which a set of at least one of the islands in the plurality of islands is edited,
- step of reporting the multi-patterning coloring violation to a user comprises the step of indicating the multi-patterning coloring violation to the user sufficiently promptly after the user behavior so that the user can correct the multi-patterning coloring violation in real time.
- Clause 28 A method according to any of clauses 22-26, wherein the step of the computer system iteratively building a data structure is performed in response to a user selecting a set of at least one portion of the islands in the plurality of islands, depressing a mouse button and dragging the selected portion to a modified position in the layout,
- a system for checking a set of multi-patterning layout design rules on a region of an integrated circuit layout, the layout including a plurality of islands comprising: a computer system having access to a design rule data set indicating values for multi- patterning spacing constraints among islands in a particular layer, the computer system further having access to computer instructions and data which, when applied to the computer system, perform the steps of:
- Clause 30 A system according to clause 29, wherein the data structure comprises a graph having a plurality of nodes and a plurality of arcs interconnecting the nodes, each of the nodes representing one of the islands and each of the arcs representing one of the relationships, and wherein iteratively building a data structure comprises:
- Clause 31 A system according to clause 30, wherein the computer instructions and data, when applied to the computer system, perform further steps of:
- the given arc in conjunction with the insertion of each given arc in the step of iteratively inserting arcs, the given arc interconnecting a given one of the further nodes with a respective parent node in the graph, assigning a color to the given further node which does not conflict with the color assigned to the respective parent node,
- step of detecting a multi-patterning coloring violation comprises a step of detecting that the particular arc would interconnect two nodes in the graph whose colors conflict.
- Clause 32 A system according to any of clauses 29-31, wherein iteratively building a data structure comprises:
- Clause 34 A system according to any of clauses 32-33, wherein the computer instructions and data, when applied to the computer system, perform further steps of:
- Clause 35 A system according to any of clauses 29-34, wherein the multi- patterning coloring violation comprises a member of the group consisting of: a pre-coloring violation, a pre-grouping violation, and a triple-patterning coloring violation.
- Clause 36 A system according to any of clauses 29-35, wherein reporting the multi-patterning coloring violation to a user comprises indicating the multi-patterning coloring violation to the user visually.
- Clause 38 A system according to clause 37, wherein the particular multi- patterning spacing constraint violation comprises a corner-corner multi-patterning spacing violation,
- the marker representing the particular constraint violation comprises a rectangle visually interconnecting a pair of island corners which violate the corner-corner multi- patterning spacing constraint.
- Clause 40 A system according to any of clauses 37-39, wherein the particular multi-patterning spacing constraint violation comprises an edge-edge multi-patterning spacing violation,
- the marker representing the particular constraint violation comprises a rectangle visually interconnecting a pair of island edges which violate the edge-edge multi- patterning spacing constraint.
- Clause 42 A system according to any of clauses 36-41, wherein iteratively building a data structure is performed in response to a user behavior in which a set of at least one of the islands in the plurality of islands is edited,
- reporting the multi-patterning coloring violation to a user comprises indicating the multi-patterning coloring violation to the user sufficiently promptly after the user behavior so that the user can correct the multi-patterning coloring violation in real time.
- Clause 43 A system according to any of clauses 36-42, wherein iteratively building a data structure is performed in response to a user selecting a set of at least one portion of the islands in the plurality of islands, depressing a mouse button and dragging the selected portion to a modified position in the layout,
- a computer readable storage medium having stored thereon a plurality of software code portions and data which when executed by the computer system perform the steps of:
- the method comprising steps of:
- the computer system populating a layout topology database with values in dependence upon the respective edge location;
- Clause 46 A method according to clause 45, wherein the step of populating a layout topology database with values in dependence upon the respective edge location comprises a step of populating the layout topology database with values in dependence upon a location of an endpoint of the respective edge.
- Clause 47 A method according to any of clauses 45-46, wherein the step of populating a layout topology database with values in dependence upon the respective edge location comprises a step of populating the layout topology database with a distance from a first one of the edges to a second one of the edges of a shape in the plurality of shapes, the first and second edges being on different islands,
- step of detecting a subset of at least one candidate violation of the multi- patterning spacing constraints comprises a step of comparing the distance with a value of an edge-edge multi-patterning spacing constraint in the design rule data set.
- Clause 48 A method according to any of clauses 45-47, comprising a step of, in conjunction with each detection of a candidate violation in the step of detecting, inserting an identification of the candidate violation into a database of candidate violations of the multi- patterning spacing constraints,
- step of searching the candidate violations in the subset for multi- patterning coloring violations comprises a step of searching the database of candidate violations for multi-patterning coloring violations
- Clause 50 A method according to any of clauses 45-49, wherein the step of searching the candidate violations in the subset for multi-patterning coloring violations comprises steps of: the computer system, in dependence upon the database of candidate violations, iteratively building a data structure identifying the plurality of islands and a plurality of relationships among respective pairs of the islands, each of the relationships indicating that the pair of islands related by the relationship violates one of the multi-patterning spacing constraints; and
- Clause 51 A method according to any of clauses 45-50, wherein the multi- patterning spacing constraints are double-patterning spacing constraints.
- Clause 52 A method according to any of clauses 45-51, wherein the step of searching the candidate violations in the subset for multi-patterning coloring violations, comprises a step of searching for pre-coloring violations.
- Clause 53 A method according to any of clauses 45-52, wherein the step of searching the candidate violations in the subset for multi-patterning coloring violations, comprises a step of searching for pre-grouping violations.
- Clause 54 A method according to any of clauses 45-53, wherein the step of searching the candidate violations in the subset for multi-patterning coloring violations, comprises a step of searching for triple-patterning coloring violations.
- a system for checking a set of multi-patterning layout design rules on a particular layer of a region of an integrated circuit layout, the layout including a plurality of shapes, comprising:
- a computer system having access to a design rule data set indicating values for multi- patterning spacing constraints among islands in the particular layer, the computer system further having access to computer instructions and data which, when applied to the computer system, perform the steps of:
- the computer system populating a layout topology database with values in dependence upon the respective edge location;
- Clause 56 A system according to clause 55, wherein searching the candidate violations in the subset for multi-patterning coloring violations comprises:
- Clause 57 A system according to any of clauses 55-56, wherein the multi- patterning spacing constraints are double-patterning spacing constraints.
- Clause 58 A system according to any of clauses 55-57, wherein searching the candidate violations in the subset for multi-patterning coloring violations, comprises a member of the group consisting of: searching for pre-coloring violations, searching for pre-grouping violations, and searching for triple-patterning coloring violations.
- a computer readable storage medium having stored thereon a plurality of software code portions and data which when executed by the computer system perform the steps of:
- the computer system populating a layout topology database with values in dependence upon the respective edge location;
- the method comprising the steps of:
- the computer system detecting a set of islands forming a double-patterning coloring violation
- Clause 61 A method according to clause 60, wherein the step of detecting a triple-patterning coloring violation comprises detecting that the common island is located too near to each of the islands in the set to satisfy all of the multi-patterning spacing constraints with respect to each of the islands in the set.
- Clause 62 A method according to clause 61, wherein the step of detecting the set of islands forming a double-patterning coloring violation comprises detecting an odd-length cycle of islands in the plurality of islands for which each particular island in the cycle is located too near to its next island in the cycle to satisfy all of the multi-patterning spacing constraints.
- Clause 63 A method according to any of clauses 61-62, wherein the step of detecting that the common island is located too near to each of the islands in the set comprises steps of:
- a system for checking a set of multi-patterning layout design rules on a region of an integrated circuit layout, the layout including a plurality of islands comprising: a computer system having access to a design rule data set indicating values for multi- patterning spacing constraints among islands in a particular layer, the computer system further having access to computer instructions and data which, when applied to the computer system, perform the steps of: detecting a set of islands forming a double-patterning coloring violation; searching for a triple-patterning coloring violation among all the islands in the set and a common island outside the set; and
- Clause 65 A system according to clause 64, wherein detecting a triple-patterning coloring violation comprises detecting that the common island is located too near to each of the islands in the set to satisfy all of the multi-patterning spacing constraints with respect to each of the islands in the set.
- a computer readable storage medium having stored thereon a plurality of software code portions and data which when executed by the computer system perform the steps of:
- a method for checking a set of multi-patterning layout design rules on a region of an integrated circuit layout, the layout including a plurality of islands comprising: detecting a multi-patterning coloring violation among islands represented in the data structure; and
- Clause 68 A method according to clause 67, wherein the step of reporting the multi-patterning coloring violation to the user visually comprises a step of pointing out the multi- patterning spacing constraint violations which make up a cycle.
- Clause 69 A method according to any of clauses 67-68, wherein the step of reporting the multi-patterning coloring violation to the user visually comprises a step of representing a particular one of the multi-patterning spacing constraint violations which make up a cycle by using a visual marker, the size of the marker being dependent upon a value of a multi- patterning spacing constraint being violated.
- Clause 70 A method according to clause 69, wherein the particular multi- patterning spacing constraint violation comprises a corner-corner multi-patterning spacing violation,
- the marker representing the particular constraint violation comprises a rectangle visually interconnecting a pair of island corners which violate the corner-corner multi- patterning spacing constraint.
- Clause 71 A method according to clause 70, wherein the rectangle has a size which indicates visually a minimum spacing called for by the corner-corner multi-patterning spacing constraint.
- Clause 72 A method according to any of clauses 69-71, wherein the particular multi-patterning spacing constraint violation comprises an edge-edge multi-patterning spacing violation,
- the marker representing the particular constraint violation comprises a rectangle visually interconnecting a pair of island edges which violate the edge-edge multi- patterning spacing constraint.
- Clause 74 A method according to any of clauses 69-73, wherein the step of detecting a multi-patterning coloring violation is performed in response to a user behavior in which a set of at least one of the islands in the plurality of islands is edited,
- step of reporting the multi-patterning coloring violation to a user comprises the step of indicating the multi-patterning coloring violation to the user sufficiently promptly after the user behavior so that the user can correct the multi-patterning coloring violation in real time.
- Clause 75 A method according to any of clauses 69-74, wherein the step of detecting a multi-patterning coloring violation is performed in response to a user selecting a set of at least one portion of the islands in the plurality of islands, depressing a mouse button and dragging the selected portion to a modified position in the layout,
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
La présente invention concerne, généralement, un système qui permet une description rapide et précise pour un utilisateur de violations à une disposition multi-motif, de sorte qu'elles puissent être corrigées manuellement et en temps réel et sans interférer avec un processus d'édition manuel normal. Dans un mode de réalisation, le système implique, de façon itérative, la construction de structures arborescentes, avec des nœuds identifiant des îles et des arcs identifiant des violations d'espacement multi-motif entre les îles connectées. Le système détecte des violations de coloration pendant la construction de ces structures arborescentes, à l'aide des relations précédemment insérées. Les violations de coloration sont, de préférence, rapportées à un utilisateur, sous forme d'indications visuelles des cycles parmi les violations d'espacement candidates, lesquelles violations étant elles-mêmes également indiquées visuellement et individuellement. L'utilisateur peut voir, de façon intuitive, comment déplacer les îles, dans quelles directions et sur quelle distance, afin de supprimer une violation d'espacement multi-motif et ainsi casser le cycle.
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/675,970 | 2012-11-13 | ||
US13/675,970 US8677297B2 (en) | 2010-12-03 | 2012-11-13 | Low-overhead multi-patterning design rule check |
Publications (1)
Publication Number | Publication Date |
---|---|
WO2014078191A1 true WO2014078191A1 (fr) | 2014-05-22 |
Family
ID=50731615
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/US2013/069140 WO2014078191A1 (fr) | 2012-11-13 | 2013-11-08 | Vérification de règle de conception multi-motif à faible surcharge |
Country Status (1)
Country | Link |
---|---|
WO (1) | WO2014078191A1 (fr) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10810348B1 (en) | 2019-07-15 | 2020-10-20 | International Business Machines Corporation | Constructing colorable wiring layouts with wide wires and sandwich rules |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20110078638A1 (en) * | 2009-09-29 | 2011-03-31 | The Regents Of The University Of California | Layout decomposition for double patterning lithography |
US20110219341A1 (en) * | 2010-03-08 | 2011-09-08 | Cadence Design Systems, Inc. | Method, system, and program product for interactive checking for double pattern lithography violations |
US20110296360A1 (en) * | 2010-05-27 | 2011-12-01 | Taiwan Semiconductor Manufacturing Company, Ltd. | Method for checking and fixing double-patterning layout |
US20120131528A1 (en) * | 2010-11-24 | 2012-05-24 | Taiwan Semiconductor Manufacturing Company, Ltd. | Method and apparatus for achieving multiple patterning technology compliant design layout |
US20120210279A1 (en) * | 2011-02-15 | 2012-08-16 | Taiwan Semiconductor Manufacturing Co., Ltd. | Decomposition and marking of semiconductor device design layout in double patterning lithography |
-
2013
- 2013-11-08 WO PCT/US2013/069140 patent/WO2014078191A1/fr active Application Filing
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20110078638A1 (en) * | 2009-09-29 | 2011-03-31 | The Regents Of The University Of California | Layout decomposition for double patterning lithography |
US20110219341A1 (en) * | 2010-03-08 | 2011-09-08 | Cadence Design Systems, Inc. | Method, system, and program product for interactive checking for double pattern lithography violations |
US20110296360A1 (en) * | 2010-05-27 | 2011-12-01 | Taiwan Semiconductor Manufacturing Company, Ltd. | Method for checking and fixing double-patterning layout |
US20120131528A1 (en) * | 2010-11-24 | 2012-05-24 | Taiwan Semiconductor Manufacturing Company, Ltd. | Method and apparatus for achieving multiple patterning technology compliant design layout |
US20120210279A1 (en) * | 2011-02-15 | 2012-08-16 | Taiwan Semiconductor Manufacturing Co., Ltd. | Decomposition and marking of semiconductor device design layout in double patterning lithography |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10810348B1 (en) | 2019-07-15 | 2020-10-20 | International Business Machines Corporation | Constructing colorable wiring layouts with wide wires and sandwich rules |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8843867B2 (en) | Low-overhead multi-patterning design rule check | |
US8661377B2 (en) | Real time DRC assistance for manual layout editing | |
US9009632B2 (en) | High performance design rule checking technique | |
US8448097B2 (en) | High performance DRC checking algorithm for derived layer based rules | |
US7610565B2 (en) | Technology migration for integrated circuits with radical design restrictions | |
US7089511B2 (en) | Framework for hierarchical VLSI design | |
US9904755B2 (en) | Legalizing a multi-patterning integrated circuit layout | |
US9064082B2 (en) | Updating pin locations in a graphical user interface of an electronic design automation tool | |
US9251299B1 (en) | Methods, systems, and articles of manufacture for associating track patterns with rules for electronic designs | |
US8984465B1 (en) | Methods, systems, and articles of manufacture for automatically assigning track patterns to regions for physical implementation of an electronic design | |
JPH07334565A (ja) | 物体の配置方法 | |
WO2014078191A1 (fr) | Vérification de règle de conception multi-motif à faible surcharge | |
US8181143B2 (en) | Method and apparatus for generating a memory-efficient representation of routing data | |
US8132141B2 (en) | Method and apparatus for generating a centerline connectivity representation | |
WO1996042060A1 (fr) | Procede et appareil de conception de reperes de points pour des circuits integres |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 13855210 Country of ref document: EP Kind code of ref document: A1 |
|
NENP | Non-entry into the national phase |
Ref country code: DE |
|
122 | Ep: pct application non-entry in european phase |
Ref document number: 13855210 Country of ref document: EP Kind code of ref document: A1 |