JP2778483B2 - Design rule verification system - Google Patents

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a design rule verification system for guaranteeing the validity of output data of an automatic layout system.

[0002]

2. Description of the Related Art There are two methods as a conventional design rule verification system for automatic layout results. The first system is shown in FIG. As shown in FIG. 8, data output from the automatic layout system 31 is a set of objects of the wiring segment paths 52 to 56 and the contact points 50 and 51, and is routed only on both end points of the wiring segment path 52. The line paths 53 and 56 are connected to the contact points 50, and each object has attributes of a net (connection information) and an object type (contact or line segment). The design rule expresses a minimum interval between objects and a pair of layers that can be connected for each contact type (for example, a 1-2 layer contact and a 2-3 layer contact). Here, one piece of net information is generally represented by input terminals of a plurality of gates to be connected from output terminals of a certain gate. Since this is usually circuit information, it does not exist in the wiring line connecting these terminals.
The present invention is based on the premise that the object has this net information. Thus, when a certain two line segments are viewed, the net to which the line segment belongs can be determined. This data is input by the object data input means 32, and is classified by the object data classification means 33 into a set of objects for each layer. At this time, the contact
Register in each layer of the layer pair to be connected. Next, for the object set of each layer, the adjacent object search means 34 is used to find all the sets of adjacent objects. Next, the object end point coincidence judging means 35 excludes objects having the same net information and whose line segment path end point and contact point coincide with each other in the pair of adjacent objects from the verification target. For example, both end points of the wiring segment path 52 in FIG. 8 coincide with the contact points 50 and the end points of the wiring segment path 56, and are the same net (a line segment in the same net information).
Therefore, it is excluded from the verification target of the adjacent object. Then, the remaining adjacent objects A and B are verified by the wiring line interval verifying means 36, the contact space verifying means 37, and the wiring line-contact space verifying means 38 according to the object type. Those that do not satisfy the interval are output to an error file by the error data output means 39.

Next, a second system is shown in FIG. The system outputs data output from the automatic layout system 41 to a rectangle data input unit 42, a rectangle data classification unit 43, an adjacent rectangle search unit 44, a net attribute match determination unit 45, an interval verification unit 46, and an error data output unit 47.
(For example, see Japanese Patent Application Laid-Open No. 1-23).
0248).

The graphics generated by the automatic layout system 41 are all rectangles, and each rectangle has the layer and net information containing it as attributes.
These data are input by the rectangular data input means 42, and each figure is divided into sets for each layer by the rectangular data classification means 43. Next, for the rectangle set of each layer, the adjacent rectangle search means 44 obtains all the sets of adjacent rectangles.
For each of the adjacent rectangles A and B obtained by the adjacent rectangle search unit 44, it is determined whether or not A and B satisfy the following conditions by using the net attribute match determination unit 45 and the interval verification unit 46. (Conditions) When adjacent rectangles A and B are not the same net and have the same layer L as an attribute, they are arranged at least a minimum distance apart in the layer L. A rectangle that does not satisfy this condition is output to an error file using the error data output means 47. The interval verifying means 46 employs a method in which one rectangle is extended by a minimum interval and the intersection of two rectangles is checked.

[0005]

In the first conventional system, when an arbitrary object is connected to a wiring line segment path, an end point of the wiring line segment path must be a contact point or another end point. It is necessary to overlap the end point of the wiring segment path, and if the contact point and the end point of the wiring segment path are displaced, there is a problem that verification becomes impossible. Further, in the second conventional system, verification is excluded from data in the same net, so that a design rule error in the same net cannot be detected. There is a problem that the processing time increases because the intersection between the rectangles is detected.

SUMMARY OF THE INVENTION It is an object of the present invention to verify a design rule even if an end point of a wiring segment path does not coincide with a contact point or an end point of another wiring segment path, and to verify a design rule with a short processing time. It is to provide a system.

[0007]

