JP4249728B2 - 論理検証方法及び論理検証装置 - Google Patents
論理検証方法及び論理検証装置 Download PDFInfo
- Publication number
- JP4249728B2 JP4249728B2 JP2005147777A JP2005147777A JP4249728B2 JP 4249728 B2 JP4249728 B2 JP 4249728B2 JP 2005147777 A JP2005147777 A JP 2005147777A JP 2005147777 A JP2005147777 A JP 2005147777A JP 4249728 B2 JP4249728 B2 JP 4249728B2
- Authority
- JP
- Japan
- Prior art keywords
- search
- signals
- logic
- collision point
- point
- 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
Description
11 中央処理部
12 ネットリスト記憶部
13 処理指示部
14 結果表示部
15 結果ファイル出力部
16 ネットリスト読み込み部
17 階層展開部
18 衝突点検索部
19 結果表示部
Claims (14)
- 中央処理装置を使った論理検証方法であって、前記中央処理装置を用いて、
ネットリスト読み込み手段がネットリストを読み込み、
処理指示手段が非同期の2つの信号を指定し、
衝突点検索手段が前記ネットリストから前記2つの信号の経路検索を行い、前記2つの信号の伝播信号が入力される論理ブロックを衝突点として検出し、
結果表示手段が検出した前記衝突点を表示することを特徴とする論理検証方法。 - 前記ネットリストがトランジスタレベルの場合には、階層展開手段がトランジスタレベルのネットリストから論理レベルのネットリストに変換することを特徴とする請求項1に記載の論理検証方法。
- 前記経路検索は、最初に前記2つの信号の一方を始点とした経路を探索し、次に前記2つの信号の他方を始点とした経路を検索することを特徴とする請求項1又は請求項2に記載の論理検証方法。
- 前記経路検索は、最初に前記2つの信号の一方を始点とした経路を探索し、次に前記2つの信号の他方を始点とした経路を検索して第1の衝突点を検出し、
更に、最初に前記2つの信号の他方を始点とした経路を探索し、次に前記2つの信号の一方を始点とした経路を検索して第2の衝突点を検出し、
前記第1の衝突点と前記第2の衝突点のそれぞれの検出結果を合成して前記衝突点とすることを特徴とする請求項1又は請求項2に記載の論理検証方法。 - 前記経路検索は、前記衝突点を検出した以降の経路については検索しないことを特徴とする請求項3又は請求項4に記載の論理検証方法。
- 前記経路検索は、前記2つの信号の伝播信号が入力される衝突点を検出した以降の経路において、さらに前記2つの信号の伝播信号が入力される第2の衝突点を検出した場合には前記第2の衝突点を削除することを特徴とする請求項3又は請求項4に記載の論理検証方法。
- 前記経路検索は、始点から発生した波が信号線を辺とするグラフ上を等速で伝播する状態を推定する方法である幅優先検索を用いて、
前記2つの信号の一方を始点とした経路検索において検索された経路にフラグAを設定し、前記2つの信号の他方を始点とした経路検索において検索された経路にフラグBを設定し、
前記フラグAとフラグBの両方が入力される論理ブロックに衝突点としてフラグCを設定することで、論理回路に含まれるループ回路の衝突点を検出することを特徴とする請求項3乃至6のいずれかに記載の論理検証方法。 - 中央処理装置を使った論理検証方法であって、前記中央処理装置を用いて、
ネットリスト読み込み手段がネットリストを読み込み、
処理指示手段が非同期の2つの信号を指定し、
衝突点検索手段が、前記ネットリストから生成された論理ブロックを頂点、信号線の伝播方向を無視した信号線を辺とするグラフにおいて、
始点から発生した波が信号線を辺とするグラフ上を等速で伝播する状態を推定する方法である幅優先検索を用いて、
前記2つの信号間の経路検索を行い、前記検索経路の方向と前記グラフの方向が反転した頂点を衝突点として検出し、
結果表示手段が検出した前記衝突点を表示することを特徴とする論理検証方法。 - 前記ネットリストがトランジスタレベルの場合には、階層展開手段がトランジスタレベルのネットリストから論理レベルのネットリストに変換することを特徴とする請求項8に記載の論理検証方法。
- 前記経路検索は、前記2つの信号の一方を始点とし、前記2つの信号の他方を終点として前記始点から前記終点間を経路検索し、その後逆方向に後退検索することを特徴とする請求項8又は請求項9に記載の論理検証方法。
- 前記経路検索は、最初に前記2つの信号の一方を第1の始点とし、前記2つの信号の他方を第1の終点として前記第1の始点から前記第1の終点間を経路検索し、その後逆方向に後退検索して前記衝突点を検出し、
さらに前記2つの信号の他方を第2の始点とし、前記2つの信号の一方を第2の終点として前記第2の始点から前記第2の終点間を経路検索し、その後逆方向に後退検索して前記衝突点を検出することを特徴とする請求項8又は請求項9に記載の論理検証方法。 - ネットリストデータを記憶したネットリスト記憶手段と、
記憶されたネットリストを読み込むネットリスト読み込み手段と、
非同期の2つの信号を指定する処理指示手段と、
前記ネットリストから指定された前記2つの信号の経路検索を行い、前記2つの信号の伝播信号が入力される論理ブロックを衝突点として検出する衝突点検索手段と、
前記衝突点を表示する結果表示手段と、を備えたことを特徴とする論理検証装置。 - 読み込まれた前記ネットリストを階層展開する階層展開手段を備え、
前記階層展開手段は、論理ゲートで構成される論理記述レベルに階層展開する、ことを特徴とする請求項12に記載の論理検証装置。 - 中央制御装置は、前記ネットリスト読み込み手段と、前記階層展開手段と、前記衝突点検索手段と、を備え、
前記ネットリスト読み込み手段がネットリストを読み込み、前記衝突検索手段が経路検索と衝突点検索を一括処理する、ことを特徴とする請求項12又は請求項13に記載の論理検証装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005147777A JP4249728B2 (ja) | 2005-05-20 | 2005-05-20 | 論理検証方法及び論理検証装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005147777A JP4249728B2 (ja) | 2005-05-20 | 2005-05-20 | 論理検証方法及び論理検証装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006323727A JP2006323727A (ja) | 2006-11-30 |
JP4249728B2 true JP4249728B2 (ja) | 2009-04-08 |
Family
ID=37543344
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005147777A Expired - Fee Related JP4249728B2 (ja) | 2005-05-20 | 2005-05-20 | 論理検証方法及び論理検証装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4249728B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8117578B2 (en) | 2007-12-28 | 2012-02-14 | Nec Corporation | Static hazard detection device, static hazard detection method, and recording medium |
-
2005
- 2005-05-20 JP JP2005147777A patent/JP4249728B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2006323727A (ja) | 2006-11-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Van Eijk | Sequential equivalence checking based on structural similarities | |
US7308660B2 (en) | Calculation system of fault coverage and calculation method of the same | |
US20050091025A1 (en) | Methods and systems for improved integrated circuit functional simulation | |
US20070226664A1 (en) | Method and system for verifying the equivalence of digital circuits | |
CN112560401B (zh) | Verilog文件转换方法、装置、存储介质及设备 | |
JPH04101274A (ja) | 論理設計処理装置およびタイミング調整方法 | |
US10078714B2 (en) | Data propagation analysis for debugging a circuit design | |
JP3851357B2 (ja) | トランジスタ回路のタイミング特性抽出方法、タイミング特性ライブラリを記憶した記憶媒体、lsiの設計方法、及びゲート抽出方法 | |
US8281269B2 (en) | Method of semiconductor integrated circuit device and program | |
JP3088331B2 (ja) | 故障シミュレーション方法 | |
CN114586036A (zh) | 利用寄存器传输级矢量的毛刺功率分析 | |
US7073141B2 (en) | Device, system and method for VLSI design analysis | |
US7617466B2 (en) | Circuit conjunctive normal form generating method, circuit conjunctive normal form generating device, hazard check method and hazard check device | |
JP4249728B2 (ja) | 論理検証方法及び論理検証装置 | |
US9104829B2 (en) | Method of validating timing issues in gate-level simulation | |
US7945882B2 (en) | Asynchronous circuit logical verification method, logical verification apparatus, and computer readable storage medium | |
JP5115003B2 (ja) | 論理設計支援システム及びプログラム | |
JP2005071001A (ja) | 設計支援装置 | |
CN113536726A (zh) | 用于最大瞬时峰值功率的矢量生成 | |
US8694937B2 (en) | Implementing and checking electronic circuits with flexible ramptime limits and tools for performing the same | |
Haghbayan et al. | Automated formal approach for debugging dividers using dynamic specification | |
US20130191800A1 (en) | Timing constraint generating support apparatus and method of supporting generation of timing constraint | |
JP5849973B2 (ja) | データ処理装置、データ処理システム、データ処理方法、及びデータ処理プログラム | |
JP2845154B2 (ja) | 論理シミュレーション用モデルの作成方法 | |
CN110990263B (zh) | 一种测试案例集的自动生成器及生成方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20080903 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20081031 |
|
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: 20090107 |
|
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: 20090115 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120123 Year of fee payment: 3 |
|
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: 20120123 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130123 Year of fee payment: 4 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130123 Year of fee payment: 4 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140123 Year of fee payment: 5 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313117 |
|
S531 | Written request for registration of change of domicile |
Free format text: JAPANESE INTERMEDIATE CODE: R313531 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R360 | Written notification for declining of transfer of rights |
Free format text: JAPANESE INTERMEDIATE CODE: R360 |
|
R360 | Written notification for declining of transfer of rights |
Free format text: JAPANESE INTERMEDIATE CODE: R360 |
|
R371 | Transfer withdrawn |
Free format text: JAPANESE INTERMEDIATE CODE: R371 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313117 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
LAPS | Cancellation because of no payment of annual fees |