CN101169803B - 验证设计规则校验程序的方法和系统 - Google Patents
验证设计规则校验程序的方法和系统 Download PDFInfo
- Publication number
- CN101169803B CN101169803B CN200710167404XA CN200710167404A CN101169803B CN 101169803 B CN101169803 B CN 101169803B CN 200710167404X A CN200710167404X A CN 200710167404XA CN 200710167404 A CN200710167404 A CN 200710167404A CN 101169803 B CN101169803 B CN 101169803B
- Authority
- CN
- China
- Prior art keywords
- program
- hierarchical structure
- shape
- level
- drc
- 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.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; 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
Description
Claims (20)
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US11/552,245 | 2006-10-24 | ||
| US11/552,245 US7823103B2 (en) | 2006-10-24 | 2006-10-24 | Method and system of introducing hierarchy into design rule checking test cases and rotation of test case data |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN101169803A CN101169803A (zh) | 2008-04-30 |
| CN101169803B true CN101169803B (zh) | 2012-04-04 |
Family
ID=39361109
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN200710167404XA Expired - Fee Related CN101169803B (zh) | 2006-10-24 | 2007-10-23 | 验证设计规则校验程序的方法和系统 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US7823103B2 (zh) |
| CN (1) | CN101169803B (zh) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| TWI708140B (zh) | 2015-04-15 | 2020-10-21 | 以色列商薩吉設計自動化有限公司 | 用以驗證設計規則檢查疊組之測試佈局的自動產生技術 |
| US11775729B2 (en) | 2021-05-03 | 2023-10-03 | Samsung Electronics Co., Ltd. | Technology file process rule validation |
Families Citing this family (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20090187867A1 (en) * | 2008-01-22 | 2009-07-23 | Lawrence Jay A | Techniques for Verifying Error Detection of a Design Rule Checking Runset |
| US10248915B2 (en) * | 2008-03-07 | 2019-04-02 | International Business Machines Corporation | Risk profiling for enterprise risk management |
| US8510685B1 (en) * | 2009-12-30 | 2013-08-13 | Cadence Design Systems, Inc. | Methods, systems, and articles of manufacture for creating a hierarchical output for an operation in an electronic design |
| US8539416B1 (en) | 2009-12-30 | 2013-09-17 | Cadence Design Systems, Inc. | Methods, systems, and articles of manufacture for creating a hierarchical output for an operation in an electronic design |
| US9057764B2 (en) * | 2011-10-27 | 2015-06-16 | International Business Machines Corporation | Detection of unchecked signals in circuit design verification |
| CN103646031B (zh) * | 2013-11-08 | 2017-03-29 | 上海华力微电子有限公司 | Drc文件的坐标数据对比方法 |
| US9934349B2 (en) | 2015-03-26 | 2018-04-03 | Nxp Usa, Inc. | Method for verifying design rule checks |
| WO2017055075A1 (en) | 2015-09-28 | 2017-04-06 | Asml Netherlands B.V. | Hierarchical representation of two-dimensional or three-dimensional shapes |
| US9971861B2 (en) * | 2016-02-10 | 2018-05-15 | International Business Machines Corporation | Selective boundary overlay insertion for hierarchical circuit design |
| US20220091844A1 (en) * | 2020-08-02 | 2022-03-24 | Drexel University | System for achieving insights through interactive facet-based architecture recovery (i-far) |
| CN118862815B (zh) * | 2023-04-18 | 2025-05-27 | 北京平头哥信息技术有限公司 | 检测芯片载体可制造性的方法、系统及存储介质 |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6611946B1 (en) * | 1999-10-14 | 2003-08-26 | Synopsys, Inc. | Method and system for automatic generation of DRC rules with just in time definition of derived layers |
| CN1521830A (zh) * | 2003-02-12 | 2004-08-18 | 上海芯华微电子有限公司 | 集成电路设计、验证与测试一体化的技术方法 |
Family Cites Families (37)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4729096A (en) | 1984-10-24 | 1988-03-01 | International Business Machines Corporation | Method and apparatus for generating a translator program for a compiler/interpreter and for testing the resulting translator program |
| US5497334A (en) * | 1993-02-19 | 1996-03-05 | International Business Machines Corporation | Application generator for use in verifying a hierarchical circuit design |
| US5787006A (en) | 1996-04-30 | 1998-07-28 | Micron Technology, Inc. | Apparatus and method for management of integrated circuit layout verification processes |
| US5729096A (en) | 1996-07-24 | 1998-03-17 | Motorola Inc. | Inverter protection method and protection circuit for fluorescent lamp preheat ballasts |
| US6023567A (en) | 1996-10-07 | 2000-02-08 | International Business Machines Corporation | Method and apparatus for verifying timing rules for an integrated circuit design |
| US5987240A (en) * | 1996-10-29 | 1999-11-16 | International Business Machines Corporation | Design rules checker for an integrated circuit design |
| US6370679B1 (en) * | 1997-09-17 | 2002-04-09 | Numerical Technologies, Inc. | Data hierarchy layout correction and verification method and apparatus |
| US6453452B1 (en) * | 1997-12-12 | 2002-09-17 | Numerical Technologies, Inc. | Method and apparatus for data hierarchy maintenance in a system for mask description |
| US6243854B1 (en) * | 1998-04-28 | 2001-06-05 | International Business Machines Corporation | Method for selecting hierarchical interactions in a hierarchical shapes processor |
| US6063132A (en) | 1998-06-26 | 2000-05-16 | International Business Machines Corporation | Method for verifying design rule checking software |
| GB9914380D0 (en) * | 1999-06-21 | 1999-08-18 | Regan Timothy J | Method of scaling an integrated circuit |
| US6571374B1 (en) * | 2000-02-28 | 2003-05-27 | International Business Machines Corporation | Invention to allow multiple layouts for a schematic in hierarchical logical-to-physical checking on chips |
| AU2001266660A1 (en) * | 2000-06-02 | 2001-12-17 | Virtio Corporation | Method and system for virtual prototyping |
| US6425113B1 (en) * | 2000-06-13 | 2002-07-23 | Leigh C. Anderson | Integrated verification and manufacturability tool |
| US6718521B1 (en) * | 2000-08-14 | 2004-04-06 | International Business Machines Corporation | Method and system for measuring and reporting test coverage of logic designs |
| JP2002197134A (ja) | 2000-12-27 | 2002-07-12 | Nec Microsystems Ltd | 階層レイアウトパターンのデザインルールチエック方法 |
| US6901574B2 (en) * | 2001-02-09 | 2005-05-31 | Lacour Patrick J. | Data management method for mask writing |
| US6816997B2 (en) | 2001-03-20 | 2004-11-09 | Cheehoe Teh | System and method for performing design rule check |
| US6957403B2 (en) * | 2001-03-30 | 2005-10-18 | Syntest Technologies, Inc. | Computer-aided design system to automate scan synthesis at register-transfer level |
| US6658633B2 (en) * | 2001-10-03 | 2003-12-02 | International Business Machines Corporation | Automated system-on-chip integrated circuit design verification system |
| CA2360291A1 (en) * | 2001-10-30 | 2003-04-30 | Benoit Nadeau-Dostie | Method and program product for designing hierarchical circuit for quiescent current testing and circuit produced thereby |
| JP3848157B2 (ja) * | 2001-12-27 | 2006-11-22 | 株式会社東芝 | Lsi設計検証装置、lsi設計検証方法、及びlsi設計検証プログラム |
| US6732338B2 (en) | 2002-03-20 | 2004-05-04 | International Business Machines Corporation | Method for comprehensively verifying design rule checking runsets |
| US6769099B2 (en) | 2002-04-12 | 2004-07-27 | Sun Microsystems, Inc. | Method to simplify and speed up design rule/electrical rule checks |
| US6775806B2 (en) | 2002-06-10 | 2004-08-10 | Sun Microsystems, Inc. | Method, system and computer product to produce a computer-generated integrated circuit design |
| US6871332B2 (en) | 2002-07-23 | 2005-03-22 | Sun Microsystems, Inc. | Structure and method for separating geometries in a design layout into multi-wide object classes |
| US6883149B2 (en) | 2002-09-30 | 2005-04-19 | Sun Microsystems, Inc. | Via enclosure rule check in a multi-wide object class design layout |
| US7007207B2 (en) * | 2002-10-21 | 2006-02-28 | International Business Machines Corporation | Scheduling of transactions in system-level test program generation |
| US20040088682A1 (en) * | 2002-11-05 | 2004-05-06 | Thompson Ryan C. | Method, program product, and apparatus for cache entry tracking, collision detection, and address reasignment in processor testcases |
| US7096440B2 (en) * | 2003-07-22 | 2006-08-22 | Lsi Logic Corporation | Methods and systems for automatic verification of specification document to hardware design |
| US7181702B2 (en) * | 2003-08-30 | 2007-02-20 | Jeffrey Horn | System and method to solve shape nesting problems |
| JP2005202928A (ja) * | 2003-12-19 | 2005-07-28 | Fujitsu Ltd | レイアウト処理装置、レイアウト処理方法、及びプログラム |
| US7392169B2 (en) * | 2004-10-21 | 2008-06-24 | International Business Machines Corporation | Method, system and program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language |
| US7237210B2 (en) * | 2005-02-08 | 2007-06-26 | International Business Machines Corporation | Methods, systems and media for managing functional verification of a parameterizable design |
| US7434184B2 (en) * | 2005-08-08 | 2008-10-07 | Zhe Li | Method for detecting flaws in a functional verification plan |
| US7254791B1 (en) * | 2005-09-16 | 2007-08-07 | National Semiconductor Corporation | Method of measuring test coverage of backend verification runsets and automatically identifying ways to improve the test suite |
| US7478348B2 (en) * | 2006-03-27 | 2009-01-13 | International Business Machines Corporation | Method and apparatus of rapid determination of problematic areas in VLSI layout by oriented sliver sampling |
-
2006
- 2006-10-24 US US11/552,245 patent/US7823103B2/en not_active Expired - Fee Related
-
2007
- 2007-10-23 CN CN200710167404XA patent/CN101169803B/zh not_active Expired - Fee Related
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6611946B1 (en) * | 1999-10-14 | 2003-08-26 | Synopsys, Inc. | Method and system for automatic generation of DRC rules with just in time definition of derived layers |
| CN1521830A (zh) * | 2003-02-12 | 2004-08-18 | 上海芯华微电子有限公司 | 集成电路设计、验证与测试一体化的技术方法 |
Non-Patent Citations (4)
| Title |
|---|
| 胡国元等.通用集成电路设计规则检查程序及其应用.微电子学与计算机 1987年第7期.1987,(1987年第7期),第9-12页. |
| 胡国元等.通用集成电路设计规则检查程序及其应用.微电子学与计算机 1987年第7期.1987,(1987年第7期),第9-12页. * |
| 西安微电子技术研究所等.通用集成电路设计规则检查.微电子学与计算机 2001年第6期.2001,(2001年第6期),第29-32页. |
| 西安微电子技术研究所等.通用集成电路设计规则检查.微电子学与计算机 2001年第6期.2001,(2001年第6期),第29-32页. * |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| TWI708140B (zh) | 2015-04-15 | 2020-10-21 | 以色列商薩吉設計自動化有限公司 | 用以驗證設計規則檢查疊組之測試佈局的自動產生技術 |
| US11775729B2 (en) | 2021-05-03 | 2023-10-03 | Samsung Electronics Co., Ltd. | Technology file process rule validation |
Also Published As
| Publication number | Publication date |
|---|---|
| US20080109772A1 (en) | 2008-05-08 |
| CN101169803A (zh) | 2008-04-30 |
| US7823103B2 (en) | 2010-10-26 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN101169803B (zh) | 验证设计规则校验程序的方法和系统 | |
| CN102768696B (zh) | 增量式布局分析 | |
| Altiok et al. | Simulation modeling and analysis with Arena | |
| US9898567B2 (en) | Automatic layout modification tool with non-uniform grids | |
| US10867102B2 (en) | Inverted pitch IC structure, layout method, and system | |
| JP7798448B2 (ja) | 半導体回路設計およびユニット・ピン配置 | |
| CN110795464B (zh) | 对象标记数据的字段校验方法、装置、终端及存储介质 | |
| US8984459B2 (en) | Methods and apparatus for layout verification | |
| US20100083198A1 (en) | Method and system for performing statistical leakage characterization, analysis, and modeling | |
| CN109783833A (zh) | 集成电路及其设计的方法及其设计系统 | |
| US8718382B2 (en) | Scalable pattern matching between a pattern clip and a pattern library | |
| CN101008963B (zh) | 设计验证的方法和系统 | |
| Hooker et al. | Enhancing mask synthesis for curvilinear masks in full-chip extreme ultraviolet lithography | |
| Ding et al. | Parallel Multifidelity Design of Experiment Strategy Considering Low-Fidelity Simulation Feasibility | |
| CN110199279A (zh) | 集成电路设计系统 | |
| US8713485B2 (en) | Categorization of design rule errors | |
| US20190377850A1 (en) | Semiconductor package metal shadowing checks | |
| CN109683917A (zh) | 用于将应用部署于应用服务器的方法、设备以及介质 | |
| CN108228953A (zh) | 一种保护集成电路版图的方法 | |
| CN101099154B (zh) | 不受自动生成的虚设形状影响的电路元件功能匹配 | |
| Segall et al. | Open source software for statistical analysis of big data: Emerging research and opportunities: Emerging research and opportunities | |
| US8132141B2 (en) | Method and apparatus for generating a centerline connectivity representation | |
| Takkala et al. | CHIP: Clustering hotspots in layout using integer programming | |
| CN118313337B (zh) | 差分电路版图生成方法、装置、电子设备及存储介质 | |
| US20250005250A1 (en) | Layout decomposition for optical proximity correction in photolithography masks |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant | ||
| TR01 | Transfer of patent right |
Effective date of registration: 20171121 Address after: Grand Cayman, Cayman Islands Patentee after: GLOBALFOUNDRIES INC. Address before: American New York Patentee before: Core USA second LLC Effective date of registration: 20171121 Address after: American New York Patentee after: Core USA second LLC Address before: American New York Patentee before: International Business Machines Corp. |
|
| TR01 | Transfer of patent right | ||
| CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20120404 Termination date: 20191023 |
|
| CF01 | Termination of patent right due to non-payment of annual fee |