According to the design rule verification system of the present invention, a net and an attribute of an object type are added.
Input means for inputting the added object set;
Classification means for classifying an object set for each layer, and each layer
Adjacent to each other from the set of objects classified for each
Search means for searching for an object pair,
Object based on one object of the object pair
Object, and the other object is
Object endpoints and the object pairs are
Is the object pair subject to verification if it is one net
Exclusion means for excluding the object,
Verification means for verifying the minimum interval between the object pairs.

When one of the objects is a contact point,
The rectangular object is separated from the contact point by a predetermined distance
Square. One of the objects is a wire segment path
When, the rectangular object is specified along the wire segment path
The long side is the length direction of the wiring line path separated by a distance.
It is rectangular.

[0009]

When observing with which object the end point of the wiring line segment path is physically connected, the other object is rectangularized, and it is determined based on whether or not this wiring path end point is included in the rectangle. Therefore, it is possible to recognize that the connection is established even if the end point of the wiring line segment does not coincide with the contact point or the end point of another wiring line segment. Then, if the connected objects are the same net, they are excluded from the processing target. Thereafter, design rule verification is performed by checking whether the minimum interval for each object defined in the design rule is satisfied. At this time, the check time is reduced because the rule is verified not in the rectangle but in the object unit. What is object-based rule verification? 1. Verification of wiring line segment interval ..... Equivalent to finding the shortest distance of two lines. 2. Contact interval verification: equivalent to finding the distance between two points Wiring line segment-contact verification: This is equivalent to obtaining the shortest distance between one line segment and one point, and is in a form easily obtainable.

[0010]

Next, embodiments of the present invention will be described with reference to the drawings.

FIG. 1 is a block diagram of a design rule verification system according to a first embodiment of the present invention, FIG. 3 is a configuration diagram of input data in this embodiment, and FIG. 4 is a configuration diagram of input data for contact rectangularization. .

As shown in FIG. 1, the design rule verification system according to the present embodiment has
2, object data classifying means 13, adjacent object searching means 14, contact rectangularizing means 15,
Contact rectangle inclusion determining means 16, wiring line segment path end point coincidence determining means 21, wiring line interval verifying means 17, contact distance verifying means 18, wiring line-contact distance verifying means 19, error data output means 20.

The object data input means 12 is a set of wiring line segment paths having coordinates of both ends, layers, and wiring widths, and a set of objects which are contact points having arrangement positions of contact points. A design in which data having an attribute of an object type which is a determination of a contact point or a line segment, a minimum interval between objects for each layer, connectable layer pairs for each contact type, and rectangles for each layer are defined. Rules are input from the automatic layout system 11. The object data classification means 13 classifies the data into a set of objects for each layer. The adjacent object search means 14 extracts two objects adjacent to each other from the object set of each layer. When the contact point is included in the set of objects extracted by the adjacent object search means 14, the contact rectangularizing means 15 has a predetermined size corresponding to the layer to which the set of the contact point and the object belong. Add a contact rectangle. The contact rectangle inclusion determining means 16 verifies the set of objects in the same net and in the case where the contact rectangle includes a line segment path end point among the set of objects to which the contact rectangle is added. Exclude from the target. The wiring line segment path end point coincidence determination means 21 excludes the object group from the verification target if the set of objects is a wiring line segment path and the same net and the wiring line segment path end points match. . Wiring line interval verification means 1
7. The contact interval verifying unit 18 and the wiring line segment-contact interval verifying unit 19 respectively determine the wiring line segment path interval, the contact interval, and the wiring line segment-contact interval of the object set as objects of the layer to which the object set belongs. Determine if it is greater than or equal to the minimum interval defined for each type. The error data output means 20 outputs a wiring line segment path interval, a contact interval, and a wiring line segment of the object set.
If the contact interval is not longer than the minimum interval defined for each object type of the layer to which the set of objects belongs, the set of objects is output to an error file (not shown).

Next, the operation of this embodiment will be described. The data output from the automatic layout system 11 includes, as shown in FIG.
It is assumed that a set of objects 0 and 51 is set, and the connection between the wiring segment paths 52 and 56 is made only on the path end point 57. Each object has a net and an object type attribute added thereto. . The design rule defines a minimum interval between objects, a connectable layer pair for each contact type, and a size of each layer for each layer. These data are input to the object data input means 1
2 and is divided into a set of objects for each layer by the object data classification means 13. At this time,
Since the contact points 50 and 51 have two layers (an upper layer and a lower layer as a layer pair defined by the design rule),
It belongs to two object sets.

