JP2008015688A - 半導体装置の検証システムおよび半導体装置の製造方法 - Google Patents
半導体装置の検証システムおよび半導体装置の製造方法 Download PDFInfo
- Publication number
- JP2008015688A JP2008015688A JP2006184722A JP2006184722A JP2008015688A JP 2008015688 A JP2008015688 A JP 2008015688A JP 2006184722 A JP2006184722 A JP 2006184722A JP 2006184722 A JP2006184722 A JP 2006184722A JP 2008015688 A JP2008015688 A JP 2008015688A
- Authority
- JP
- Japan
- Prior art keywords
- verification system
- data
- verification
- layout data
- layout
- 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.)
- Granted
Links
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
【解決手段】パターンマッチング検証システム15によって干渉パターン情報17が出力され、物理検証システム16によって、干渉パターン情報17とデザインルール11とがコンパイルされることによって干渉パターン情報17に適用されるデザインルールが抽出され、デザインルールを参照して、比較セルリスト13と干渉パターン情報17との間にてデザインルールの検証が行われる。これにより、物理検証システムにおいて、比較セルリストに関するデータを読み飛ばされずにレイアウトデータの物理検証を行うことが可能となる。
【選択図】図1
Description
まず、機能・論理設計において、所望のLSIの動作仕様に合わせて、ハードウェア記述言語(HDL:Hardware Description Language)であるVerilog HDLなどを使用して、論理回路が生成される。そして、生成された論理回路は、所望のLSIのハードウェア記述言語に対して論理的に等価であることの検証が行われる。
なお、LSI上のトランジスタは、例えば、シリコンウェハ上にエピタキシャル成長、イオン注入、イオン拡散、エッチングなどの処理を行うことによって製造される。このトランジスタが製造される時、処理工程ごとに、処理のパターンに対応したマスクが必要になり、そのマスクは処理工程ごとに1枚ずつ使用される。
このレイアウト設計では、まず、1つのチップ100全体をそのままレイアウト設計するのではなく、図8、図9に示すように、1つのチップ100を機能的や論理的なまとまりによって小さい単位(以後、セルと呼ぶ。)に細分化する。細分化された個々のセルが任意の位置に配置した後、セル間を配線することにより、階層的にレイアウトが行われる。このように階層的にレイアウトが行われることによって、1つのチップ100がレイアウトされ、LSIの製造にて利用されるマスクパターンデータ(レイアウトデータ)が生成される。そして、このレイアウトデータに基づき、LSIが製造される。
図10に示すように、レイアウト設計によって生成されたレイアウトデータ201が、一般的なLSIの標準規則(デザインルール202)を満足するか否かを、物理検証システム205を用いて検証される。
まず、除外対象セルリストのデータの読み飛ばしによる処理の簡略化に関して、除外対象となるセルは、そのデータが改変されていないということを前提としている。このため、除外対象となるセルが改変されている場合でも、読み飛ばされて処理が行われるために、セルの改変が検出されないという問題がある。
まず、本発明の概要について以下に説明する。
図1は、本発明における検証システムを概略的に示した図、図2は、パターンマッチング検証システムを概略的に示した図、図3は、物理検証システムを概略的に示した図、図4は、レイアウトデータによって設計される半導体集積回路を概略的に示した図である。
また、図5〜図7は、本発明の実施の形態における模式図である。
まず、図2に示すように、パターンマッチング検証システム15の工程について以下に説明する。
そして、比較セルリストのデータにおけるレイアウトデータおよび比較元レイアウトデータ適合検証手段15bによって、図5に示すように、比較セルリスト13によって指定されるセル(ここでは、2−A階層102aを含む下位階層まで)について、レイアウトデータ12と比較元レイアウトデータ14とが適合したデータは、適合検証結果20として出力される。
パターンマッチング検証システム15にて得られた干渉パターン情報17、デザインルール11、レイアウトデータ12、比較セルリスト13を物理検証システム16に入力する。
比較セルリスト13の指定セルのみを比較検討することによって、比較元レイアウトデータ14は汎用性を持たせることが可能となる。また、比較セルリスト13はワイルドカードなどによりセル名を指定することによって、比較元レイアウトデータ14も、その一部または全てをパラメータ化表記することができ、比較元レイアウトデータ量を削減できる。さらに、比較元レイアウトデータ14は、データベース化および暗号化することにより、外部顧客への提供など用途を拡大することが可能となる。
前記レイアウトデータと、一般的な半導体集積回路のレイアウトデータを有する比較元レイアウトデータとの、前記レイアウトデータから抽出されたセルを有する比較セルリストのデータについて、適合検証が行われ、適合検証結果および干渉パターン情報が出力されるパターンマッチング検証システムと、
前記半導体集積回路のデザインルールから前記干渉パターン情報に適用される干渉パターンデザインルールが抽出され、前記干渉パターンデザインルールを用いた、前記レイアウトデータ、前記干渉パターン情報および前記比較セルリストのデザインルール検証による検証結果と、前記比較セルリストと前記レイアウトデータとの適合検証が行われることによって、不適合データの不適合レイアウトデータおよび適合データの適合レイアウトデータが抽出され、前記デザインルールを用いた、前記不適合レイアウトデータおよび前記適合レイアウトデータのデザインルール検証による検証結果と、を出力する物理検証システムと、
を有することを特徴とする半導体装置の検証システム。
(付記4) 前記比較元レイアウトデータをデータベース化することを特徴とする付記1記載の半導体装置の検証システム。
(付記7) 外部と重なりを持つことが可能な第2の干渉パターン情報および前記第2の干渉パターン情報の座標を予め用意しておき、前記パターンマッチング検証システムにおいて、出力された前記干渉パターン情報および前記干渉パターン情報の座標と適合検証を行うことを特徴とする付記1記載の半導体装置の検証システム。
(付記9) 前記物理検証システムが、LVSであることを特徴とする付記1記載の半導体装置の検証システム。
前記半導体集積回路のデザインルールから前記干渉パターン情報に適用される干渉パターンデザインルールが抽出され、前記干渉パターンデザインルールを用いた、前記レイアウトデータ、前記干渉パターン情報および前記比較セルリストのデザインルール検証による検証結果と、前記比較セルリストと前記レイアウトデータとの適合検証が行われることによって、不適合データの不適合レイアウトデータおよび適合データの適合レイアウトデータが抽出され、前記デザインルールを用いた、前記不適合レイアウトデータおよび前記適合レイアウトデータのデザインルール検証による検証結果と、を出力する物理検証システムの工程と
を有することを特徴とする半導体装置の製造方法。
(付記14) 前記比較元レイアウトデータをデータベース化することを特徴とする付記11記載の半導体装置の製造方法。
(付記17) 外部と重なりを持つことが可能な第2の干渉パターン情報および前記第2の干渉パターン情報の座標を予め用意しておき、前記パターンマッチング検証システムにおいて、出力された前記干渉パターン情報および前記干渉パターン情報の座標と適合検証を行うことを特徴とする付記11記載の半導体装置の製造方法。
(付記19) 前記物理検証システムが、LVSであることを特徴とする付記11記載の半導体装置の製造方法。
11 デザインルール
12 レイアウトデータ
13 比較セルリスト
14 比較元レイアウトデータ
15 パターンマッチング検証システム
16 物理検証システム
17 干渉パターン情報
18 サマリファイル
19 抽出回路情報
20 パターンマッチング検証結果
Claims (10)
- 半導体装置のレイアウト設計によって生成されたレイアウトデータを検証する半導体装置の検証システムにおいて、
前記レイアウトデータと、一般的な半導体集積回路のレイアウトデータを有する比較元レイアウトデータとの、前記レイアウトデータから抽出されたセルを有する比較セルリストのデータについて、適合検証が行われ、適合検証結果および干渉パターン情報が出力されるパターンマッチング検証システムと、
前記半導体集積回路のデザインルールから前記干渉パターン情報に適用される干渉パターンデザインルールが抽出され、前記干渉パターンデザインルールを用いた、前記レイアウトデータ、前記干渉パターン情報および前記比較セルリストのデザインルール検証による検証結果と、前記比較セルリストと前記レイアウトデータとの適合検証が行われることによって、不適合データの不適合レイアウトデータおよび適合データの適合レイアウトデータが抽出され、前記デザインルールを用いた、前記不適合レイアウトデータおよび前記適合レイアウトデータのデザインルール検証による検証結果と、を出力する物理検証システムと、
を有することを特徴とする半導体装置の検証システム。 - 前記パターンマッチング検証システムにて、前記適合検証によって一致するデータを用いて階層を構築し、前記階層に干渉するデータを出力することを特徴とする請求項1記載の半導体装置の検証システム。
- 前記物理検証システムが、DRCであることを特徴とする請求項1記載の半導体装置の検証システム。
- 前記物理検証システムが、LVSであることを特徴とする請求項1記載の半導体装置の検証システム。
- 前記パターンマッチング検証システムにより抽出された階層を基点として、前記LVSにより、回路情報を抽出することを特徴とする請求項4記載の半導体装置の検証システム。
- レイアウトデータと、一般的な半導体集積回路のレイアウトデータを有する比較元レイアウトデータとの、前記レイアウトデータから抽出されたセルを有する比較セルリストのデータについて、適合検証が行われ、適合検証結果および干渉パターン情報を出力するパターンマッチング検証システムの工程と、
前記半導体集積回路のデザインルールから前記干渉パターン情報に適用される干渉パターンデザインルールが抽出され、前記干渉パターンデザインルールを用いた、前記レイアウトデータ、前記干渉パターン情報および前記比較セルリストのデザインルール検証による検証結果と、前記比較セルリストと前記レイアウトデータとの適合検証が行われることによって、不適合データの不適合レイアウトデータおよび適合データの適合レイアウトデータが抽出され、前記デザインルールを用いた、前記不適合レイアウトデータおよび前記適合レイアウトデータのデザインルール検証による検証結果と、を出力する物理検証システムの工程と、
を有することを特徴とする半導体装置の製造方法。 - 前記パターンマッチング検証システムにて、前記適合検証によって一致するデータを用いて階層を構築し、前記階層に干渉するデータを出力することを特徴とする請求項6記載の半導体装置の製造方法。
- 前記物理検証システムが、DRCであることを特徴とする請求項6記載の半導体装置の製造方法。
- 前記物理検証システムが、LVSであることを特徴とする請求項6記載の半導体装置の製造方法。
- 前記パターンマッチング検証システムにより抽出された階層を基点として、前記LVSにより、回路情報を抽出することを特徴とする請求項9記載の半導体装置の製造方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006184722A JP4997849B2 (ja) | 2006-07-04 | 2006-07-04 | 半導体装置の検証システム |
US11/640,231 US7665050B2 (en) | 2006-07-04 | 2006-12-18 | Semiconductor device verification system and semiconductor device fabrication method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006184722A JP4997849B2 (ja) | 2006-07-04 | 2006-07-04 | 半導体装置の検証システム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2008015688A true JP2008015688A (ja) | 2008-01-24 |
JP4997849B2 JP4997849B2 (ja) | 2012-08-08 |
Family
ID=38920447
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006184722A Expired - Fee Related JP4997849B2 (ja) | 2006-07-04 | 2006-07-04 | 半導体装置の検証システム |
Country Status (2)
Country | Link |
---|---|
US (1) | US7665050B2 (ja) |
JP (1) | JP4997849B2 (ja) |
Families Citing this family (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8336002B2 (en) * | 2006-05-15 | 2012-12-18 | Taiwan Semiconductor Manufacturing Company, Ltd. | IC design flow enhancement with CMP simulation |
US7788612B2 (en) * | 2007-03-30 | 2010-08-31 | Taiwan Semiconductor Manufacturing Company, Ltd. | System, method, and computer program product for matching cell layout of an integrated circuit design |
US7904844B2 (en) * | 2007-03-30 | 2011-03-08 | Taiwan Semiconductor Manufacturing Company, Ltd. | System, method, and computer program product for matching cell layout of an integrated circuit design |
JP2010009308A (ja) * | 2008-06-26 | 2010-01-14 | Fujitsu Microelectronics Ltd | データ検証方法、データ検証装置、及びプログラム |
US8397193B2 (en) * | 2009-04-17 | 2013-03-12 | Arm Limited | Proprietary circuit layout identification |
JP2012068876A (ja) * | 2010-09-22 | 2012-04-05 | Toshiba Corp | 半導体集積回路のレイアウト検証装置及びレイアウト検証方法 |
US20170337300A1 (en) * | 2012-09-05 | 2017-11-23 | Mentor Graphics Corporation | Logic-Driven Layout Pattern Analysis |
US20150067621A1 (en) * | 2012-09-05 | 2015-03-05 | Mentor Graphics Corporation | Logic-Driven Layout Pattern Analysis |
US20140258156A1 (en) * | 2013-03-05 | 2014-09-11 | Achilleas Tziazas | System and method to authenticate integrated circuits |
US10185799B2 (en) * | 2014-04-22 | 2019-01-22 | Mentor Graphics Corporation | Verification of photonic integrated circuits |
US11023648B2 (en) | 2017-12-12 | 2021-06-01 | Siemens Industry Software Inc. | Puzzle-based pattern analysis and classification |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03257673A (ja) * | 1990-03-08 | 1991-11-18 | Nec Corp | パタン抽出方法 |
JPH08106475A (ja) * | 1994-10-04 | 1996-04-23 | Mitsubishi Electric Corp | レイアウト検証ルール作成支援装置 |
JPH09148441A (ja) * | 1995-11-20 | 1997-06-06 | Hitachi Ltd | レイアウト検証方法および装置 |
JP2006024125A (ja) * | 2004-07-09 | 2006-01-26 | Nec Electronics Corp | デザインルールチェック実行装置および実行方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7284214B2 (en) * | 2004-10-22 | 2007-10-16 | Mentor Graphics Corporation | In-line XOR checking of master cells during integrated circuit design rule checking |
-
2006
- 2006-07-04 JP JP2006184722A patent/JP4997849B2/ja not_active Expired - Fee Related
- 2006-12-18 US US11/640,231 patent/US7665050B2/en not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03257673A (ja) * | 1990-03-08 | 1991-11-18 | Nec Corp | パタン抽出方法 |
JPH08106475A (ja) * | 1994-10-04 | 1996-04-23 | Mitsubishi Electric Corp | レイアウト検証ルール作成支援装置 |
JPH09148441A (ja) * | 1995-11-20 | 1997-06-06 | Hitachi Ltd | レイアウト検証方法および装置 |
JP2006024125A (ja) * | 2004-07-09 | 2006-01-26 | Nec Electronics Corp | デザインルールチェック実行装置および実行方法 |
Also Published As
Publication number | Publication date |
---|---|
JP4997849B2 (ja) | 2012-08-08 |
US7665050B2 (en) | 2010-02-16 |
US20080010623A1 (en) | 2008-01-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4997849B2 (ja) | 半導体装置の検証システム | |
US7284214B2 (en) | In-line XOR checking of master cells during integrated circuit design rule checking | |
US5936868A (en) | Method for converting an integrated circuit design for an upgraded process | |
US8037428B2 (en) | Method and system for post-routing lithography-hotspot correction of a layout | |
US6892368B2 (en) | Patching technique for correction of minimum area and jog design rule violations | |
US8103983B2 (en) | Electrically-driven optical proximity correction to compensate for non-optical effects | |
US7137094B2 (en) | Method for reducing layers revision in engineering change order | |
US7584450B2 (en) | Method and apparatus for using a database to quickly identify and correct a manufacturing problem area in a layout | |
US20080046849A1 (en) | Method for changing physical layout data using virtual layer | |
US7096447B1 (en) | Method and apparatus for efficiently locating and automatically correcting certain violations in a complex existing circuit layout | |
US7631288B2 (en) | Optical proximity correction performed with respect to limited area | |
US7464350B1 (en) | Method of and circuit for verifying a layout of an integrated circuit device | |
US8984459B2 (en) | Methods and apparatus for layout verification | |
US20100122224A1 (en) | Method and apparatus for designing an integrated circuit | |
US6718527B2 (en) | Automated design rule violation correction when adding dummy geometries to a design layout | |
US9965579B2 (en) | Method for designing and manufacturing an integrated circuit, system for carrying out the method, and system for verifying an integrated circuit | |
US8645876B2 (en) | Methodology for performing post layer generation check | |
US8910090B2 (en) | Methods involving pattern matching to identify and resolve potential non-double-patterning-compliant patterns in double patterning applications | |
CN107783369B (zh) | 光学邻近校正的修复方法 | |
US8762902B2 (en) | System and method for detecting one or more winding paths for patterns on a reticle for the manufacture of semiconductor integrated circuits | |
CN114730354A (zh) | 基于网络的晶片检查 | |
KR20150120265A (ko) | 집적 회로 설계 방법, 그 방법을 실행하기 위한 시스템 및 집적 회로 검증 시스템 | |
US20110119544A1 (en) | User Guided Short Correction And Schematic Fix Visualization | |
US20070124327A1 (en) | Method of creating a file for a patterning mask | |
JP2009302179A (ja) | 半導体集積回路のレイアウトシステム及び方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A712 Effective date: 20080729 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20090402 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20101214 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20101221 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110221 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110628 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110826 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20120417 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20120430 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150525 Year of fee payment: 3 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
LAPS | Cancellation because of no payment of annual fees |