JP2006277180A - Rtl入力プログラムの不具合解析支援装置及びその方法ならびに部分rtl生成装置 - Google Patents
Rtl入力プログラムの不具合解析支援装置及びその方法ならびに部分rtl生成装置 Download PDFInfo
- Publication number
- JP2006277180A JP2006277180A JP2005093674A JP2005093674A JP2006277180A JP 2006277180 A JP2006277180 A JP 2006277180A JP 2005093674 A JP2005093674 A JP 2005093674A JP 2005093674 A JP2005093674 A JP 2005093674A JP 2006277180 A JP2006277180 A JP 2006277180A
- Authority
- JP
- Japan
- Prior art keywords
- rtl
- input
- description data
- partial
- signal
- 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
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)
- Debugging And Monitoring (AREA)
Abstract
【解決手段】 部分RTL生成部161は、入力RTL131中の連続する一部分から抽出した論理記述と全く同じ論理記述を含み且つ入力RTL131の信号の接続関係を維持した部分RTL135を作成して記憶部115に記憶する。評価部162は、部分RTL135を入力としてRTL入力プログラム151を実行し、RTL入力プログラム151に異常終了などの不具合が生じたかどうかを示すエラー判定情報137を記憶部117に記憶する。実行制御部163は、エラー判定情報137の内容に基づいて、部分RTL生成部161により次に生成する部分RTLに含まれる論理記述の量を制御することにより、最終的に、入力RTL131と同じ不具合が起こり且つ論理記述の量が最小の部分RTL132を決定して出力する。
【選択図】 図1
Description
本発明にあっては、部分RTL生成手段が、入力RTL記述データの連続する一部分から抽出した論理記述と全く同じ論理記述を含み且つ入力RTL記述データの信号の接続関係を維持した部分RTL記述データを作成して記憶部に記憶し、評価手段が、前記生成された部分RTL記述データを入力としてRTL入力プログラムを実行し、RTL入力プログラムに不具合が生じたかどうかを示すエラー判定情報を記憶部に記憶し、実行制御部が、エラー判定情報の内容に基づいて部分RTL生成手段により次に生成する部分RTL記述データに含まれる論理記述の量を制御することにより、最終的に、入力RTL記述データと同じ不具合が起こり且つ論理記述の量が最小の部分RTL記述データを決定して出力する。
111〜118…記憶部
121…記録媒体
131…入力RTL
132…部分RTL
133…信号情報テーブル
134…中間RTL
135…部分RTL
136…実行ログ
137…エラー判定情報
141…外部端子情報
142…定義参照関係情報
143…種別情報
151…RTL入力プログラム
161…部分RTL生成部
162…評価部
163…実行制御部
171…外部端子情報読み込み部
172…内部論理記述抽出部
173…内部信号情報テーブル作成部
174…外部端子情報作成部
175…RTL作成部
181…RTL入力プログラム実行部
182…実行結果解析部
Claims (8)
- 入力RTL記述データの連続する一部分から抽出した論理記述と全く同じ論理記述を含み且つ前記入力RTL記述データの信号の接続関係を維持した部分RTL記述データを作成して記憶部に記憶する部分RTL生成手段と、
前記記憶部から読み出した前記部分RTL記述データを入力としてRTL入力プログラムを実行し、前記RTL入力プログラムに不具合が生じたかどうかを示すエラー判定情報を前記記憶部に記憶する評価手段と、
前記記憶部から読み出した前記エラー判定情報の内容に基づいて前記部分RTL生成手段により次に生成する部分RTL記述データに含まれる論理記述の量を制御し、前記入力RTL記述データと同じ不具合が起こり且つ論理記述の量が最小の部分RTL記述データを決定して出力する実行制御部とを備えたことを特徴とするRTL入力プログラムの不具合解析支援装置。 - 前記部分RTL生成手段は、前記入力RTL記述データの外部端子の信号名と信号の向きの情報を含む外部端子情報を信号情報テーブルに保存する外部端子情報読み込み部と、前記入力RTL記述データの連続する一部分から抽出した論理記述を含む中間RTL記述データを生成して前記記憶部に保存する内部論理記述抽出部と、前記中間RTL記述データ内の各信号について、前記中間RTL記述データ中で定義および参照されているか、外で定義および参照されているかを示す定義参照関係情報を作成して前記信号情報テーブルに保存する内部信号情報テーブル作成部と、前記信号情報テーブルに保存された前記外部端子情報および前記定義参照関係情報に基づいて前記中間RTL記述データ内の各信号が、前記中間RTL記述データの出力端子、入力端子および内部信号の何れの種別になるかを判断し、その判断結果を種別情報として前記信号情報テーブルに保存する外部端子情報作成部と、前記記憶部から読み出した前記中間RTL記述データに対し前記信号情報テーブルに保存された前記種別情報に基づいて生成した外部端子の情報を追加して部分RTL記述データを生成し、前記記憶部に記憶するRTL作成部とを備えることを特徴とする請求項1記載のRTL入力プログラムの不具合解析支援装置。
- 前記評価手段は、前記記憶部から読み出した前記部分RTL記述データを入力としてRTL入力プログラムを実行し、実行ログを前記記憶部に記憶するRTL入力プログラム実行部と、前記実行ログを解析して前記RTL入力プログラムに不具合が生じたかどうかを示すエラー判定情報を前記記憶部に記憶する実行結果解析部とを備えることを特徴とする請求項1記載のRTL入力プログラムの不具合解析支援装置。
- 前記実行制御部は、前記入力RTL記述データから論理記述を抽出する範囲の一端側の限度を前記入力RTL記述データの最初の論理記述文および最後の論理記述文の一方に固定し、前記入力RTL記述データから論理記述を抽出する範囲の他端側の限度を可変にして、前記入力RTL記述データの前記固定した一端側の論理記述文から連続する論理記述文を含み且つ前記入力RTL記述データと同じ不具合が起こる論理記述量最小の部分RTL記述データを決定し、前記入力RTL記述データから論理記述を抽出する範囲の他端側の限度を前記決定した論理記述量最小の部分RTL記述データの他端側の論理記述文に固定し、前記入力RTL記述データから論理記述を抽出する範囲の一端側の限度を可変にして、前記決定した論理記述量最小の部分RTL記述データの他端側の論理記述文から連続する論理記述文を含み且つ前記入力RTL記述データと同じ不具合が起こる論理記述量最小の部分RTL記述データを決定するものであることを特徴とする請求項1記載のRTL入力プログラムの不具合解析支援装置。
- a)部分RTL生成手段が、入力RTL記述データの連続する一部分から抽出した論理記述と全く同じ論理記述を含み且つ前記入力RTL記述データの信号の接続関係を維持した部分RTL記述データを作成して記憶部に記憶するステップ、
b)評価手段が、前記記憶部から読み出した前記部分RTL記述データを入力としてRTL入力プログラムを実行し、前記RTL入力プログラムに不具合が生じたかどうかを示すエラー判定情報を前記記憶部に記憶するステップ、
c)実行制御部が、前記記憶部から読み出した前記エラー判定情報の内容に基づいて前記部分RTL生成手段により次に生成する部分RTL記述データに含まれる論理記述の量を制御するステップ、
を含み、前記入力RTL記述データと同じ不具合が起こり且つ論理記述の量が最小の部分RTL記述データを決定して出力することを特徴とするRTL入力プログラムの不具合解析支援方法。 - コンピュータを、入力RTL記述データの連続する一部分から抽出した論理記述と全く同じ論理記述を含み且つ前記入力RTL記述データの信号の接続関係を維持した部分RTL記述データを作成して記憶部に記憶する部分RTL生成手段、前記記憶部から読み出した前記部分RTL記述データを入力としてRTL入力プログラムを実行し、前記RTL入力プログラムに不具合が生じたかどうかを示すエラー判定情報を前記記憶部に記憶する評価手段、前記記憶部から読み出した前記エラー判定情報の内容に基づいて前記部分RTL生成手段により次に生成する部分RTL記述データに含まれる論理記述の量を制御し、前記入力RTL記述データと同じ不具合が起こり且つ論理記述の量が最小の部分RTL記述データを決定して出力する実行制御手段、として機能させるためのプログラム。
- 入力RTL記述データの外部端子の信号名と信号の向きの情報を含む外部端子情報を信号情報テーブルに保存する外部端子情報読み込み部と、前記入力RTL記述データの連続する一部分から抽出した論理記述を含む中間RTL記述データを生成して記憶部に保存する内部論理記述抽出部と、前記中間RTL記述データ内の各信号について、前記中間RTL記述データ中で定義および参照されているか、外で定義および参照されているかを示す定義参照関係情報を作成して前記信号情報テーブルに保存する内部信号情報テーブル作成部と、前記信号情報テーブルに保存された前記外部端子情報および前記定義参照関係情報に基づいて前記中間RTL記述データ内の各信号が、前記中間RTL記述データの出力端子、入力端子および内部信号の何れの種別になるかを判断し、その判断結果を種別情報として前記信号情報テーブルに保存する外部端子情報作成部と、前記記憶部から読み出した前記中間RTL記述データに対し前記信号情報テーブルに保存された前記種別情報に基づいて生成した外部端子の情報を追加して、前記入力RTL記述データと同じ不具合が起こる可能性のある部分RTL記述データを生成し、前記記憶部に記憶するRTL作成部とを備えることを特徴とする部分RTL生成装置。
- コンピュータを、入力RTL記述データの外部端子の信号名と信号の向きの情報を含む外部端子情報を信号情報テーブルに保存する外部端子情報読み込み手段、前記入力RTL記述データの連続する一部分から抽出した論理記述を含む中間RTL記述データを生成して記憶部に保存する内部論理記述抽出手段、前記中間RTL記述データ内の各信号について、前記中間RTL記述データ中で定義および参照されているか、外で定義および参照されているかを示す定義参照関係情報を作成して前記信号情報テーブルに保存する内部信号情報テーブル作成手段、前記信号情報テーブルに保存された前記外部端子情報および前記定義参照関係情報に基づいて前記中間RTL記述データ内の各信号が、前記中間RTL記述データの出力端子、入力端子および内部信号の何れの種別になるかを判断し、その判断結果を種別情報として前記信号情報テーブルに保存する外部端子情報作成手段、前記記憶部から読み出した前記中間RTL記述データに対し前記信号情報テーブルに保存された前記種別情報に基づいて生成した外部端子の情報を追加して、前記入力RTL記述データと同じ不具合が起こる可能性のある部分RTL記述データを生成し、前記記憶部に記憶するRTL作成手段、として機能させるためのプログラム。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005093674A JP4453592B2 (ja) | 2005-03-29 | 2005-03-29 | Rtl入力プログラムの不具合解析支援装置及びその方法ならびに部分rtl生成装置 |
US11/390,076 US7543257B2 (en) | 2005-03-29 | 2006-03-28 | Apparatus for giving assistance in analyzing deficiency in RTL-input program and method of doing the same |
US12/453,033 US8191031B2 (en) | 2005-03-29 | 2009-04-28 | Apparatus for giving assistance in analyzing deficiency in RTL-input program and method of doing the same |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005093674A JP4453592B2 (ja) | 2005-03-29 | 2005-03-29 | Rtl入力プログラムの不具合解析支援装置及びその方法ならびに部分rtl生成装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006277180A true JP2006277180A (ja) | 2006-10-12 |
JP4453592B2 JP4453592B2 (ja) | 2010-04-21 |
Family
ID=37072103
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005093674A Expired - Fee Related JP4453592B2 (ja) | 2005-03-29 | 2005-03-29 | Rtl入力プログラムの不具合解析支援装置及びその方法ならびに部分rtl生成装置 |
Country Status (2)
Country | Link |
---|---|
US (2) | US7543257B2 (ja) |
JP (1) | JP4453592B2 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009282847A (ja) * | 2008-05-23 | 2009-12-03 | Toshiba Corp | 半導体集積回路の検証装置 |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7464345B2 (en) * | 2005-08-01 | 2008-12-09 | Lsi Corporation | Resource estimation for design planning |
JP4831375B2 (ja) * | 2009-06-26 | 2011-12-07 | 日本電気株式会社 | 検証装置、検証方法、及びプログラム |
JP5528318B2 (ja) * | 2010-03-23 | 2014-06-25 | パナソニック株式会社 | 表示装置 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05242191A (ja) | 1992-03-02 | 1993-09-21 | Toshiba Corp | 論理回路設計支援装置 |
JP2962292B2 (ja) | 1997-09-26 | 1999-10-12 | 日本電気株式会社 | レイアウト設計を考慮したlsi論理設計支援システム |
JP2003085221A (ja) | 2001-09-10 | 2003-03-20 | Nec Corp | Rtl自動階層化システムおよび方法、rtl自動階層化プログラム |
JP2003085220A (ja) | 2001-09-10 | 2003-03-20 | Being:Kk | 3次元cadシステム |
JP2004102703A (ja) * | 2002-09-10 | 2004-04-02 | Matsushita Electric Ind Co Ltd | レジスタ転送レベル設計支援装置 |
JP4183182B2 (ja) * | 2003-08-22 | 2008-11-19 | 株式会社リコー | 設計支援装置および設計支援方法 |
-
2005
- 2005-03-29 JP JP2005093674A patent/JP4453592B2/ja not_active Expired - Fee Related
-
2006
- 2006-03-28 US US11/390,076 patent/US7543257B2/en not_active Expired - Fee Related
-
2009
- 2009-04-28 US US12/453,033 patent/US8191031B2/en not_active Expired - Fee Related
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009282847A (ja) * | 2008-05-23 | 2009-12-03 | Toshiba Corp | 半導体集積回路の検証装置 |
Also Published As
Publication number | Publication date |
---|---|
US8191031B2 (en) | 2012-05-29 |
US20090217215A1 (en) | 2009-08-27 |
US20060225004A1 (en) | 2006-10-05 |
US7543257B2 (en) | 2009-06-02 |
JP4453592B2 (ja) | 2010-04-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN109299530B (zh) | 一种仿真测试案例生成方法、系统、存储介质和终端 | |
JP4453592B2 (ja) | Rtl入力プログラムの不具合解析支援装置及びその方法ならびに部分rtl生成装置 | |
CN111680463A (zh) | 一种文件检查方法和装置 | |
JP2007034833A (ja) | 機能検証記述生成装置,機能検証記述生成方法,及び機能検証記述生成プログラム | |
CN116501415B (zh) | 命令执行方法及装置、电子设备、计算机可读存储介质 | |
JP4541196B2 (ja) | 故障検出改善装置、故障検出改善プログラム、故障検出改善方法 | |
US8015523B2 (en) | Method and system for sequential netlist reduction through trace-containment | |
JP2008077330A (ja) | ハードウエア高速シミュレーション用モデル生成装置及びそのシミュレーション装置。 | |
JP5265318B2 (ja) | 論理検証装置 | |
GB2397905A (en) | Method for automatically generating and ordering test scripts | |
JPWO2006025412A1 (ja) | 論理検証方法、論理モジュールデータ、デバイスデータおよび論理検証装置 | |
JP5755861B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP2009031129A (ja) | 試験装置及び試験方法 | |
JP2005316710A (ja) | ソフトウェア試験支援装置 | |
JP6547345B2 (ja) | テストケース生成プログラム、テストケース生成方法およびテストケース生成装置 | |
JP2004252981A (ja) | 静的タイミング解析装置による低電圧スイングバスの解析方法 | |
JP5799589B2 (ja) | 検証方法及び検証プログラム | |
US7895553B2 (en) | Verification support method and apparatus, and computer product | |
JP2012207993A (ja) | テストパタン生成システム、テストパタン生成方法、およびテストパタン生成プログラム | |
JP2007078536A (ja) | 故障検出シミュレーションシステム、故障検出シミュレーション方法及びプログラム | |
JP3788355B2 (ja) | 設計検証システム、設計検証方法、および、設計検証プログラム | |
JP6201382B2 (ja) | 論理検証装置及び論理検証方法 | |
CN113806154A (zh) | 一种测试方法、测试系统、设备及可读存储介质 | |
CN114968690A (zh) | 芯片测试用例的处理方法、装置、存储介质及电子设备 | |
JP2011002903A (ja) | 非同期回路検証装置及びプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20080213 |
|
RD02 | Notification of acceptance of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7422 Effective date: 20090715 |
|
RD03 | Notification of appointment of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7423 Effective date: 20090715 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20091228 |
|
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: 20100112 |
|
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: 20100125 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130212 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: 20130212 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140212 Year of fee payment: 4 |
|
LAPS | Cancellation because of no payment of annual fees |