JP5109960B2 - 検証支援プログラム、検証支援装置、および検証支援方法 - Google Patents
検証支援プログラム、検証支援装置、および検証支援方法 Download PDFInfo
- Publication number
- JP5109960B2 JP5109960B2 JP2008322617A JP2008322617A JP5109960B2 JP 5109960 B2 JP5109960 B2 JP 5109960B2 JP 2008322617 A JP2008322617 A JP 2008322617A JP 2008322617 A JP2008322617 A JP 2008322617A JP 5109960 B2 JP5109960 B2 JP 5109960B2
- Authority
- JP
- Japan
- Prior art keywords
- module
- hierarchy
- verification
- verified
- hierarchical 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.)
- Expired - Fee Related
Links
Images
Description
まず、本実施の形態の概要について説明する。図1は、実施の形態の概要を示す説明図である。図1において、検証対象回路100は、複数のモジュールA〜Iを含む構成である。これらモジュールA〜Iのうち、モジュールA,B,C,E,Gは階層レイアウトブロック(以下、「HLB」と表記する)である。
つぎに、実施の形態にかかる検証支援装置のハードウェア構成について説明する。図2は、検証支援装置のハードウェア構成を示すブロック図である。図2において、検証支援装置200は、CPU(Central Processing Unit)201と、ROM(Read‐Only Memory)202と、RAM(Random Access Memory)203と、磁気ディスクドライブ204と、磁気ディスク205と、光ディスクドライブ206と、光ディスク207と、ディスプレイ208と、I/F(Interface)209と、キーボード210と、マウス211と、スキャナ212と、プリンタ213と、を備えている。また、各構成部はバス200によってそれぞれ接続されている。
つぎに、検証支援装置200の機能的構成について説明する。図3は、検証支援装置の機能的構成を示すブロック図である。図3において、検証支援装置200は、取得部301と、分割部302と、選択部303と、検索部304と、検出部305と、特定部306と、作成部307と、検証部308と、出力部309と、を含む構成である。この制御部となる機能(取得部301〜出力部309)は、具体的には、たとえば、図2に示したROM202、RAM203、磁気ディスク205、光ディスク207などの記憶領域に記憶されたプログラムをCPU201に実行させることにより、または、I/F209により、その機能を実現する。
つぎに、検証支援装置200の検証支援処理手順について説明する。図13は、検証支援装置の検証支援処理手順の一例を示すフローチャートである。図13のフローチャートにおいて、まず、取得部301により、検証対象回路に関するネットリストおよび階層情報の入力を受け付けたか否かを判断する(ステップS1301)。
階層設計された検証対象回路に関するネットリストを取得する取得手段、
前記取得手段によって取得されたネットリストを前記検証対象回路内のモジュールごとに分割する分割手段、
前記モジュール群のうち階層構造化された階層レイアウトブロックを示すモジュールの中から、検証対象となる階層レイアウトブロックのモジュールを選択する選択手段、
前記選択手段によって選択されたモジュールのネットリストを、前記分割手段によって前記モジュールごとに分割されたネットリスト群の中から検索する検索手段、
前記検索手段によって検索されたモジュールのネットリストを出力する出力手段、
として機能させることを特徴とする検証支援プログラム。
前記階層レイアウトブロックごとに、当該階層レイアウトブロックと呼出関係を有する直下階層の階層レイアウトブロックを前記ネットリストの中から検出する検出手段、
前記検出手段によって検出された検出結果に基づいて、前記階層レイアウトブロック間の呼出関係を辿ることにより、前記階層レイアウトブロックごとの最上位階層からの階層の深さを特定する特定手段、
前記特定手段によって特定された階層レイアウトブロックごとの階層の深さに基づいて、最下位階層から最上位階層までの各階層の階層レイアウトブロックを順に羅列した階層レイアウトブロックリストを作成する作成手段、として機能させ、
前記選択手段は、
前記作成手段によって作成された階層レイアウトブロックリストを参照して、前記検証対象となる階層レイアウトブロックのモジュールを選択することを特徴とする付記1に記載の検証支援プログラム。
前記階層レイアウトブロックリストを参照して、最下位階層から最上位階層までの階層レイアウトブロックを示すモジュールを順次選択することを特徴とする付記2に記載の検証支援プログラム。
前記検索手段によって検索されたモジュールのネットリストを用いて、当該モジュールの階層設計ルールを検証する検証手段として機能させ、
前記出力手段は、
前記検証手段によって検証された検証結果を出力することを特徴とする付記1〜3のいずれか一つに記載の検証支援プログラム。
前記検証対象となるモジュールより下位階層の階層レイアウトブロックに関するネットリストを変更することにより、当該階層レイアウトブロックをブラックボックス化することを特徴とする付記4に記載の検証支援プログラム。
前記階層レイアウトブロック群のうち第1の階層レイアウトブロックの階層の深さが特定された結果、呼出関係を有する直上階層の階層レイアウトブロックが、前記第1の階層レイアウトブロックと同一の第2の階層レイアウトブロックの階層の深さを、前記第1の階層レイアウトブロックの階層の深さと同一の深さに特定することを特徴とする付記2に記載の検証支援プログラム。
前記取得手段によって取得されたネットリストを前記検証対象回路内のモジュールごとに分割する分割手段と、
前記モジュール群のうち階層構造化された階層レイアウトブロックを示すモジュールの中から、検証対象となる階層レイアウトブロックのモジュールを選択する選択手段と、
前記選択手段によって選択されたモジュールのネットリストを、前記分割手段によって前記モジュールごとに分割されたネットリスト群の中から検索する検索手段と、
前記検索手段によって検索されたモジュールのネットリストを出力する出力手段と、
を備えることを特徴とする検証支援装置。
前記制御手段により、階層設計された検証対象回路に関するネットリストを取得して、前記記憶手段に記憶する取得工程と、
前記制御手段により、前記取得工程によって取得されたネットリストを前記検証対象回路内のモジュールごとに分割して、前記記憶手段に記憶する分割工程と、
前記制御手段により、前記モジュール群のうち階層構造化された階層レイアウトブロックを示すモジュールの中から、検証対象となる階層レイアウトブロックのモジュールを選択して、前記記憶手段に記憶する選択工程と、
前記制御手段により、前記選択工程によって選択されたモジュールのネットリストを、前記分割工程によって前記モジュールごとに分割されたネットリスト群の中から検索して、前記記憶手段に記憶する検索工程と、
前記制御手段により、前記検索工程によって検索されたモジュールのネットリストを出力する出力工程と、
を実行させることを特徴とする検証支援方法。
301 取得部
302 分割部
303 選択部
304 検索部
305 検出部
306 特定部
307 作成部
308 検証部
309 出力部
500 階層情報
700 相関テーブル
1200 HLBリスト
NL,NL1〜NL4 ネットリスト
Claims (5)
- コンピュータを、
階層設計された検証対象回路に関するネットリストを取得する取得手段、
前記取得手段によって取得されたネットリストを前記検証対象回路内のモジュールごとに分割する分割手段、
前記モジュール群のうち階層構造化された階層レイアウトブロックを示すモジュールの中から、検証対象となる階層レイアウトブロックのモジュールを選択する選択手段、
前記選択手段によって選択されたモジュールのネットリストを、前記分割手段によって前記モジュールごとに分割されたネットリスト群の中から検索する検索手段、
前記検索手段によって検索されたモジュールのネットリストを出力する出力手段、
として機能させることを特徴とする検証支援プログラム。 - 前記コンピュータを、
前記階層レイアウトブロックごとに、当該階層レイアウトブロックと呼出関係を有する直下階層の階層レイアウトブロックを前記ネットリストの中から検出する検出手段、
前記検出手段によって検出された検出結果に基づいて、前記階層レイアウトブロック間の呼出関係を辿ることにより、前記階層レイアウトブロックごとの最上位階層からの階層の深さを特定する特定手段、
前記特定手段によって特定された階層レイアウトブロックごとの階層の深さに基づいて、最下位階層から最上位階層までの各階層の階層レイアウトブロックを順に羅列した階層レイアウトブロックリストを作成する作成手段、として機能させ、
前記選択手段は、
前記作成手段によって作成された階層レイアウトブロックリストを参照して、前記検証対象となる階層レイアウトブロックのモジュールを選択することを特徴とする請求項1に記載の検証支援プログラム。 - 前記コンピュータを、
前記検索手段によって検索されたモジュールのネットリストを用いて、当該モジュールの階層設計ルールを検証する検証手段として機能させ、
前記出力手段は、
前記検証手段によって検証された検証結果を出力することを特徴とする請求項1または2に記載の検証支援プログラム。 - 階層設計された検証対象回路に関するネットリストを取得する取得手段と、
前記取得手段によって取得されたネットリストを前記検証対象回路内のモジュールごとに分割する分割手段と、
前記モジュール群のうち階層構造化された階層レイアウトブロックを示すモジュールの中から、検証対象となる階層レイアウトブロックのモジュールを選択する選択手段と、
前記選択手段によって選択されたモジュールのネットリストを、前記分割手段によって前記モジュールごとに分割されたネットリスト群の中から検索する検索手段と、
前記検索手段によって検索されたモジュールのネットリストを出力する出力手段と、
を備えることを特徴とする検証支援装置。 - 制御手段および記憶手段を備えるコンピュータに、
前記制御手段により、階層設計された検証対象回路に関するネットリストを取得して、前記記憶手段に記憶する取得工程と、
前記制御手段により、前記取得工程によって取得されたネットリストを前記検証対象回路内のモジュールごとに分割して、前記記憶手段に記憶する分割工程と、
前記制御手段により、前記モジュール群のうち階層構造化された階層レイアウトブロックを示すモジュールの中から、検証対象となる階層レイアウトブロックのモジュールを選択して、前記記憶手段に記憶する選択工程と、
前記制御手段により、前記選択工程によって選択されたモジュールのネットリストを、前記分割工程によって前記モジュールごとに分割されたネットリスト群の中から検索して、前記記憶手段に記憶する検索工程と、
前記制御手段により、前記検索工程によって検索されたモジュールのネットリストを出力する出力工程と、
を実行させることを特徴とする検証支援方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008322617A JP5109960B2 (ja) | 2008-12-18 | 2008-12-18 | 検証支援プログラム、検証支援装置、および検証支援方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008322617A JP5109960B2 (ja) | 2008-12-18 | 2008-12-18 | 検証支援プログラム、検証支援装置、および検証支援方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2010146277A JP2010146277A (ja) | 2010-07-01 |
JP5109960B2 true JP5109960B2 (ja) | 2012-12-26 |
Family
ID=42566657
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2008322617A Expired - Fee Related JP5109960B2 (ja) | 2008-12-18 | 2008-12-18 | 検証支援プログラム、検証支援装置、および検証支援方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5109960B2 (ja) |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP3018714B2 (ja) * | 1992-02-24 | 2000-03-13 | 横河電機株式会社 | Cad装置 |
US5844818A (en) * | 1996-05-10 | 1998-12-01 | Lsi Logic Corporation | Method for creating and using design shells for integrated circuit designs |
JPH11134385A (ja) * | 1997-08-26 | 1999-05-21 | Sharp Corp | 論理回路の機能検証方法および機能検証のための回路割付装置 |
JP2002007497A (ja) * | 2000-06-22 | 2002-01-11 | Fujitsu Ltd | 半導体装置設計支援装置 |
JP4087572B2 (ja) * | 2001-01-24 | 2008-05-21 | 富士通株式会社 | カスタムlsiにおける遅延特性解析方法 |
JP2005339200A (ja) * | 2004-05-27 | 2005-12-08 | Matsushita Electric Ind Co Ltd | 半導体集積回路のクロックツリーレイアウト方法 |
JP2006106997A (ja) * | 2004-10-04 | 2006-04-20 | Olympus Corp | ネットリスト変換装置、その方法、及びそのプログラム |
JP2008009787A (ja) * | 2006-06-30 | 2008-01-17 | Fujitsu Ltd | 階層設計レイアウト装置、および階層設計レイアウト方法、階層設計レイアウトプログラム、および該プログラムを記録した記録媒体 |
JP2008117136A (ja) * | 2006-11-02 | 2008-05-22 | Fujitsu Ltd | 検証支援プログラム、記録媒体、検証支援装置および検証支援方法 |
-
2008
- 2008-12-18 JP JP2008322617A patent/JP5109960B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2010146277A (ja) | 2010-07-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8533184B2 (en) | Numerical analysis data creating method and apparatus, and computer-readable program | |
JP4940973B2 (ja) | 論理構造認識処理プログラム、論理構造認識処理方法および論理構造認識処理装置 | |
US9875220B2 (en) | Panoptic visualization document printing | |
JP3577819B2 (ja) | 情報探索装置及び情報探索方法 | |
US7958473B2 (en) | Method and computer program for configuring an integrated circuit design for static timing analysis | |
JPH1125113A (ja) | 画像検索装置,画像検索用キーテキストの生成方法,並びにその装置としてコンピュータを機能させるためのプログラムおよびその方法をコンピュータに実行させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体 | |
JP2007206771A (ja) | 情報要素処理プログラム、情報要素処理方法及び情報要素処理装置 | |
US7243314B2 (en) | Window operation interface for graphically revising electrical constraint set and method of using the same | |
JP4707191B2 (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 | |
Praczyk et al. | Automatic extraction of figures from scientific publications in high-energy physics | |
WO2013095753A1 (en) | Panoptic visualization document navigation | |
EP2711897B1 (en) | Panoptic visualization document differencing | |
JP2008065382A (ja) | Lsiの消費電力算出方法及びその算出プログラム | |
US6834379B2 (en) | Timing path detailer | |
US20090158225A1 (en) | Method and system for automatically accessing internal signals or ports in a design hierarchy | |
JP2004021913A (ja) | 情報マップ作成方法 | |
JP2011034243A (ja) | 半導体集積回路の生成方法、および記録媒体 | |
JP5109960B2 (ja) | 検証支援プログラム、検証支援装置、および検証支援方法 | |
JP4716964B2 (ja) | タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 | |
WO2013095724A1 (en) | Panoptic visualization document layout | |
US20080195985A1 (en) | Apparatus, method, and computer product for estimating power consumption of LSI | |
Roy et al. | I-REX: a lucene plugin for explainable IR | |
JP5293488B2 (ja) | 設計支援プログラム、設計支援装置、および設計支援方法 | |
JP2005242812A (ja) | 回路設計支援システム、回路設計支援方法及びプログラム | |
JP5212218B2 (ja) | 設計支援プログラム、設計支援装置、および設計支援方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110706 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20120904 |
|
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: 20120911 |
|
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: 20120924 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20151019 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
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 |