Next, a set of adjacent objects is all obtained from the object set by the adjacent object search means 14. Next, when a contact point is included in the set of adjacent objects, the contact rectangle forming unit 15 adds a contact rectangle corresponding to the layer to which the contact type and the set of adjacent objects belong. In the case where the end point of the wiring line segment is included in the contact rectangle in the same net among the adjacent objects to which the addition is completed, the contact rectangle inclusion determining unit 16 removes the end from the verification target. In addition, when the set of adjacent objects is a wiring line segment path, the wiring line segment path end point coincidence determining unit 21 excludes the same net from the verification target if the wiring line segment path end point is coincident. .
For example, when the data shown in FIG. 3 is input and all sets of objects adjacent to the wiring line segment path 52 are obtained, the result is as shown in FIG. When the wiring segment path 52 and the contact point 50, which are the same net, are seen, the contact rectangle 59 added by the contact rectangle forming means 15 includes the wiring segment path end point 58 and is excluded from the verification target. Further, the wiring line segment path 52 and the wiring line segment path 56 of the same net are excluded from the verification target by the wiring line path path end point coincidence determination means 21 because the wiring line segment path end point matches the wiring line path end point 57. I do.

Next, verification of the minimum object interval is performed for each object type of a set of adjacent objects. Since there are a wiring segment path and a contact point as the object type, there are three verification methods between the wiring segment paths, between the contacts, and between the wiring segment and the contact. When the set of adjacent objects is a wiring segment path, the wiring segment interval verification unit 17 determines whether the distance between two lines is longer than the minimum interval of the wiring segment path defined by the design rule. . When the pair of adjacent objects is contact points, the contact interval verifying unit 18 determines whether the distance between the two points is larger than the minimum interval between contacts defined by the design rule. Further, when the pair of adjacent objects is a wiring segment path-contact point, the wiring segment-contact interval verifying means 19 determines the distance between the point and the line segment between the wiring segment and the contact defined by the design rule. It is determined whether the distance is smaller than the minimum interval of If these conditions are not satisfied, the error data is output to an error file by the error data output means 20. In the case of the data of FIG. 4, the wiring line segment paths 52 and 55 are
The wiring segment / contact interval verifying means 19 determines whether the contact point 51 and the wiring segment path 52 are apart from the minimum interval defined by the design rule.

FIG. 2 is a block diagram of a design rule verification system according to a second embodiment of the present invention, FIG. 5 is a configuration diagram of input data in the present embodiment, and FIG. 6 is a configuration diagram of input data after a wiring line segment rectangle. It is.

In the present embodiment, instead of the wiring line segment path end point coincidence determining means 21 of the first embodiment, when both types of objects of the set of adjacent objects are wiring line segment paths,
A wiring line segment path rectangularizing means 22 for adding data obtained by rectangularizing one wiring line segment path, and the other wiring line segment path end point which is the same net and is included in the rectangularized wire line segment path. In the case of the above, there is provided a wiring line segment rectangle inclusion discriminating means 23 for excluding the set of objects from the verification target.

