JP2892722B2 - How to verify figure data - Google Patents
How to verify figure dataInfo
- Publication number
- JP2892722B2 JP2892722B2 JP1330459A JP33045989A JP2892722B2 JP 2892722 B2 JP2892722 B2 JP 2892722B2 JP 1330459 A JP1330459 A JP 1330459A JP 33045989 A JP33045989 A JP 33045989A JP 2892722 B2 JP2892722 B2 JP 2892722B2
- Authority
- JP
- Japan
- Prior art keywords
- graphic data
- hierarchical
- data
- verification
- hierarchical graphic
- 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
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
Description
【発明の詳細な説明】 ［概要］ 図形データの検証方法に係り、詳しくは所定数のパタ
ーンあるいは所定の機能で複数の第１階層の図形データ
を定義し、所定数の第１階層の図形データあるいは所定
の機能で複数の第２階層の図形データを定義し、順次基
準となる階層の所定数の図形データあるいは所定の機能
で定義された上位階層の図形データよりなる階層化図形
データのデータ検証方法に関し、 階層化構造をなす図形データの検証を行う際、更新し
た階層図形データ、及び更新した階層図形データにより
影響の発生するおそれのある上位階層の階層図形データ
のみのデータ検証を行い、データ検証の高速化を図るこ
とができる図形データの検証方法を提供することを目的
とし、 所定数のパターンあるいは所定の機能で複数の第１階
層図形データを定義し、所定数の第１階層図形データあ
るいは所定の機能で第１階層図形データの上位の複数の
第２階層図形データを定義し、以下前記と同様にして所
定数の当該階層図形データあるいは所定の機能で順次上
記階層図形データを定義した階層化構造をなす図形デー
タの検証を行うに際し、各階層図形データとともに各階
層図形データ毎にそれらが更新されたか否かを示す更新
情報とで入力データを構成するとともに、前記階層化構
造をなす図形データの先の検証時における各階層図形デ
ータの更新情報を記憶手段に記憶し、入力データにおけ
る各階層図形データの階層構造、及び入力データにおけ
る更新情報と記憶手段に記憶した先の検証時における更
新情報との比較結果とに基づいて更新された階層図形デ
ータ及びその上位の階層図形をデータ検証データとして
決定し、その下位の階層図形データからデータ検証を行
うように構成した。DETAILED DESCRIPTION OF THE INVENTION [Summary] The present invention relates to a method of verifying graphic data. More specifically, a plurality of first-level graphic data is defined by a predetermined number of patterns or predetermined functions, and a predetermined number of first-level graphic data is defined. Alternatively, a plurality of second-level graphic data are defined by a predetermined function, and data verification of hierarchical graphic data consisting of a predetermined number of graphic data of a hierarchical level serving as a reference or an upper-level graphic data defined by a predetermined function is sequentially performed. Regarding the method, when verifying the graphic data having the hierarchical structure, the data verification is performed only for the updated hierarchical graphic data and the hierarchical graphic data of the upper hierarchy that may be affected by the updated hierarchical graphic data, and the data is verified. It is an object of the present invention to provide a graphic data verification method capable of speeding up verification, and to provide a plurality of first hierarchical patterns with a predetermined number of patterns or a predetermined function. Data is defined, and a predetermined number of the first hierarchical graphic data or a plurality of second hierarchical graphic data higher than the first hierarchical graphic data by a predetermined function is defined. Alternatively, when performing verification of graphic data having a hierarchical structure in which the hierarchical graphic data is sequentially defined by a predetermined function, together with each hierarchical graphic data, update information indicating whether or not they have been updated for each hierarchical graphic data is used. In addition to configuring the input data, update information of each hierarchical graphic data at the time of previous verification of the graphic data having the hierarchical structure is stored in the storage means, and the hierarchical structure of each hierarchical graphic data in the input data, and the Hierarchical graphic data updated on the basis of the update information and the result of comparison with the update information at the time of the previous verification stored in the storage means, and the upper hierarchical level Determining the shape as a data verification data, and configured to perform data verification from the lower hierarchy graphic data.
［産業上の利用分野］ 本発明は図形データの検証方法に係り、詳しくは所定
数のパターンあるいは所定の機能で複数の第１階層図形
データを定義し、所定数の第１階層図形データあるいは
所定の機能で複数の第２階層図形データを定義し、順次
基準となる階層の所定数の図形データあるいは所定の機
能で定義された上位階層の図形データよりなる階層化図
形データのデータ検証方法に関するものである。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a method of verifying graphic data, and more particularly, to defining a plurality of first hierarchical graphic data with a predetermined number of patterns or predetermined functions, A plurality of second-level graphic data defined by the function, and a data verification method of hierarchical graphic data composed of graphic data of a predetermined number of hierarchical levels which are sequentially referred to or upper-level graphic data defined by a predetermined function It is.
近年のLSIの大規模化、高密度化に伴いその図形デー
タの検証に要する処理時間は増加する一方であり、LSI
開発のコスト増大にもつながっている。このため、図形
処理法法として、例えば、所定のパターン数、あるいは
所定の機能で定義された基本セルを第１階層図形とし、
この第１階層図形の所定数、又は異なる種類の第１階層
図形の所定数で第２階層図形を構成し、同様にして第２
階層図形の所定数、又は異なる種類の第２階層図形の所
定数で第３階層図形を構成し、LSIのパターンをレイア
ウトする場合には、前記基本セルの参照情報及びその配
置位置情報で定義される階層図形データを使用すること
により図形処理時間を短縮する階層化図形処理方法が採
用されている。As the scale and density of LSIs have increased in recent years, the processing time required to verify their graphic data has been increasing.
This has led to increased development costs. For this reason, as a graphic processing method, for example, a basic cell defined by a predetermined number of patterns or a predetermined function is defined as a first hierarchical figure,
A predetermined number of the first-layer figures or a predetermined number of different types of the first-layer figures constitute a second-layer figure.
When a third-layer graphic is composed of a predetermined number of hierarchical graphics or a predetermined number of different types of second-layer graphics and an LSI pattern is laid out, it is defined by the reference information of the basic cell and its arrangement position information. Hierarchical graphic processing methods that reduce graphic processing time by using hierarchical graphic data are employed.
そして、そのデータ検証において、作業者は図形デー
タの階層化構造を常に意識して処理しなければならな
い、人手による上位階層及び下位階層間の管理が複雑に
なりミスが発生し易かった。Then, in the data verification, the operator must always be aware of the hierarchical structure of the graphic data and perform the processing. The manual management between the upper hierarchy and the lower hierarchy is complicated, and errors are likely to occur.
そこで、階層化図形データにおける階層管理を人手で
行わずに高速にデータ検証を行うことができる方法が必
要とされている。Therefore, there is a need for a method capable of performing high-speed data verification without manually performing hierarchical management in hierarchical graphic data.
［従来の技術］ 従来、第７図に示すような半導体集積回路の図形デー
タＡのデータ検証を行うには、第６図に示すように各階
層図形データＡ〜Ｆの階層化構造を認識し、下位の階層
図形データE,Fを検証した後、その上位の階層図形デー
タB,C,Dの検証を行い、最後に最上位の階層図形データ
Ａの検証を行う。そして、データ検証である階層図形デ
ータが異常と判定された場合、その異常と判定された階
層図形データの修正後における図形データＡの検証時に
は、前のデータ検証にて正常と判定された階層図形デー
タを省略することもできる。[Prior Art] Conventionally, in order to perform data verification of graphic data A of a semiconductor integrated circuit as shown in FIG. 7, a hierarchical structure of each of the hierarchical graphic data A to F is recognized as shown in FIG. After the lower hierarchical graphic data E and F are verified, the upper hierarchical graphic data B, C and D are verified, and finally the uppermost hierarchical graphic data A is verified. When the hierarchical graphic data that is the data verification is determined to be abnormal, when verifying the graphic data A after correcting the hierarchical graphic data determined to be abnormal, the hierarchical graphic determined to be normal by the previous data verification is used. Data can be omitted.
［発明が解決しようとする課題］ しかしながら、従来では図形データＡの階層化構造が
人手により管理されていたために、データ検証において
例えば最下位の階層図形データＥが正常であると判定さ
れたとしても、他の異常のあった階層図形データの修正
を何回も行っている間に、誤って正常な階層図形データ
Ｅをも修正している可能性があり、データ修正後のデー
タ検証においては前のデータ検証にて正常と判定された
階層図形データＥが正常であると保証されないことか
ら、常に全ての階層図形データＡ〜Ｆのデータ検証を行
っている場合がほとんどであった。[Problems to be Solved by the Invention] However, since the hierarchical structure of the graphic data A is conventionally managed manually, even if it is determined that the lowest hierarchical graphic data E is normal in the data verification, for example, It is possible that the normal hierarchical graphic data E is erroneously corrected while the other abnormal hierarchical graphic data is corrected many times. Is not guaranteed that the hierarchical graphic data E determined to be normal in the data verification is normal, the data verification of all the hierarchical graphic data A to F is almost always performed.
又、データ検証において、例えば第２階層の階層図形
データＢが正常であると判定されたとしても、その階層
図形データＢの下位の階層図形データＥを修正した場合
には、上下階層間のつなぎに影響が出てくるおそれがあ
るため、データ修正後のデータ検証においては前のデー
タ検証時に正常と判定された階層図形データＢのデータ
検証をも行う必要があるが、LSIの大規模化、高密度化
に伴って階層化構造が複雑になってきているため、影響
範囲を正確に把握することができないばかりでなく、階
層化構造の下位階層から上位階層へ正しい順序でデータ
検証されていないという問題点があり、データ検証に多
大な時間を要し、結果的に階層化図形処理による高速化
が活かされていなかった。Further, in the data verification, for example, even if it is determined that the hierarchical graphic data B of the second hierarchy is normal, if the hierarchical graphic data E below the hierarchical graphic data B is corrected, the connection between the upper and lower hierarchies is performed. Therefore, in the data verification after the data correction, it is necessary to also perform the data verification of the hierarchical graphic data B determined to be normal in the previous data verification. Due to the complexity of the hierarchical structure with the increase in density, not only can the impact range not be accurately grasped, but also the data is not verified in the correct order from the lower hierarchy to the upper hierarchy of the hierarchical structure Therefore, it takes a lot of time for data verification, and as a result, the speedup by the hierarchical graphic processing has not been utilized.
本発明は上記問題点を解決するためになされたもので
あって、階層化構造をなす図形データの検証を行う際、
更新した階層図形データ、及び更新した階層図形データ
により影響が発生するおそれのある上位階層の階層図形
データのみのデータ検証を行い、データ検証の高速化を
図ることができる図形データの検証方法を提供すること
を目的とする。The present invention has been made in order to solve the above problems, and when performing verification of graphic data having a hierarchical structure,
Provided is a graphic data verification method capable of speeding up data verification by performing data verification of only updated hierarchical graphic data and hierarchical graphic data of an upper hierarchy that may be affected by the updated hierarchical graphic data. The purpose is to do.
［課題を解決するための手段］ 本発明は上記目的を達成するため、所定数のパターン
あるいは所定の機能で複数の第１階層図形データを定義
し、所定数の第１階層図形データあるいは所定の機能で
第１階層図形データの上位の複数の第２階層図形データ
を定義し、以下前記と同様にして所定数の当該階層図形
データあるいは所定の機能で順次上位階層図形データを
定義した階層化構造をなす図形データの検証を行うに際
し、各階層図形データとともに各階層図形データ毎にそ
れらが更新されたか否かを示す更新情報とで入力データ
を構成するとともに、前記階層化構造をなす図形データ
の先の検証時における各階層図形データの更新情報を記
憶手段に記憶する。[Means for Solving the Problems] In order to achieve the above object, the present invention defines a plurality of first hierarchical graphic data with a predetermined number of patterns or predetermined functions, and a predetermined number of first hierarchical graphic data or a predetermined number of first hierarchical graphic data. A hierarchical structure in which a plurality of second hierarchical graphic data above the first hierarchical graphic data are defined by the function, and a predetermined number of the hierarchical graphic data or a higher hierarchical graphic data is sequentially defined by the predetermined function in the same manner as described above. When performing the verification of the graphic data forming the hierarchical data, the input data is composed of the hierarchical graphic data and the update information indicating whether or not they have been updated for each hierarchical graphic data. Update information of each hierarchical graphic data at the time of the previous verification is stored in the storage means.
そして、入力データにおける各階層図形データの階層
構造、及び入力データにおける更新情報と記憶手段に記
憶した先の検証時における更新情報との比較結果とに基
づいて更新された階層図形データ及びその上位の階層図
形データを検証データとして決定し、その下位の階層図
形データからデータ検証を行う。The hierarchical graphic data updated based on the hierarchical structure of each hierarchical graphic data in the input data and the comparison result between the update information in the input data and the previous update information stored in the storage means, The hierarchical graphic data is determined as the verification data, and data verification is performed from the hierarchical graphic data below the hierarchical graphic data.
［作用］ 階層化構造をなす図形データの先の検証時における各
階層図形データの更新情報が記憶手段に記憶されること
から、図形データの階層化構造の管理が容易になり、図
形データの検証において、入力データにおける各階層図
形データの階層構造、及び入力データにおける更新情報
と記憶手段に記憶した先の検証時における更新情報との
比較結果とに基づいて更新された階層図形データ及びそ
の上位の階層図形データが検証データとして決定される
ことから、更新した階層図形データ、及び更新した階層
図形データにより影響が発生するおそれのある上位階層
の階層図形データのみのデータ検証を行うことができ、
データ検証が高速化される。[Operation] Since the update information of each hierarchical graphic data at the time of the previous verification of the graphic data forming the hierarchical structure is stored in the storage means, the management of the hierarchical structure of the graphic data is facilitated, and the verification of the graphic data is performed. The hierarchical graphic data updated based on the hierarchical structure of each hierarchical graphic data in the input data and the comparison result between the update information in the input data and the previous update information stored in the storage means, Since the hierarchical graphic data is determined as the verification data, it is possible to perform data verification of only the updated hierarchical graphic data and the hierarchical graphic data of the upper hierarchy that may be affected by the updated hierarchical graphic data,
Data verification is speeded up.
［実施例］ 以下、本発明を具体化した一実施例を第１〜５図に従
って説明する。[Embodiment] An embodiment of the present invention will be described below with reference to FIGS.
第１図は本発明の一実施例における作用を示すフロー
チャート、第２図は本発明を実施するためのデータ検証
装置を示す概略構成図、第３図は第１回目のデータ検証
における作用を示すフローチャート、第4,5図は第２回
目以降のデータ検証における作用を示すフローチャート
である。FIG. 1 is a flowchart showing the operation in one embodiment of the present invention, FIG. 2 is a schematic configuration diagram showing a data verification device for carrying out the present invention, and FIG. 3 shows the operation in the first data verification. FIGS. 4 and 5 are flowcharts showing the operation in the second and subsequent data verifications.
第２図に示すように、データ検証装置１は階層構造認
識部２、比較部３、検証データ決定部４、データ検証部
５及び記憶手段としての更新情報ファイル６等で構成さ
れている。このデータ検証装置１に入力される入力デー
タ７は第6,7図に示す各階層図形データＡ〜Ｆと、各階
層図形データＡ〜Ｆ毎にそれらが更新された日時、アク
セス回数を示す更新情報とで構成されている。As shown in FIG. 2, the data verification device 1 includes a hierarchical structure recognition unit 2, a comparison unit 3, a verification data determination unit 4, a data verification unit 5, an update information file 6 as storage means, and the like. The input data 7 input to the data verification device 1 includes hierarchical graphic data A to F shown in FIGS. 6 and 7 and an update date and time and an access count indicating the hierarchical graphic data AF for each of the hierarchical graphic data A to F. And information.
そして、データ検証装置１の階層構造認識部２は入力
データ７の図形データに基づいて各階層図形データＡ〜
Ｆの階層構造を認識し、その認識結果を次段の検証デー
タ決定部４に出力する。即ち、検証データ決定部４には
第６図に示すように第１（最下位）階層の階層図形デー
タＥを含んで第２（中間）階層の階層図形データＤ、第
１階層の階層図形データＦを含んで第２階層の階層図形
データＣ、階層図形データE,Fを含んで第２階層の階層
図形データＢ、さらに第２階層の階層図形データB,C,D,
Eを含んで第３（最上位）階層の階層図形データＡが構
成されていることを出力する。Then, the hierarchical structure recognizing unit 2 of the data verifying device 1 performs the respective hierarchical graphic data A to
It recognizes the hierarchical structure of F and outputs the recognition result to the verification data determination unit 4 at the next stage. That is, as shown in FIG. 6, the verification data determination unit 4 includes the first (lowest) hierarchical graphic data E, the second (intermediate) hierarchical graphic data D, and the first hierarchical graphic data. F, the second level hierarchical graphic data B including the second level hierarchical graphic data C, the second level hierarchical graphic data B, the second level hierarchical graphic data B, C, D,
The fact that the hierarchical graphic data A of the third (highest) hierarchy is configured including E is output.
更新情報ファイル６には入力データ７が更新直前のデ
ータ検証時における各階層図形データＡ〜Ｆの更新情報
が記憶されている。比較部３は入力データ７の各階層図
形データＡ〜Ｆの各更新情報と更新情報ファイル６に記
憶されている各更新情報とが一致するか否かを比較し、
その比較結果を前記検証データ決定部４に出力するとと
もに、更新情報ファイル６の各階層図形データＡ〜Ｆの
更新情報を入力データ７の各階層図形データＡ〜Ｆの各
更新情報に書き替えるようになっている。尚、入力デー
タ７の作成後における最初のデータ検証では、この更新
情報ファイル６は空きとなっており、比較部３は第３図
に示すように入力データ７の各階層図形データＡ〜Ｆの
各更新情報に書き込む。The update information file 6 stores update information of each of the hierarchical graphic data A to F at the time of data verification immediately before the input data 7 is updated. The comparing unit 3 compares the update information of each of the hierarchical graphic data A to F of the input data 7 with each of the update information stored in the update information file 6 to determine whether or not the update information matches.
The comparison result is output to the verification data determination unit 4, and the update information of each of the hierarchical graphic data A to F of the update information file 6 is rewritten with the update information of each of the hierarchical graphic data A to F of the input data 7. It has become. In the first data verification after the creation of the input data 7, the update information file 6 is empty, and the comparing section 3 determines the hierarchical graphic data A to F of the input data 7 as shown in FIG. Write to each update information.
検証データ決定部４は前記比較部３の各比較結果に基
づいて入力データ７の更新情報と更新情報ファイル６の
更新情報とが一致しない、即ち、その更新情報に対応す
る階層図形データが更新されているとき、その階層図形
データを検証すべきデータとして決定するようになって
いる。又、検証データ決定部４は階層構造認識部２によ
る各階層図形データＡ〜Ｆの階層構造の認識結果に基づ
いて更新された階層図形データの上位の階層図形デー
タ、例えば階層図形データＥが更新されていたとする
と、階層図形データＥとその上異の階層図形データB,D
及びＡを検証データとして決定するようになっている。
尚、入力データ７の作成後における最初のデータ検証で
は、この更新情報ファイル６は空きとなっているため、
全ての階層図形データＡ〜Ｆが検証データとして決定さ
れる。The verification data determination unit 4 does not match the update information of the input data 7 with the update information of the update information file 6 based on each comparison result of the comparison unit 3, that is, the hierarchical graphic data corresponding to the update information is updated. In such a case, the hierarchical graphic data is determined as data to be verified. The verification data determining unit 4 updates the hierarchical graphic data, for example, the hierarchical graphic data E, which is higher than the hierarchical graphic data updated based on the recognition result of the hierarchical structure of each of the hierarchical graphic data A to F by the hierarchical structure recognizing unit 2. If the hierarchical graphic data E and the hierarchical graphic data B and D
And A are determined as verification data.
In the first data verification after the creation of the input data 7, since the update information file 6 is empty,
All the hierarchical graphic data A to F are determined as the verification data.
そして、データ検証部５は検証データ決定部４にて決
定された階層図形データを下位階層から上位階層へデー
タ検証を行い、その検証結果８を出力する。Then, the data verification unit 5 performs data verification of the hierarchical graphic data determined by the verification data determination unit 4 from the lower hierarchy to the upper hierarchy, and outputs the verification result 8.
従って、２回目以降のデータ検証において第６図の階
層図形データB,C,Aが更新され階層図形データD,E,Fが更
新されていなかった場合には、第２階層の階層図形デー
タB,Cは第１階層の階層図形データE,F及び第２階層の階
層図形データＤに影響を与えないことから、第４図に示
すように階層図形データB,C,Aのみが検証データとして
決定され、第２階層の階層図形データB,C、第３階層の
階層図形データＡの順序で検証が行われる。Therefore, if the hierarchical graphic data B, C, and A in FIG. 6 are updated and the hierarchical graphic data D, E, and F are not updated in the second and subsequent data verifications, the hierarchical graphic data B in the second hierarchy is not updated. , C do not affect the first-level hierarchical graphic data E, F and the second-level hierarchical graphic data D, and as shown in FIG. 4, only the hierarchical graphic data B, C, A are used as verification data. The verification is performed in the order of the hierarchical graphic data B and C of the second hierarchy and the hierarchical graphic data A of the third hierarchy.
又、２回目以降のデータ検証において第６図の第１階
層の階層図形データＦのみが更新され階層図形データＡ
〜Ｅが更新されていなかった場合には、第２階層の階層
図形データB,Cに影響が発生するおそれがあるととも
に、第３階層の階層図形データＡにも影響が発生するお
それがあるため、第５図に示すように階層図形データF,
B,C,Aのみが検証データとして決定され、第１階層の階
層図形データＦ、第２階層の階層図形データB,C、第３
階層の階層図形データＡの順序で検証が行われる。In the second and subsequent data verifications, only the hierarchical graphic data F of the first hierarchical level in FIG.
If E is not updated, the graphic data B and C of the second hierarchy may be affected, and the graphic data A of the third hierarchy may be affected. , As shown in FIG.
Only B, C, and A are determined as the verification data, and the hierarchical graphic data F of the first hierarchy, the hierarchical graphic data B and C of the second hierarchy,
The verification is performed in the order of the hierarchical graphic data A of the hierarchy.
このように、本実施例では階層化構造をなす図形デー
タの先の検証時における各階層図形データの更新情報を
更新情報ファイル６に記憶するようにしたので図形デー
タの階層化構造の管理が容易になり、図形データの検証
において、入力データ７における各階層図形データＡ〜
Ｆの階層構造、及び入力データ７における更新情報と更
新情報ファイル６に記憶した先の検証時における更新情
報との比較結果とに基づいて更新された階層図形データ
及びその上位の階層図形データのみを検証データとして
決定するようにしたので、更新した階層図形データ、及
び更新した階層図形データにより影響が発生するおそれ
のある上位階層の階層図形データのみのデータ検証を行
うことができ、データ検証の高速化を図ることができ
る。As described above, in this embodiment, the update information of each hierarchical graphic data at the time of the previous verification of the graphic data having the hierarchical structure is stored in the update information file 6, so that the hierarchical structure of the graphic data can be easily managed. In the verification of the graphic data, the hierarchical graphic data A to
F. Only the hierarchical graphic data updated based on the hierarchical structure of F and the comparison result between the update information in the input data 7 and the update information stored in the update information file 6 at the time of the previous verification and the hierarchical graphic data higher than the hierarchical graphic data are updated. Since the data is determined as the verification data, it is possible to perform data verification of only the updated hierarchical graphic data and the hierarchical graphic data of an upper hierarchical level that may be affected by the updated hierarchical graphic data, thereby achieving high-speed data verification. Can be achieved.
［発明の効果］ 以上詳述したように、本発明によれば、階層化構造を
なす図形データの検証を行う際、更新した階層図形デー
タ、及び更新した階層図形データにより影響の発生する
おそれのある上位階層の階層図形データのみのデータ検
証を行い、データ検証の高速化を図ることができる優れ
た効果がある。[Effects of the Invention] As described above in detail, according to the present invention, when performing verification of graphic data having a hierarchical structure, there is a possibility that updated hierarchical graphic data and updated hierarchical graphic data may have an effect. There is an excellent effect that data verification is performed only on the hierarchical graphic data of a certain upper layer, and the data verification can be speeded up.
第１図は本発明の一実施例における作用を示すフローチ
ャート、 第２図は本発明を実施するためのデータ検証装置を示す
概略構成図、 第３図は第１回目のデータ検証における作用を示すフロ
ーチャート、 第4,5図は第２回目以降のデータ検証における作用を示
すフローチャート、 第６図は図形データの階層構造を示す説明図、 第７図は半導体集積回路の図形データを示す図である。 図において、 １はデータ検証装置、 ２は階層構造認識部、 ３は比較部、 ４は検証データ決定部、 ５はデータ検証部、 ６は更新情報ファイル、 ７は入力データである。FIG. 1 is a flowchart showing an operation in one embodiment of the present invention, FIG. 2 is a schematic configuration diagram showing a data verification device for carrying out the present invention, and FIG. 3 shows an operation in a first data verification. 4 and 5 are flow charts showing the operation in the second and subsequent data verifications, FIG. 6 is an explanatory diagram showing the hierarchical structure of graphic data, and FIG. 7 is a diagram showing graphic data of a semiconductor integrated circuit. . In the figure, 1 is a data verification device, 2 is a hierarchical structure recognition unit, 3 is a comparison unit, 4 is a verification data determination unit, 5 is a data verification unit, 6 is an update information file, and 7 is input data.
───────────────────────────────────────────────────── フロントページの続き (56)参考文献 情報処理学会第33回全国大会講演論文 集 2269−2270頁 ５Ｒ−10虫上秀昭ほ か「超ＬＳＩ設計支援システム（５）− オンラインＤＲＣ−］ (58)調査した分野(Int.Cl.6，ＤＢ名) G06F 17/50 ────────────────────────────────────────────────── ─── Continuation of the front page (56) References Information Processing Society of Japan 33rd Annual Convention Proceedings Vol. 2269-2270 5R-10 Hideaki Mushigami "Super LSI Design Support System (5)-Online DRC-" ( 58) Surveyed field (Int.Cl. 6 , DB name) G06F 17/50
Claims (1)
数の第１階層図形データを定義し、所定数の第１階層図
形データあるいは所定の機能で第１階層図形データの上
位の複数の第２階層図形データを定義し、以下前記と同
様にして所定数の当該階層図形データあるいは所定の機
能で順次上位階層図形データを定義した階層化構造をな
す図形データの検証を行うに際し、 各階層図形データとともに各階層図形データ毎にそれら
が更新されたか否かを示す更新情報とで入力データを構
成するとともに、前記階層化構造をなす図形データの先
の検証時における各階層図形データの更新情報を記憶手
段に記憶し、 入力データにおける各階層図形データの階層構造、及び
入力データにおける更新情報と記憶手段に記憶した先の
検証時における更新情報との比較結果とに基づいて更新
された階層図形データ及びその上位の階層図形データを
検証データとして決定し、その下位の階層図形データか
らデータ検証を行うようにしたことを特徴とする図形デ
ータの検証方法。A plurality of first hierarchical graphic data are defined by a predetermined number of patterns or predetermined functions, and a plurality of second hierarchical graphic data higher than the first hierarchical graphic data by a predetermined number of first hierarchical graphic data or predetermined functions. In the case of defining hierarchical graphic data and performing verification of graphic data having a hierarchical structure in which a predetermined number of the hierarchical graphic data or upper hierarchical graphic data is sequentially defined by a predetermined function in the same manner as described above, each hierarchical graphic data is verified. Together with the update information indicating whether or not they have been updated for each hierarchical graphic data, and stores the update information of each hierarchical graphic data at the time of the previous verification of the graphic data forming the hierarchical structure. Means for storing the hierarchical structure of each hierarchical graphic data in the input data, and the update information in the input data and the update information stored in the storage means at the time of the previous verification. The hierarchical graphic data updated based on the comparison result with the hierarchical graphic data and the hierarchical graphic data higher than the hierarchical graphic data are determined as verification data, and data verification is performed from the hierarchical graphic data lower than the hierarchical graphic data. Method of verification.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1330459A JP2892722B2 (en) | 1989-12-20 | 1989-12-20 | How to verify figure data |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1330459A JP2892722B2 (en) | 1989-12-20 | 1989-12-20 | How to verify figure data |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH03189873A JPH03189873A (en) | 1991-08-19 |
| JP2892722B2 true JP2892722B2 (en) | 1999-05-17 |
Family
ID=18232859
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1330459A Expired - Fee Related JP2892722B2 (en) | 1989-12-20 | 1989-12-20 | How to verify figure data |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2892722B2 (en) |
-
1989
- 1989-12-20 JP JP1330459A patent/JP2892722B2/en not_active Expired - Fee Related
Non-Patent Citations (1)
| Title |
|---|
| 情報処理学会第３３回全国大会講演論文集 ２２６９−２２７０頁 ５Ｒ−１０虫上秀昭ほか「超ＬＳＩ設計支援システム（５）−オンラインＤＲＣ−］ |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH03189873A (en) | 1991-08-19 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5243538A (en) | Comparison and verification system for logic circuits and method thereof | |
| US7802222B2 (en) | Generalized constraint collection management method | |
| US6272668B1 (en) | Method for cell swapping to improve pre-layout to post-layout timing | |
| US6115546A (en) | Apparatus and method for management of integrated circuit layout verification processes | |
| US8645906B2 (en) | Method for enforcing change policy based on project state | |
| US6829754B1 (en) | Method and system for checking for power errors in ASIC designs | |
| US7111269B2 (en) | Comparison of two hierarchical netlist to generate change orders for updating an integrated circuit layout | |
| US5281558A (en) | Cloning method and system for hierarchical compaction | |
| US8984465B1 (en) | Methods, systems, and articles of manufacture for automatically assigning track patterns to regions for physical implementation of an electronic design | |
| US6282503B1 (en) | Logic emulation system | |
| US20030191617A1 (en) | Method and system for selectively storing and retrieving simulation data utilizing keywords | |
| US20100058277A1 (en) | Method and system for organizing data generated by electronic design automation tools | |
| JPH1092938A (en) | Layout method, layout apparatus and database | |
| US7003749B2 (en) | Constraint data management for electronic design automation | |
| US20070260441A1 (en) | Method, system and program product supporting phase events in a simulation model of a digital system | |
| US7552043B2 (en) | Method, system and program product for selectively removing instrumentation logic from a simulation model | |
| JP2892722B2 (en) | How to verify figure data | |
| US6321173B1 (en) | System and method for efficient verification of functional equivalence between design models | |
| JP5056625B2 (en) | Circuit design apparatus and circuit design method | |
| JP2002259186A (en) | Method, program and device for checking and processing compatibility of tree structured index | |
| US5740071A (en) | Method and apparatus for selective shape adjustment of hierarchical designs | |
| JP3462956B2 (en) | Mask ROM data generator | |
| JP2921001B2 (en) | Pattern extraction method | |
| KR101012805B1 (en) | Method and device for modifying modular messages | |
| CN111539174B (en) | Regression testing method, storage medium and system based on proof kernel |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |