CN109492306B - Association layer denotation method for design rule verification result - Google Patents
Association layer denotation method for design rule verification result Download PDFInfo
- Publication number
- CN109492306B CN109492306B CN201811338930.2A CN201811338930A CN109492306B CN 109492306 B CN109492306 B CN 109492306B CN 201811338930 A CN201811338930 A CN 201811338930A CN 109492306 B CN109492306 B CN 109492306B
- Authority
- CN
- China
- Prior art keywords
- layer
- design rule
- layout
- layers
- verification result
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000012795 verification Methods 0.000 title claims abstract description 40
- 238000000034 method Methods 0.000 title claims abstract description 18
- 238000010200 validation analysis Methods 0.000 claims abstract description 4
- 238000004904 shortening Methods 0.000 abstract description 2
- 238000010586 diagram Methods 0.000 description 6
- 238000002372 labelling Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 238000012938 design process Methods 0.000 description 2
- 239000004065 semiconductor Substances 0.000 description 2
- 230000007547 defect Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
Images
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]
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
A method for relabeling a design rule verification result at an association layer comprises the following steps: analyzing the design rule corresponding to the layout verification result to obtain the associated layer corresponding to the check; hiding a non-associated layer on the layout; the inverse height highlights the wrong location of the validation result. The associated layer reverse marking method of the design rule verification result only highlights the associated layer on which the design rule depends and hides all other layers except the associated layer, thereby avoiding that the analysis and judgment of a design engineer are influenced by overlapping of multiple layers of graphics in a reverse marking area, and further shortening the verification period.
Description
Technical Field
The invention relates to the field of automatic design of semiconductor integrated circuits, in particular to back-end layout design, design rule verification and layout debugging analysis in the automatic design of the semiconductor integrated circuits.
Background
Layout design and verification are important in the design process of the integrated circuit, the efficiency of the integrated circuit design can be effectively improved through efficient and accurate verification, and the risk of design failure is greatly reduced. However, as the process continuously progresses to the nanometer level, in the design of the ultra-large scale or even very large scale integrated circuit, the layout scale is expanded sharply, the time required for each verification of the layout is longer and longer, and the modification of the layout after each verification is more complicated and time-consuming because of the layout scale, so the iteration cycle of the layout verification and the modification of the layout is longer. At the present stage, the mainstream layout verification usually adopts technologies such as hierarchical verification and parallel verification to accelerate the layout verification, but because the scale is too large, the layout verification still consumes time each time.
The conventional layout verification comprises design rule verification and layout and schematic diagram consistency verification. After each design rule is verified, a design engineer needs to perform error checking analysis on the layout according to the result reported by the verification tool, the error position is highlighted by the error checking tool usually, a user analyzes all layer graphs in the area highlighted by the error position, and then analyzes the graph violating the design rule and modifies the layout correspondingly, but the number of layer layers used by the layout is also different according to the difference of layout design processes, the area highlighted often has several layers of graphs overlapping together, and the analysis of the design engineer can cause some obstacles to influence the efficiency.
Disclosure of Invention
In order to solve the defects in the prior art, the invention aims to provide a correlation layer denotation method for a design rule verification result, which highlights a correlation layer on which a design rule depends, hides all other layers except the correlation layer on a layout, and avoids the influence on analysis and judgment of a design engineer caused by overlapping of multiple layers of graphics in a denotation area.
In order to achieve the above object, the method for relabeling the design rule verification result at the association layer provided by the invention comprises the following steps:
1) analyzing the design rule corresponding to the layout verification result to obtain the associated layer corresponding to the check;
2) hiding a non-associated layer on the layout;
3) the inverse height highlights the wrong location of the validation result.
Further, the step 1) further comprises the following steps:
21) traversing and analyzing the design rule file, recording and calculating to generate an original layer and a middle layer of each middle layer, and recording the middle layer checked by each design rule;
22) recursively analyzing all original layers on which each intermediate layer depends;
23) and merging the original layers which are depended by all the middle layers checked by each design rule to serve as the associated layers of the design rule.
Further, the non-associated layer in step 2) refers to a layer in the layout except for the associated layer.
In order to achieve the above object, the present invention further provides a computer readable storage medium, on which computer instructions are stored, and the computer instructions execute the steps of the above method for associating layer denormal of the design rule verification result when executed.
When the design rule is verified after the layout design, the associated layer on which the design rule depends can be automatically analyzed according to the design rule to which the verification result belongs, all other layers except the associated layer on the layout are hidden, and then the anti-labeling highlighting is carried out, so that only the layer associated with the verification result can be displayed, and the problem of analysis obstacle caused by the overlapping of the irrelevant layers does not exist any more.
Therefore, the method can remove irrelevant layers and only display relevant layers, greatly facilitates the analysis of design engineer on the verification result of the design rule, and has great practicability on the shortening of the design period of the whole layout.
Additional features and advantages of the invention will be set forth in the description which follows, and in part will be obvious from the description, or may be learned by practice of the invention.
Drawings
The accompanying drawings are included to provide a further understanding of the invention and are incorporated in and constitute a part of this specification, illustrate embodiments of the invention and together with the description serve to explain the principles of the invention and not to limit the invention. In the drawings:
FIG. 1 is a flow chart of an association-level denotation method of design rule verification results according to the present invention;
FIG. 2 is a schematic diagram of a design layout according to an embodiment of the present invention;
FIG. 3 is a diagram illustrating layer results according to an embodiment of the present invention;
FIG. 4 is a schematic diagram of an anti-labeling highlight result according to an embodiment of the present invention.
Detailed Description
The preferred embodiments of the present invention will be described in conjunction with the accompanying drawings, and it will be understood that they are described herein for the purpose of illustration and explanation and not limitation.
Fig. 1 is a flowchart of an association-level denotation method of a design rule verification result according to the present invention, and the association-level denotation method of a design rule verification result of the present invention will be described in detail with reference to fig. 1.
Fig. 2 is a schematic diagram of a design layout according to an embodiment of the present invention. In the present invention, description will be given taking the layout shown in fig. 2 and "RULE checkrule1" in the following design RULE contents as an example.
layer( L1 1 )
layer( L2 2 )
layer( L3 3 )
layer( L4 4 )
layer( L5 5 )
AA0 = geom_inside( L4 L1 )
AA1 = geom_and( AA0 L3 )
RULE checkrule1 { space( AA1<2 region) }
AA2 = geom_not ( L2 L1 )
AA3 = geom_and ( L1 L5 )
RULE checkrule2 { space( AA2 AA3<5 region ) }
For convenience of description, the layout and the design rule of this embodiment are simplified, and it is assumed that L1, L2, L3, L4, and L5 are all the original layers appearing in the layout, and only the rule "checkrule1" is used for description in this embodiment.
First, in step 101, an associated layer of a layout verification result is determined.
In this step, the design rule corresponding to the verification result is analyzed to obtain the associated layer corresponding to the check. Specifically, the method comprises the following steps:
1) traversing and analyzing the design rule file, recording which original layers and middle layers are generated by operation of each middle layer, and recording which middle layers are checked by each design rule;
in this embodiment, the recorded middle layer AA0 is generated by the operation of the original layer L1 and L4, and the layer result generated by the layout is shown as AA0 in fig. 3; the middle layer AA1 is generated by the operation of a middle layer AA0 and an original layer L3, and the layer result generated by the layout is shown as AA1 in FIG. 3; the middle layer AA2 is generated by original layer L1 and L2 operations, and the middle layer AA3 is generated by original layer L1 and L5 operations. The check made in the design rule "checkrule1" relates to the middle layer AA1, and the check made in "checkrule2" relates to the middle layers AA2 and AA 3.
2) Recursively analyzing all original layers on which the intermediate layers depend for each intermediate layer;
the middle layer AA0 depends on the original layers L1 and L4; the middle layer AA1 depends on the middle layers AA0 and L3, and then the original layers on which the middle layer AA1 depends are L1, L3, and L4. The middle layer AA2 depends on the original layers L1 and L2; the intermediate layer AA3 depends on the original layers L1 and L5.
3) For each design rule, merging the original layers which are depended by all the middle layers checked by the design rule, namely the related layers of the design rule;
taking the design rule "checkrule1" as an example, the middle layer involved in the check is AA1, and the original layers on which AA1 depends are L1, L3, and L4, then all the original layers on which the design rule checkrule1 depends are L1, L3, and L4, that is, L1, L3, and L4 are associated layers of the design rule "checkrule 1".
In step 102, the non-associated layers on the layout are hidden.
In this step, all other layers on the hidden layout except the associated layer, that is, only the associated layer is displayed, specifically, in the present embodiment, L2 and L5 in the hidden layout, only the associated layers L1, L3 and L4 of the design rule "checkrule1" are displayed.
In step 103, the error position of the verification result is highlighted in a reverse marking mode.
In this step, the false position of the verification result is highlighted by the anti-mark.
Specifically, fig. 4 is a schematic diagram of an anti-labeling highlight result according to an embodiment of the present invention.
The invention further provides a computer-readable storage medium, on which computer instructions are stored, and the computer instructions execute the steps of the above-mentioned association-layer denotation method for the design rule verification result when running, and the association-layer denotation method for the design rule verification result is described in the foregoing section and is not described again.
Those of ordinary skill in the art will understand that: although the present invention has been described in detail with reference to the foregoing embodiments, it will be apparent to those skilled in the art that changes may be made in the embodiments and/or equivalents thereof without departing from the spirit and scope of the invention. Any modification, equivalent replacement, or improvement made within the spirit and principle of the present invention should be included in the protection scope of the present invention.
Claims (3)
1. A correlation layer denotation method for a design rule verification result is characterized by comprising the following steps:
1) analyzing the design rule corresponding to the layout verification result to obtain the associated layer corresponding to the check;
the step 1) further comprises the following steps:
traversing and analyzing the design rule file, and recording and operating to generate an original layer and a middle layer of each middle layer; recording the middle layer checked by each design rule;
recursively analyzing all original layers on which each intermediate layer depends;
merging the original layers which are depended by all the middle layers checked by each design rule to serve as the associated layers of the design rule;
2) hiding a non-associated layer on the layout;
3) the inverse height highlights the wrong location of the validation result.
2. The method for denormalizing an associated layer of a design rule verification result according to claim 1, wherein the non-associated layer in step 2) is a layer in the layout except for the associated layer.
3. A computer readable storage medium having stored thereon computer instructions, wherein the computer instructions when executed perform the steps of the method for correlation level denormalization of a design rule validation result of any of claims 1-2.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811338930.2A CN109492306B (en) | 2018-11-12 | 2018-11-12 | Association layer denotation method for design rule verification result |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811338930.2A CN109492306B (en) | 2018-11-12 | 2018-11-12 | Association layer denotation method for design rule verification result |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109492306A CN109492306A (en) | 2019-03-19 |
CN109492306B true CN109492306B (en) | 2020-04-07 |
Family
ID=65695674
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201811338930.2A Active CN109492306B (en) | 2018-11-12 | 2018-11-12 | Association layer denotation method for design rule verification result |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109492306B (en) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113642286B (en) * | 2021-08-12 | 2023-10-24 | 长鑫存储技术有限公司 | Verification method, device and equipment of test pattern and storage medium |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7024644B2 (en) * | 2003-05-08 | 2006-04-04 | Cadence Design Systems, Inc. | IC signal path resistance estimation method |
CN104615793A (en) * | 2013-11-04 | 2015-05-13 | 刘伯安 | Data description method capable of automatically realizing design of electronic system |
CN106649895A (en) * | 2015-10-28 | 2017-05-10 | 北京华大九天软件有限公司 | Hierarchical integrated circuit layout short circuit searching method |
CN106991243A (en) * | 2017-04-12 | 2017-07-28 | 广东浪潮大数据研究有限公司 | A kind of quick inspection silk-screen layer method overlapping with solder mask |
CN108268681A (en) * | 2016-12-30 | 2018-07-10 | 无锡天芯互联科技有限公司 | A kind of PCB silk-screens adjust system and method |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN100474308C (en) * | 2000-03-16 | 2009-04-01 | 松下电器产业株式会社 | Data processing method and storage medium, and program for causing computer to execute the data processing method |
US7487479B1 (en) * | 2006-07-06 | 2009-02-03 | Sun Microsystems, Inc. | Systematic approach for applying recommended rules on a circuit layout |
GB2515926B (en) * | 2010-07-19 | 2015-02-11 | Ipsotek Ltd | Apparatus, system and method |
-
2018
- 2018-11-12 CN CN201811338930.2A patent/CN109492306B/en active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7024644B2 (en) * | 2003-05-08 | 2006-04-04 | Cadence Design Systems, Inc. | IC signal path resistance estimation method |
CN104615793A (en) * | 2013-11-04 | 2015-05-13 | 刘伯安 | Data description method capable of automatically realizing design of electronic system |
CN106649895A (en) * | 2015-10-28 | 2017-05-10 | 北京华大九天软件有限公司 | Hierarchical integrated circuit layout short circuit searching method |
CN108268681A (en) * | 2016-12-30 | 2018-07-10 | 无锡天芯互联科技有限公司 | A kind of PCB silk-screens adjust system and method |
CN106991243A (en) * | 2017-04-12 | 2017-07-28 | 广东浪潮大数据研究有限公司 | A kind of quick inspection silk-screen layer method overlapping with solder mask |
Also Published As
Publication number | Publication date |
---|---|
CN109492306A (en) | 2019-03-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6320475B2 (en) | Static analysis based on efficient elimination of false positives | |
US8768651B2 (en) | System and method for automatic standardization and verification of system design requirements | |
US20070192754A1 (en) | Method for treating design errors of a layout of an integrated circuit | |
CA2933217C (en) | Scalable methods for analyzing formalized requirements and localizing errors | |
CN101727520A (en) | Method and system for performing lithography verification for a double-patterning process | |
US8935643B2 (en) | Parameter matching hotspot detection | |
Eggersgluss et al. | Efficient data structures and methodologies for SAT-based ATPG providing high fault coverage in industrial application | |
CN105574029A (en) | Detection method of scribe line structure design in mask plate design | |
CN109492306B (en) | Association layer denotation method for design rule verification result | |
CN103914374A (en) | Program slicing and frequent pattern extraction based code defect detection method and device | |
CN109409002B (en) | Integrity detection method for layout instantiation | |
JP6723483B2 (en) | Test case generation device, test case generation method, and test case generation program | |
KR101291817B1 (en) | Test case generating system and method based on requirements model | |
KR20190128457A (en) | Testing method and apparatus of target function incluede in target program | |
CN106326123A (en) | Method and system for detecting array bound-crossing defect | |
Gencel et al. | On the relationship between different size measures in the software life cycle | |
US9747405B2 (en) | Buffer chain management for alleviating routing congestion | |
CN104615535A (en) | Method and device for generating test case based on extended data flow model | |
US20050050488A1 (en) | System and method for determining a highest level signal name in a hierarchical VLSI design | |
RU2447488C1 (en) | Method and system for construction of technical object defective functioning model and machine-readable media | |
US20150204939A1 (en) | Multiple defect diagnosis method and machine readable media | |
US7373623B2 (en) | Method and apparatus for locating circuit deviations | |
CN103399817A (en) | System detection device based on module modeling and model checking integration | |
JP2012053703A (en) | Optimized net list creation program, optimized net list creation device and optimized net list creation method | |
JP2012073148A (en) | Fault diagnosis equipment, fault diagnosis method, and fault diagnosis program |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right |
Effective date of registration: 20210329 Address after: 518100 1001, building 5, Shenjiu science and Technology Pioneer Park, northwest, intersection of Taohua road and Binglang Road, Fubao community, Fubao street, Futian District, Shenzhen City, Guangdong Province Patentee after: Shenzhen Huada Jiutian Technology Co.,Ltd. Address before: 100102 floor 2, block a, No.2, lizezhong 2nd Road, Chaoyang District, Beijing Patentee before: HUADA EMPYREAN SOFTWARE Co.,Ltd. |
|
TR01 | Transfer of patent right |