JP4883124B2 - 配線検証システム、配線検証方法、及び配線検証プログラム - Google Patents
配線検証システム、配線検証方法、及び配線検証プログラム Download PDFInfo
- Publication number
- JP4883124B2 JP4883124B2 JP2009088253A JP2009088253A JP4883124B2 JP 4883124 B2 JP4883124 B2 JP 4883124B2 JP 2009088253 A JP2009088253 A JP 2009088253A JP 2009088253 A JP2009088253 A JP 2009088253A JP 4883124 B2 JP4883124 B2 JP 4883124B2
- Authority
- JP
- Japan
- Prior art keywords
- wiring
- board
- external
- information
- verification
- 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; 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]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- 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
-
- H—ELECTRICITY
- H05—ELECTRIC TECHNIQUES NOT OTHERWISE PROVIDED FOR
- H05K—PRINTED CIRCUITS; CASINGS OR CONSTRUCTIONAL DETAILS OF ELECTRIC APPARATUS; MANUFACTURE OF ASSEMBLAGES OF ELECTRICAL COMPONENTS
- H05K3/00—Apparatus or processes for manufacturing printed circuits
- H05K3/0005—Apparatus or processes for manufacturing printed circuits for designing circuits by computer
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)
Description
図1は、この発明の第1の実施形態である配線検証システムの構成を示すブロック図である。図1において、この実施形態の配線検証システムは、基板データ11、外部接続基板データ12、基板間接続情報13、配線制約14、縮退部品ライブラリ15、部品内部配線情報16、基板理想線長17、システムネットリスト構築手段21、外部接続トレース手段22、外部負荷生成手段23、配線検証手段24、システムネットリスト31、外部接続情報32、外部ダミー負荷33、及び検証結果34によって構成されている。
12 外部接続基板データ
13 基板間接続情報
14 配線制約
15 縮退部品ライブラリ
16 部品内部配線情報
17 基板理想線長
21 システムネットリスト構築手段
22 外部接続トレース手段
23 外部負荷生成手段
24 配線検証手段
31 システムネットリスト
32 外部接続情報
33 外部ダミー負荷
34 検証結果
Claims (12)
- 複数の基板を経由する配線を検証する配線検証システムであって、
各基板の配線状態を示す配線定義情報と、各基板間の接続状態を示す基板間接続定義情報とに基づいて、前記各基板間の理論的な接続関係を示すシステムネットリストを生成するシステムネットリスト構築手段と、
前記システムネットリスト構築手段が生成したシステムネットリストに基づいて、検証対象となる基板から外部基板への接続関係をトレースして外部接続情報を生成する外部接続トレース手段と、
前記外部接続トレース手段が生成した外部接続情報に基づいて、前記検証対象となる基板から前記外部基板への配線長又は配線遅延を定義した外部ダミー負荷を生成する外部負荷生成手段と、
前記外部負荷生成手段が生成した外部ダミー負荷に基づいて、前記複数の基板を経由する配線の検証を行う配線検証手段とを備え、
前記外部負荷生成手段は、
前記外部接続情報に含まれる信号線が配線済みであれば、実配線長の情報を参照し、前記外部接続情報に含まれる信号線が未配線であれば、理想配線長の情報を参照して前記外部ダミー負荷を生成すると共に、
前記配線検証手段は、
前記システムネットリストと、配線制約と、内部に配線がある部品を対象に配線長もしくは配線遅延情報を定義する部品内部配線情報と、前記外部ダミー負荷とに基づいて、前記複数の基板を経由する配線の検証を行うことを特徴とする配線検証システム。 - 前記外部ダミー負荷には、前記検証対象となる基板の外部接続端子に対する負荷が配線長又は遅延時間として定義され、配線長又は遅延時間のうち、実配線の占める割合が定義されていること特徴とする請求項1記載の配線検証システム。
- 前記部品内部配線情報には、前記検証対象となる基板の外部接続端子からの接続関係が定義されていること特徴とする請求項1記載の配線検証システム。
- 前記配線制約には、検証対象となる基板内の信号又は始終点ピンペアに対して、複数の基板を経由する高速信号配線の制約とその他の信号配線の制約が定義されていること特徴とする請求項1記載の配線検証システム。
- 前記配線制約は、前記始終点ピンペアが最長線長又は最長時間以下となることを制約する最長線長制約と、前記始終点ピンペアが最短線長又は最短時間以上となることを制約する最短線長制約と、複数の信号の配線スキューが許容誤差以下又は許容時間以下となることを制約する等長誤差制約とからなること特徴とする請求項4記載の配線検証システム。
- 配線検証プログラムが、コンピュータに、複数の基板を経由する配線を検証させる配線検証方法であって、
前記コンピュータは、
前記配線検証プログラムの制御の下に、各基板の配線状態を示す配線定義情報と、各基板間の接続状態を示す基板間接続定義情報とに基づいて、前記各基板間の理論的な接続関係を示すシステムネットリストを生成するシステムネットリスト処理と、
前記システムネットリスト処理で生成されたシステムネットリストに基づいて、検証対象となる基板から外部基板への接続関係をトレースして外部接続情報を生成する外部接続トレース処理と、
前記外部接続トレース処理で生成された外部接続情報に基づいて、前記検証対象となる基板から前記外部基板への配線長又は配線遅延を定義した外部ダミー負荷を生成する外部負荷生成処理と、
前記外部負荷生成処理で生成された外部ダミー負荷に基づいて、前記複数の基板を経由する配線の検証を行う配線検証処理とを実行し、
前記外部負荷生成処理では、
前記外部接続情報に含まれる信号線が配線済みであれば、実配線長の情報を参照し、前記外部接続情報に含まれる信号線が未配線であれば、理想配線長の情報を参照して前記外部ダミー負荷を生成すると共に、
前記配線検証処理では、
前記システムネットリストと、配線制約と、内部に配線がある部品を対象に配線長もしくは配線遅延情報を定義する部品内部配線情報と、前記外部ダミー負荷とに基づいて、前記複数の基板を経由する配線の検証を行うことを特徴とする配線検証方法。 - 前記外部負荷生成処理では、
前記コンピュータは、前記検証対象となる基板の外部接続端子に対する負荷を配線長又は遅延時間として定義し、配線長又は遅延時間のうち、実配線の占める割合を定義すること特徴とする請求項6記載の配線検証方法。 - 前記部品内部配線情報には、前記検証対象となる基板の外部接続端子からの接続関係が定義されていること特徴とする請求項6記載の配線検証方法。
- 前記配線制約には、検証対象となる基板内の信号又は始終点ピンペアに対して、複数の基板を経由する高速信号配線の制約とその他の信号の制約が定義されていること特徴とする請求項6記載の配線検証方法。
- 前記配線制約は、前記始終点ピンペアが最長線長又は最長時間以下となることを制約する最長線長制約と、前記始終点ピンペアが最短線長又は最短時間以上となることを制約する最短線長制約と、複数の信号の配線スキューが許容誤差以下又は許容時間以下となることを制約する等長誤差制約とからなること特徴とする請求項9記載の配線検証方法。
- コンピュータを、請求項1乃至5のいずれか一に記載の配線検証システムとして機能させることを特徴とする配線検証プログラム。
- コンピュータに、請求項6乃至10の何れか一に記載の配線検証方法を実行させることを特徴とする配線検証プログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009088253A JP4883124B2 (ja) | 2009-03-31 | 2009-03-31 | 配線検証システム、配線検証方法、及び配線検証プログラム |
US12/730,993 US8312411B2 (en) | 2009-03-31 | 2010-03-24 | Wiring verification system, wiring verification method, and wiring verification program product |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009088253A JP4883124B2 (ja) | 2009-03-31 | 2009-03-31 | 配線検証システム、配線検証方法、及び配線検証プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2010238170A JP2010238170A (ja) | 2010-10-21 |
JP4883124B2 true JP4883124B2 (ja) | 2012-02-22 |
Family
ID=42785895
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009088253A Expired - Fee Related JP4883124B2 (ja) | 2009-03-31 | 2009-03-31 | 配線検証システム、配線検証方法、及び配線検証プログラム |
Country Status (2)
Country | Link |
---|---|
US (1) | US8312411B2 (ja) |
JP (1) | JP4883124B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5874339B2 (ja) * | 2011-11-18 | 2016-03-02 | 富士通株式会社 | 回路設計プログラム、回路設計方法、および回路設計装置 |
Family Cites Families (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH08288395A (ja) | 1995-04-12 | 1996-11-01 | Nec Corp | 配置処理方法及び配置処理装置 |
JPH10154793A (ja) | 1996-11-25 | 1998-06-09 | Nec Corp | 半導体集積回路のレイアウト設計方法 |
JP2000123060A (ja) * | 1998-10-16 | 2000-04-28 | Hitachi Ltd | 回路情報と線路情報との表示方法 |
JP2001325315A (ja) * | 2000-05-16 | 2001-11-22 | Fujitsu Ltd | マルチpcb間接続設計支援装置 |
JP4031905B2 (ja) * | 2000-11-09 | 2008-01-09 | 富士通株式会社 | 回路設計装置及び回路設計方法 |
JP4063585B2 (ja) * | 2002-05-20 | 2008-03-19 | 富士通株式会社 | Bwb伝送配線設計システム |
US7117464B2 (en) * | 2003-02-19 | 2006-10-03 | Hewlett-Packard Development Company, L.P. | System and method for evaluating signal coupling between differential traces in a package design |
JP3991224B2 (ja) | 2003-03-19 | 2007-10-17 | 日本電気株式会社 | カード設計検証方法及びカード設計検証システム |
JP2005038150A (ja) * | 2003-07-14 | 2005-02-10 | Matsushita Electric Ind Co Ltd | 伝送線路解析システム |
JP2005100171A (ja) * | 2003-09-25 | 2005-04-14 | Sharp Corp | 対策済回路図作成装置、電子回路基板設計装置、対策済回路図作成方法、対策済回路図作成プログラム、および該プログラムを記録した記録媒体 |
JP4437759B2 (ja) | 2005-03-11 | 2010-03-24 | 三菱電機株式会社 | プリント基板設計装置およびプリント基板設計方法 |
JP2008009574A (ja) * | 2006-06-28 | 2008-01-17 | Fujitsu Ltd | 設計検証装置,設計検証プログラム,設計検証方法およびcadシステム |
WO2009037739A1 (ja) * | 2007-09-18 | 2009-03-26 | Fujitsu Limited | プリント回路板間設計処理装置、プリント回路板間設計処理プログラムおよびプリント回路板間設計処理方法 |
-
2009
- 2009-03-31 JP JP2009088253A patent/JP4883124B2/ja not_active Expired - Fee Related
-
2010
- 2010-03-24 US US12/730,993 patent/US8312411B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US8312411B2 (en) | 2012-11-13 |
US20100251195A1 (en) | 2010-09-30 |
JP2010238170A (ja) | 2010-10-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20090300568A1 (en) | Bus interface design apparatus and bus interface design method | |
US20150339428A1 (en) | Mask-aware routing and resulting device | |
CN112380809B (zh) | 标准单元、标准单元库的物理规则验证方法、装置及设备 | |
US6629307B2 (en) | Method for ensuring correct pin assignments between system board connections using common mapping files | |
US8539417B2 (en) | Generating physical designs for electronic circuit boards | |
JP2993239B2 (ja) | 階層間ディレイ配分方法 | |
US6609241B2 (en) | Method of designing clock wiring | |
JP4883124B2 (ja) | 配線検証システム、配線検証方法、及び配線検証プログラム | |
CN101908081B (zh) | 电路辅助设计方法及系统 | |
US7913219B2 (en) | Orientation optimization method of 2-pin logic cell | |
US8671374B2 (en) | Information processing apparatus | |
US8713500B2 (en) | Computer program and apparatus for evaluating signal propagation delays | |
US20070168900A1 (en) | VLSI timing optimization with interleaved buffer insertion and wire sizing stages | |
TWI528200B (zh) | 電路佈局調整方法 | |
CN112632884A (zh) | 门级网表生成方法、装置及电子设备 | |
JP5402356B2 (ja) | 電源ノイズ解析方法及び電源ノイズ解析プログラム | |
US6640332B2 (en) | Wiring pattern decision method considering electrical length and multi-layer wiring board | |
JPWO2009037738A1 (ja) | 引出し配線方法、引出し配線プログラムおよび引出し配線装置 | |
JP2013037596A (ja) | 非同期インターフェース検証装置、非同期インターフェース検証方法及びそのプログラム | |
JP2011154537A (ja) | レイアウト装置及びレイアウト方法 | |
JP2011070617A (ja) | ラック構成の最適な配置決定方法および装置 | |
JP3664954B2 (ja) | 遅延ライブラリ作成システムおよび記録媒体 | |
CN101673309A (zh) | 布线错误的修正方法 | |
JP2993488B2 (ja) | 集積回路の設計方法、集積回路及び記憶媒体 | |
CN117131814A (zh) | 自动生成芯片空壳的方法、电子设备和介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20101130 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110131 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20110614 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110912 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20110922 |
|
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: 20111108 |
|
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: 20111121 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20141216 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4883124 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |