JPH08287124A - Library registration device - Google Patents

Library registration device

Info

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
Application number
JP7088932A
Other languages
Japanese (ja)
Inventor
Tatsuo Ohashi
達夫 大橋
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Panasonic Holdings Corp
Original Assignee
Matsushita Electric Industrial Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Matsushita Electric Industrial Co Ltd filed Critical Matsushita Electric Industrial Co Ltd
Priority to JP7088932A priority Critical patent/JPH08287124A/en
Publication of JPH08287124A publication Critical patent/JPH08287124A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE: To provide a library registration device which can improve the reliability of a library registered as a data base. CONSTITUTION: A layout verification part 2 verifies the layout of the library as checking operation for the library 1 before a division part 3 divides the library 1. A comparison inspection part 4, when registering the library 1 divided by the division part 3 as the data base 5, compares-and inspects the registered library 1 and a library that is already registered as the data base 5.

Description

【発明の詳細な説明】Detailed Description of the Invention

【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.

【図面の簡単な説明】[Brief description of drawings]

【図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.

【符号の説明】[Explanation of symbols]

2 レイアウト検証部 4 比較検査部 2 Layout verification section 4 Comparison inspection section

Claims (3)

【特許請求の範囲】[Claims] 【請求項1】 入力データとして入力されたライブラリ
を、分割手段によりデータベースとしての保存単位に分
割して、データベースとして登録するライブラリ登録装
置において、分割手段による前記分割の前に前記ライブ
ラリのレイアウト検証を行う検証手段を設けたライブラ
リ登録装置。
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】 入力データとして入力されたライブラリ
を、分割手段によりデータベースとしての保存単位に分
割して、データベースとして登録するライブラリ登録装
置において、前記分割手段により分割されたライブラリ
の前記登録の際に、登録するライブラリとデータベース
としてすでに登録されているライブラリとを比較検査す
る比較検査手段を設けたライブラリ登録装置。
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】 入力データとして入力されたライブラリ
を、分割手段によりデータベースとしての保存単位に分
割して、データベースとして登録するライブラリ登録装
置において、分割手段による前記分割の前に前記ライブ
ラリのレイアウト検証を行う検証手段と、前記分割手段
により分割されたライブラリの前記登録の際に、登録す
るライブラリとデータベースとしてすでに登録されてい
るライブラリとを比較検査する比較検査手段とを設けた
ライブラリ登録装置。
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.
JP7088932A 1995-04-14 1995-04-14 Library registration device Pending JPH08287124A (en)

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)

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