Next, the operation of this embodiment will be described. The data output from the automatic layout system 21 is the same as that of the first embodiment. However, the data configuration is such that when the wiring segment paths 52 and 56 are connected to each other as shown in FIG. Data that does not need to be on the line segment path end point 57 is targeted. Next, all sets of adjacent objects are obtained through the object data input unit 12, the object data classification unit 13, and the adjacent object search unit 14. Next, when the contact type is included in the set of adjacent objects, as in the first embodiment, the contact rectangle converting means 15 and the contact rectangle inclusion determining means 16 are used.
Thus, a set not to be verified is determined. If both types of adjacent objects are wiring line segment paths, the data obtained by rectangularizing one of the wiring line segment paths is added by the wiring line segment path rectangularizing means 22, and the wiring line segment rectangle inclusion determining means 2 is added.
3, the same net and a rectangular segment
If the other line segment path end point is included, it is excluded from the verification target. For example, when the data shown in FIG. 5 is input and all sets of objects adjacent to the wiring line segment path 52 are obtained, the result is as shown in FIG. Here, the wiring segment path 52 and the contact point 50 of the same net are excluded from the verification target by the contact rectangle converting means 15 and the contact rectangle inclusion determining means 16 as in the first embodiment. The wiring line segment path 52 and the wiring line segment path 56 of the same net include the wiring line segment path end point 60 of the wiring line segment path 56 in the wiring line segment rectangle 60 added by the wiring line segment path rectangularizing means 22. Therefore, it is excluded from the verification target by the wiring line segment rectangle inclusion determining means 23. In the subsequent processing, the minimum object interval is verified for each object type as in the first embodiment.

[0020]

As described above, according to the present invention, it is possible to verify the design rule even if the line segment path end point does not coincide with the contact point or another wiring path end point. Further, since there is no graphic calculation processing, rectangle overlap determination processing, and the like, processing can be performed at high speed. In fact, in the case of the 0.8 μ process, about 3000 contacts / mm ²
In a 10 × 10 mm LSI, the number is about 300,000.
Rather than processing with a rectangle, processing with wiring line segment paths and contact points excluding only the combinations that do not need to be verified as in the present invention requires less memory and calculation, and is useful for large-scale data. However, verification can be performed at high speed.

[Brief description of the drawings]

FIG. 1 is a block diagram of a first embodiment of the present invention.

FIG. 2 is a configuration diagram of input data according to the first embodiment of the present invention.

FIG. 3 is a configuration diagram of input data after contact rectangularization according to the first embodiment of the present invention.

FIG. 4 is a block diagram of a second embodiment of the present invention.

FIG. 5 is a configuration diagram of input data according to a second embodiment of the present invention.

FIG. 6 is a configuration diagram of input data after wiring line segment rectangularization according to a second embodiment of the present invention;

FIG. 7 is a block diagram of a conventional system.

FIG. 8 is an input data configuration diagram of a conventional system.

FIG. 9 is a block diagram of another conventional system.

[Explanation of symbols]

 11, 21, 31, 41 Automatic layout system 12, 32 Object data input means 13, 33 Object data classification means 14, 34 Neighbor object search means 15 Contact rectangularization means 16 Contact rectangle inclusion determination means 21 Wiring line segment path end point coincidence determination Means 17, 36 Wiring line interval verifying means 18, 37 Contact spacing verifying means 19, 38 Wiring line-contact spacing verifying means 20, 39, 47 Error data output means 22 Wiring line path rectangularizing means 23 Wiring line rectangle Inclusion discriminating means 35 Object end point matching discriminating means 42 Rectangular data input means 43 Rectangular data classifying means 44 Neighboring rectangle searching means 45 Net attribute matching discriminating means 46 Interval verification means 50, 51 Contact points 52 to 56 Wiring line path 57, 58, 60 Wiring line End point 59 Contact rectangle 61 Wiring line segment rectangle

Claims (3)

(57) [Claims] 1. An attribute of a net and an object type is added.
Input means for inputting the selected object set;
Classification means for classifying the object set for each layer, and for each layer
Adjacent to each other from the set of objects classified as
Search means for searching for an object pair, and the object
Object based on one of the objects in the pair
Object, and the other object is
Object endpoints and the object pairs are the same
If it is a net, the object pair is
Exclusion means for exclusion and the object remaining by the exclusion means
Verification means for verifying the minimum distance between the object pairs.
In-rule verification system. 2. An object according to claim 1, wherein one of said objects is a contact point.
, The rectangular object is moved from the contact point
2. The design according to claim 1, wherein the squares are separated by a predetermined distance.
Rule verification system. 3. An object according to claim 1, wherein one of said objects is a wiring segment path.
At this time, the rectangular object follows the wiring line segment path.
In the length direction of the wiring segment path separated by a predetermined distance
2. The design rule according to claim 1, wherein the design rule is
Verification system.