JPH08287124A - Library registration device - Google Patents
Library registration deviceInfo
- Publication number
- JPH08287124A JPH08287124A JP7088932A JP8893295A JPH08287124A JP H08287124 A JPH08287124 A JP H08287124A JP 7088932 A JP7088932 A JP 7088932A JP 8893295 A JP8893295 A JP 8893295A JP H08287124 A JPH08287124 A JP H08287124A
- Authority
- JP
- Japan
- Prior art keywords
- library
- database
- registered
- registration device
- dividing
- 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.)
- Pending
Links
Abstract
Description
【0001】[0001]
【産業上の利用分野】本発明は、ライブラリをデータベ
ースとして登録するライブラリ登録装置に関するもので
ある。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a library registration device for registering a library as a database.
【0002】[0002]
【従来の技術】近年、半導体装置などのレイアウト設計
の際などには、部品化されたセルやブロックなどの小単
位に分割されたライブラリが利用されるようになってき
た。このライブラリは、通常データベースとして登録さ
れており、ライブラリのデータベースとしての登録は、
ライブラリ登録装置によって行われる。2. Description of the Related Art In recent years, a library divided into small units such as componentized cells and blocks has come to be used in the layout design of semiconductor devices and the like. This library is usually registered as a database, and registration of the library as a database is
It is performed by the library registration device.
【0003】以下、従来のライブラリ登録装置を、図面
を参照しながら説明する。図2は従来のライブラリ登録
装置の構成図である。図2において、6は入力データと
して登録される階層構造を有するライブラリ、7は、ラ
イブラリ6をデータベースに保存する際に、ライブラリ
6をデータベースとしての保存単位に分割する分割部、
8はライブラリ6を保存して登録するデータベースであ
る。A conventional library registration device will be described below with reference to the drawings. FIG. 2 is a block diagram of a conventional library registration device. In FIG. 2, 6 is a library having a hierarchical structure registered as input data, 7 is a division unit that divides the library 6 into storage units as a database when the library 6 is stored in the database,
Reference numeral 8 is a database for storing and registering the library 6.
【0004】以上のように構成されたライブラリ登録装
置について、その動作を以下に説明する。まず、入力デ
ータとして用意されたライブラリ6が分割部7に入力さ
れる。次に、入力されたライブラリ6を、分割部7がデ
ータベース8に保存する単位に分割し、分割されたライ
ブラリ6を、データベース8が保存して登録する。The operation of the library registration device configured as described above will be described below. First, the library 6 prepared as input data is input to the dividing unit 7. Next, the input library 6 is divided into units that the dividing unit 7 stores in the database 8, and the divided library 6 is stored and registered in the database 8.
【0005】[0005]
【発明が解決しようとする課題】しかしながら上記のよ
うな従来のライブラリ登録装置では、入力データとして
入力されたライブラリは、これらに対するレイアウト検
証などのチェック動作が全く行われずに、データベース
として登録されており、このようにして登録されたライ
ブラリでは、これらを利用する場合において、ライブラ
リとして十分な信頼性を得ることができないという問題
点を有していた。However, in the conventional library registration device as described above, the library input as the input data is registered as a database without any checking operation such as layout verification performed on them. The library registered in this way has a problem that it is not possible to obtain sufficient reliability as a library when using these.
【0006】また、ライブラリをデータベースに登録す
る段階では、通常、すでに階層構造をもったセルやブロ
ックを、その階層構造を継承した最小単位のセルにまで
分割して保存するので、下位の階層において共有される
セルが存在する場合や、ブロックが複数のセルからなる
ライブラリにより構成されている場合には、ライブラリ
のデータベースへの登録において、その登録動作を良好
に制御することができず、このようにして登録されたラ
イブラリでは、これらを利用する場合において、ライブ
ラリとして十分な信頼性を得ることができないという問
題点をも有していた。In addition, at the stage of registering the library in the database, cells or blocks already having a hierarchical structure are usually divided and stored in cells of the minimum unit inheriting the hierarchical structure, so that in the lower hierarchy. If there are shared cells or if the block is composed of a library consisting of multiple cells, the registration operation cannot be controlled well in the registration of the library to the database. The library registered as above also has a problem that it is not possible to obtain sufficient reliability as a library when using these.
【0007】本発明は、上記従来の問題点を解決するも
ので、データベースとして登録されたライブラリの信頼
性を向上することができるライブラリ登録装置を提供す
ることを目的とする。The present invention solves the above-mentioned conventional problems, and an object of the present invention is to provide a library registration apparatus capable of improving the reliability of a library registered as a database.
【0008】[0008]
【課題を解決するための手段】上記目的を達成するため
に本発明の請求項3に記載のライブラリ登録装置は、入
力データとして入力されたライブラリを、分割手段によ
りデータベースとしての保存単位に分割して、データベ
ースとして登録するライブラリ登録装置において、分割
手段による前記分割の前に前記ライブラリのレイアウト
検証を行う検証手段と、前記分割手段により分割された
ライブラリの前記登録の際に、登録するライブラリとデ
ータベースとしてすでに登録されているライブラリとを
比較検査する比較検査手段とを設けて構成する。In order to achieve the above object, a library registration device according to a third aspect of the present invention divides a library input as input data into storage units as a database by a dividing means. In the library registration device for registering as a database, verification means for performing layout verification of the library before the division by the division means, and library and database for registration at the time of the registration of the library divided by the division means And a comparison inspection means for comparing and inspecting the already registered library.
【0009】[0009]
【作用】請求項3の構成によると、検証手段が、ライブ
ラリのチェック動作として、分割手段がライブラリを分
割する前にライブラリのレイアウト検証を行う。According to the third aspect of the present invention, the verification means performs the layout verification of the library as the checking operation of the library before the dividing means divides the library.
【0010】比較検査手段が、分割手段により分割され
たライブラリをデータベースとして登録する際に、登録
するライブラリとデータベースとしてすでに登録されて
いるライブラリとを比較検査する。When the comparison inspection means registers the library divided by the division means as a database, the comparison inspection means compares and inspects the library to be registered and the library already registered as the database.
【0011】このようにして、ライブラリのレイアウト
検証およびライブラリの比較検査を一連の処理でおこな
う。In this way, the layout verification of the library and the comparison inspection of the library are performed by a series of processes.
【0012】[0012]
【実施例】以下、本発明の一実施例のライブラリ登録装
置について、図面を参照しながら説明する。DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS A library registration device according to an embodiment of the present invention will be described below with reference to the drawings.
【0013】図1は本実施例におけるライブラリ登録装
置の構成図である。図1において、1は入力データとし
て登録される階層構造を有するライブラリ、2は、ライ
ブラリ1に対するチェック動作として、ライブラリ1の
レイアウトを検証をする検証手段としてのレイアウト検
証部、3は、ライブラリ1をデータベースに保存する際
に、ライブラリ1をデータベースとしての保存単位に分
割する分割手段としての分割部、4は、分割部3により
分割されたライブラリ1の下位の階層のセルとデータベ
ースとしてすでに登録されているセルとを比較検査する
比較検査手段としての比較検査部、5はライブラリ1を
保存して登録するデータベースである。FIG. 1 is a block diagram of the library registration apparatus in this embodiment. In FIG. 1, 1 is a library having a hierarchical structure registered as input data, 2 is a layout verification unit as a verification unit for verifying the layout of the library 1 as a check operation for the library 1, and 3 is the library 1 When the data is stored in the database, the dividing unit 4 as a dividing unit that divides the library 1 into storage units as the database has already been registered as a database and cells in the lower hierarchy of the library 1 divided by the dividing unit 3. A comparison inspection unit 5 as a comparison inspection means for comparing and inspecting existing cells is a database for storing and registering the library 1.
【0014】以上のように構成されたライブラリ登録装
置について、その動作を以下に説明する。まず、従来の
ライブラリ登録装置と同様に、入力データとしてライブ
ラリ1を用意する。用意されたライブラリ1がレイアウ
ト検証部2に入力される。The operation of the library registration device configured as described above will be described below. First, similarly to the conventional library registration device, the library 1 is prepared as input data. The prepared library 1 is input to the layout verification unit 2.
【0015】次に、レイアウト検証部2において、入力
されたライブラリ1について、そのレイアウトが設計ル
ールに違反していなかを検証する。検証の結果、入力さ
れたライブラリ1のレイアウトが設計ルールに違反して
いない場合は処理を継続し、違反している場合は、エラ
ーと判定してその工程で処理を中止する。Next, the layout verification section 2 verifies whether or not the layout of the input library 1 violates the design rule. As a result of the verification, if the input layout of the library 1 does not violate the design rule, the process is continued, and if it violates, it is judged as an error and the process is stopped in the process.
【0016】さらに、レイアウト検証部2を通過したラ
イブラリ1を、分割部3がデータベース5に保存する単
位である階層構造を継承したセルに分割し、比較検査部
4において、分割部3により分割されたセルとデータベ
ース5に既存するセルとを比較検査する。ここで、比較
検査の結果、同名のセルが存在しかつ内容が同じ場合
は、エラーと判定して登録処理を中止し、同名のセルが
存在しても内容が異なる場合は登録処理を実行する。Further, the library 1 that has passed through the layout verification unit 2 is divided into cells that inherit the hierarchical structure which is a unit stored in the database 5 by the division unit 3, and is divided by the division unit 3 in the comparison inspection unit 4. The cell and the existing cell in the database 5 are compared and inspected. Here, as a result of the comparison inspection, if cells with the same name exist and the contents are the same, it is judged as an error and the registration process is stopped, and if the contents with the same name are different, the registration process is executed. .
【0017】以上の動作により、レイアウト検証部2
は、ライブラリのチェック動作として、分割部3がライ
ブラリをデータベース5に保存する単位のセルに分割す
る前に、ライブラリのレイアウト検証を行うことがで
き、比較検査部4は、分割部3により分割されたライブ
ラリをデータベース5として登録する際に、登録するラ
イブラリとデータベース5としてすでに登録されている
ライブラリとを比較検査することができ、このようにし
て、ライブラリのレイアウト検証およびライブラリの比
較検査を一連の処理でおこなうことができる。By the above operation, the layout verification unit 2
Can check the layout of the library as a checking operation of the library before the dividing unit 3 divides the library into cells as units to be stored in the database 5, and the comparison inspection unit 4 divides the library by the dividing unit 3. When registering the library as the database 5, the library to be registered and the library already registered as the database 5 can be compared and inspected. In this way, the layout verification of the library and the comparison inspection of the library can be performed in series. It can be done by processing.
【0018】そのため、データベースとして登録された
ライブラリの信頼性を向上することができる。また、比
較検査部4は、分割部3により分割されたライブラリを
データベース5として登録する際に、登録するライブラ
リとデータベース5としてすでに登録されているライブ
ラリとを比較検査することができるので、すでにデータ
ベース5として登録され既存するライブラリを保護する
ことができる。Therefore, the reliability of the library registered as the database can be improved. Further, since the comparison inspection unit 4 can compare and inspect the library to be registered and the library already registered as the database 5 when registering the library divided by the division unit 3 as the database 5, the comparison inspection unit 4 already has the database. The existing library registered as 5 can be protected.
【0019】なお、上記の実施例では、レイアウト検証
部2および比較検査部4を設けて、これらの動作を、ラ
イブラリをデータベースとして登録するまでの間に行う
よう構成したが、これらのどちらか一方のみを設けるだ
けでも、従来に比べてデータベースとして登録されたラ
イブラリの信頼性を向上することができる。In the above-described embodiment, the layout verification section 2 and the comparison inspection section 4 are provided so that these operations are performed before the library is registered as a database. The reliability of the library registered as the database can be improved as compared with the conventional case even by providing only the above.
【0020】[0020]
【発明の効果】以上のように本発明によれば、検証手段
が、ライブラリのチェック動作として、分割手段がライ
ブラリを分割する前にライブラリのレイアウト検証を行
うか、比較検査手段が、分割手段により分割されたライ
ブラリをデータベースとして登録する際に、登録するラ
イブラリとデータベースとしてすでに登録されているラ
イブラリとを比較検査するか、少なくともどちらか一方
をおこなうことができるので、ライブラリをデータベー
スとして登録するまでの間に、ライブラリのレイアウト
検証あるいはライブラリの比較検査の少なくともどちら
か一方を行うことができる。As described above, according to the present invention, the verification means performs the layout verification of the library before the dividing means divides the library as the checking operation of the library, or the comparison checking means uses the dividing means. When registering a divided library as a database, it is possible to compare and inspect the library to be registered and the library already registered as a database, or at least one of them, so it is possible to register the library as a database. In the meantime, at least one of the layout verification of the library and the comparison inspection of the library can be performed.
【0021】そのため、データベースとして登録された
ライブラリの信頼性を向上することができる。Therefore, the reliability of the library registered as the database can be improved.
【図1】本発明の一実施例のライブラリ登録装置の構成
図FIG. 1 is a configuration diagram of a library registration device according to an embodiment of the present invention.
【図2】従来のライブラリ登録装置の構成図FIG. 2 is a block diagram of a conventional library registration device.
2 レイアウト検証部 4 比較検査部 2 Layout verification section 4 Comparison inspection section
Claims (3)
を、分割手段によりデータベースとしての保存単位に分
割して、データベースとして登録するライブラリ登録装
置において、分割手段による前記分割の前に前記ライブ
ラリのレイアウト検証を行う検証手段を設けたライブラ
リ登録装置。1. A library registration device for dividing a library input as input data into storage units as a database by a dividing means and registering as a database, a layout verification of the library is performed before the dividing by the dividing means. A library registration device provided with a verification means for performing.
を、分割手段によりデータベースとしての保存単位に分
割して、データベースとして登録するライブラリ登録装
置において、前記分割手段により分割されたライブラリ
の前記登録の際に、登録するライブラリとデータベース
としてすでに登録されているライブラリとを比較検査す
る比較検査手段を設けたライブラリ登録装置。2. A library registration device for dividing a library input as input data into storage units as a database by a dividing means and registering the database as a database, when the library divided by the dividing means is registered. , A library registration device provided with comparison inspection means for comparing and inspecting a library to be registered and a library already registered as a database.
を、分割手段によりデータベースとしての保存単位に分
割して、データベースとして登録するライブラリ登録装
置において、分割手段による前記分割の前に前記ライブ
ラリのレイアウト検証を行う検証手段と、前記分割手段
により分割されたライブラリの前記登録の際に、登録す
るライブラリとデータベースとしてすでに登録されてい
るライブラリとを比較検査する比較検査手段とを設けた
ライブラリ登録装置。3. A library registration device for dividing a library input as input data into storage units as a database by a dividing means and registering it as a database, wherein layout verification of the library is performed before the dividing by the dividing means. A library registration device provided with verification means to perform and comparison inspection means to compare and inspect a library to be registered and a library already registered as a database when the library divided by the dividing means is registered.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP7088932A JPH08287124A (en) | 1995-04-14 | 1995-04-14 | Library registration device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP7088932A JPH08287124A (en) | 1995-04-14 | 1995-04-14 | Library registration device |
Publications (1)
Publication Number | Publication Date |
---|---|
JPH08287124A true JPH08287124A (en) | 1996-11-01 |
Family
ID=13956677
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP7088932A Pending JPH08287124A (en) | 1995-04-14 | 1995-04-14 | Library registration device |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPH08287124A (en) |
-
1995
- 1995-04-14 JP JP7088932A patent/JPH08287124A/en active Pending
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10423474B2 (en) | Performing diagnostic tracing of an executing application to identify suspicious pointer values | |
US11567126B2 (en) | Methods and systems for fault injection testing of an integrated circuit hardware design | |
US20180046564A1 (en) | System and method for cause point analysis for effective handling of static analysis alarms | |
CN106933696A (en) | ECC function verification methods | |
EP3070613B1 (en) | Computer system testing | |
US20120066657A1 (en) | Method of designing an integrated circuit based on a combination of manufacturability, test coverage and, optionally, diagnostic coverage | |
CN108829903B (en) | Method and system for judging consistency of codes of FPGA redundant design and integrated circuit | |
US9916412B2 (en) | Automatic generation of test layouts for testing a design rule checking tool | |
JPH08287124A (en) | Library registration device | |
CN112631852B (en) | Macro checking method, macro checking device, electronic equipment and computer readable storage medium | |
US20180217204A1 (en) | Counter-Based Scan Chain Diagnosis | |
Pomeranz et al. | Location of stuck-at faults and bridging faults based on circuit partitioning | |
CN112527672B (en) | Detection method and equipment for shell adding tool | |
Vazgen et al. | Unit Regression Test Selection Mechanism Based on Hashing Algorithm | |
JP2773148B2 (en) | Circuit design method for testability | |
JP2008209210A (en) | Test pattern automatic generation method and program | |
CN114817036A (en) | Decision tree testing method and device, electronic equipment and storage medium | |
JPH10232795A (en) | Software component combination test method | |
JPH04344938A (en) | Interruption generation circuit | |
JP2007207276A (en) | Design support system | |
Sultan et al. | A Proposed Defect Tracking Model for Classifying the Inserted Defect Reports to Enhance Software Quality Control | |
JPH0221279A (en) | Validation of logic circuit | |
JPH0675014A (en) | Inspecting method for semiconductor integrated circuit device | |
JP2006031820A (en) | Semiconductor integrated circuit, and semiconductor wafer | |
JP2000194743A (en) | Verifying device for hierarchical layout pattern |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20031201 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20040224 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20040325 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20040421 |
|
A912 | Re-examination (zenchi) completed and case transferred to appeal board |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20040625 |