JPH05216949A - 電気系ｃａｄデータの検証方法 - Google Patents
電気系ｃａｄデータの検証方法Info
- Publication number
- JPH05216949A JPH05216949A JP4021148A JP2114892A JPH05216949A JP H05216949 A JPH05216949 A JP H05216949A JP 4021148 A JP4021148 A JP 4021148A JP 2114892 A JP2114892 A JP 2114892A JP H05216949 A JPH05216949 A JP H05216949A
- Authority
- JP
- Japan
- Prior art keywords
- data
- verification
- information
- database
- net
- 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
(57)【要約】
【目的】 回路図データとレイアウトデータと部品情報
管理データとのいずれか１つでも新たに追加又は消去し
たとき、全ての組み合わせの検証によって上記データに
反映するデータベースを生成する電気系ＣＡＤデータの
検証方法を提供することにある。 【構成】 局所的に異なる回路図データとレイアウトデ
ータと部品情報管理データとの中から検証を行う基準検
証用のデータと比較検証用のデータとを選択し各々に共
通のファイルフォーマットのデータベースを作成し、上
記各検証用のデータベースから部品情報と属性情報との
対応関係及び信号情報と端子情報との対応関係とを求
め、上記各対応関係の結果に基づいて上記基準とした回
路図データ又はレイアウトデータ又は部品情報管理デー
タとを修正することを特徴とする電気系ＣＡＤデータの
検証方法。
管理データとのいずれか１つでも新たに追加又は消去し
たとき、全ての組み合わせの検証によって上記データに
反映するデータベースを生成する電気系ＣＡＤデータの
検証方法を提供することにある。 【構成】 局所的に異なる回路図データとレイアウトデ
ータと部品情報管理データとの中から検証を行う基準検
証用のデータと比較検証用のデータとを選択し各々に共
通のファイルフォーマットのデータベースを作成し、上
記各検証用のデータベースから部品情報と属性情報との
対応関係及び信号情報と端子情報との対応関係とを求
め、上記各対応関係の結果に基づいて上記基準とした回
路図データ又はレイアウトデータ又は部品情報管理デー
タとを修正することを特徴とする電気系ＣＡＤデータの
検証方法。
Description
【０００１】
【産業上の利用分野】本発明は電気系ＣＡＤで作成する
回路図データとレイアウトデータと部品情報管理データ
とを検証する電気系ＣＡＤデータの検証方法に関する。
回路図データとレイアウトデータと部品情報管理データ
とを検証する電気系ＣＡＤデータの検証方法に関する。
【０００２】
【従来の技術】従来は局所的に異なる回路図データとレ
イアウトデータとの検証を行うとき、データベースが異
なるたびに検証を行うプログラムを作成して部品情報と
属性情報との対応関係と信号情報と端子情報との対応関
係とを求めていた。しかも、上記各データはデータベー
スの構造がそれぞれ異なり回路図データを基準検証側、
レイアウトデータを比較検証側とした検証結果しか求め
られなかった。
イアウトデータとの検証を行うとき、データベースが異
なるたびに検証を行うプログラムを作成して部品情報と
属性情報との対応関係と信号情報と端子情報との対応関
係とを求めていた。しかも、上記各データはデータベー
スの構造がそれぞれ異なり回路図データを基準検証側、
レイアウトデータを比較検証側とした検証結果しか求め
られなかった。
【０００３】
【発明が解決しようとする課題】従来のレイアウトデー
タのデータベースには部品情報と属性情報の関係は入っ
ておらず、上記検証を行うプログラムも回路図データか
らレイアウトデータへの片方向のものであった。
タのデータベースには部品情報と属性情報の関係は入っ
ておらず、上記検証を行うプログラムも回路図データか
らレイアウトデータへの片方向のものであった。
【０００４】そこで本発明の目的は、回路図データとレ
イアウトデータと部品情報管理データとのいずれか１つ
でも新たに追加又は消去したとき、全ての組み合わせの
検証によって上記データに反映するデータベースを生成
する電気系ＣＡＤデータの検証方法を提供することにあ
る。
イアウトデータと部品情報管理データとのいずれか１つ
でも新たに追加又は消去したとき、全ての組み合わせの
検証によって上記データに反映するデータベースを生成
する電気系ＣＡＤデータの検証方法を提供することにあ
る。
【０００５】
【課題を解決するための手段】前記目的を達成するため
に本発明による電気系ＣＡＤデータの検証方法では、局
所的に異なる回路図データとレイアウトデータと部品情
報管理データとの中から検証を行う基準検証用のデータ
と比較検証用のデータとを選択し各々に共通のファイル
フォーマットのデータベースを作成し、上記各検証用の
データベースから部品情報と属性情報との対応関係及び
信号情報と端子情報との対応関係とを求め、上記各対応
関係の結果に基づいて上記基準とした回路図データ又は
レイアウトデータ又は部品情報管理データとを修正する
ことを特徴としている。
に本発明による電気系ＣＡＤデータの検証方法では、局
所的に異なる回路図データとレイアウトデータと部品情
報管理データとの中から検証を行う基準検証用のデータ
と比較検証用のデータとを選択し各々に共通のファイル
フォーマットのデータベースを作成し、上記各検証用の
データベースから部品情報と属性情報との対応関係及び
信号情報と端子情報との対応関係とを求め、上記各対応
関係の結果に基づいて上記基準とした回路図データ又は
レイアウトデータ又は部品情報管理データとを修正する
ことを特徴としている。
【０００６】
【作用】 （１）回路図データ４０１、レイアウトデータ４０２、
部品情報管理データ４０３から変換プログラム４０７を
介して出力される検証基準データ４０４、検証比較デー
タ４０５は共通のファイルフォーマットで出力されてい
る。また検証基準データ４０４と検証比較データ４０５
とは、どのデータベースから出力されたかを認識するキ
ーワードをもち、検証プログラム４０８では検証を行う
検証基準データと検証比較データとのキーワードから、
検証を行う項目を自動的に認識する。検証を行なった結
果は、検証結果データ４０６である。検証結果データも
共通なフォーマットを持ち、それぞれのデータベースが
検証結果データを用いてデータベースへの反映が可能と
なる（図４）。
部品情報管理データ４０３から変換プログラム４０７を
介して出力される検証基準データ４０４、検証比較デー
タ４０５は共通のファイルフォーマットで出力されてい
る。また検証基準データ４０４と検証比較データ４０５
とは、どのデータベースから出力されたかを認識するキ
ーワードをもち、検証プログラム４０８では検証を行う
検証基準データと検証比較データとのキーワードから、
検証を行う項目を自動的に認識する。検証を行なった結
果は、検証結果データ４０６である。検証結果データも
共通なフォーマットを持ち、それぞれのデータベースが
検証結果データを用いてデータベースへの反映が可能と
なる（図４）。
【０００７】（２）部品名を昇順に第１のポインタで連
結した部品名リスト５０１と、部品名リスト内の第２の
ポインタで連結した属性名と属性値リスト５０２から、
２つのリストを比較する部品関係のデータ処理方法（図
５）。部品関係の検証項目は、部品消去、部品追加、属
性消去、属性追加、属性変更である。
結した部品名リスト５０１と、部品名リスト内の第２の
ポインタで連結した属性名と属性値リスト５０２から、
２つのリストを比較する部品関係のデータ処理方法（図
５）。部品関係の検証項目は、部品消去、部品追加、属
性消去、属性追加、属性変更である。
【０００８】（３）信号名を昇順に第１のポインタ５１
で連結した信号名リスト６０１と、信号名リスト内の第
２のポインタ５２で連結した端子情報リスト６０２と、
信号名リスト内の第３ポインタ５３で連結した島リスト
６０３と、端子情報リスト内にある第４のポインタ５４
で連結した対応ピンリスト６０４と、端子情報リスト内
にある第５のポインタ５５で信号名リストへ連結するリ
スト構造から、消去ピン、島ネットを求めるデータ処理
方式（図６）。接続関係の項目は、消去ピン、追加ピ
ン、島ネット、結合ネット、複合島ネットである。
で連結した信号名リスト６０１と、信号名リスト内の第
２のポインタ５２で連結した端子情報リスト６０２と、
信号名リスト内の第３ポインタ５３で連結した島リスト
６０３と、端子情報リスト内にある第４のポインタ５４
で連結した対応ピンリスト６０４と、端子情報リスト内
にある第５のポインタ５５で信号名リストへ連結するリ
スト構造から、消去ピン、島ネットを求めるデータ処理
方式（図６）。接続関係の項目は、消去ピン、追加ピ
ン、島ネット、結合ネット、複合島ネットである。
【０００９】
【実施例】本発明の電気系ＣＡＤデータの検証方法によ
る部品関係の検証方法と論理接続情報関係の検証方法に
ついて詳しく説明する。
る部品関係の検証方法と論理接続情報関係の検証方法に
ついて詳しく説明する。
【００１０】（１）部品関係の検証方法（図１） 基準データならび比較データから部品情報を抽出し、図
５で示した部品情報に関するデータ構造を作成し、作成
後以下の手順で部品関係の検証を行う。
５で示した部品情報に関するデータ構造を作成し、作成
後以下の手順で部品関係の検証を行う。
【００１１】ｓｔｅｐ１ 基準部品リストと比較部品リ
ストを比較して１０１、基準データに存在する部品が比
較データに存在しないとき、部品消去エラー１０２にな
る。
ストを比較して１０１、基準データに存在する部品が比
較データに存在しないとき、部品消去エラー１０２にな
る。
【００１２】ｓｔｅｐ２ 基準部品リストと比較部品リ
ストを比較して１０３、比較データに存在する部品が基
準データに存在しないとき、部品追加エラー１０４にな
る。
ストを比較して１０３、比較データに存在する部品が基
準データに存在しないとき、部品追加エラー１０４にな
る。
【００１３】ｓｔｅｐ３ 基準属性リストと比較属性リ
ストを比較して１０５、基準データに存在する属性が比
較データに存在しないとき、属性消去エラー１０６にな
る。
ストを比較して１０５、基準データに存在する属性が比
較データに存在しないとき、属性消去エラー１０６にな
る。
【００１４】ｓｔｅｐ４ 基準属性リストと比較属性リ
ストを比較して１０７、比較データに存在する属性が基
準データに存在しないとき、属性追加エラー１０８にな
る。
ストを比較して１０７、比較データに存在する属性が基
準データに存在しないとき、属性追加エラー１０８にな
る。
【００１５】ｓｔｅｐ５ 基準属性リストと比較属性リ
ストを比較して１０９、基準データに存在する属性が比
較データでは異なるとき、属性エラー１１０になる。
ストを比較して１０９、基準データに存在する属性が比
較データでは異なるとき、属性エラー１１０になる。
【００１６】（２）論理接続情報関係の検証方法（図
２） 基準データならび比較データから論理接続情報を抽出
し、図６で示した接続情報に関するデータ構造を作成
し、作成後以下の手順で接続関係の検証を行う。
２） 基準データならび比較データから論理接続情報を抽出
し、図６で示した接続情報に関するデータ構造を作成
し、作成後以下の手順で接続関係の検証を行う。
【００１７】ｓｔｅｐ１ ネットを構成しているピンを
比較することで２０１、基準データと比較データのネッ
トの対応をとる。ネットを構成しているピンが基準デー
タと比較データで全て等しいときは、正常ネット２０２
とする。それ以外のネットに関しては、ｓｔｅｐ２以下
の操作を行う。
比較することで２０１、基準データと比較データのネッ
トの対応をとる。ネットを構成しているピンが基準デー
タと比較データで全て等しいときは、正常ネット２０２
とする。それ以外のネットに関しては、ｓｔｅｐ２以下
の操作を行う。
【００１８】ｓｔｅｐ２ 基準データと比較データでピ
ンの対応２０３をとる。
ンの対応２０３をとる。
【００１９】ｓｔｅｐ３ 基準データのピンに対応する
ピンが比較データに存在しないとき２０４、消去ピンエ
ラー２０５とする。
ピンが比較データに存在しないとき２０４、消去ピンエ
ラー２０５とする。
【００２０】ｓｔｅｐ４ 比較データのピンに対応する
ピンが基準データに存在しないとき２０６、追加ピンエ
ラー２０７とする。
ピンが基準データに存在しないとき２０６、追加ピンエ
ラー２０７とする。
【００２１】ｓｔｅｐ５ ネットを構成しているピンの
対応関係から、ネットの状態を求める２０８。
対応関係から、ネットの状態を求める２０８。
【００２２】ｓｔｅｐ６ 基準データで１つのネットに
なっているものが、対応するネットが比較データでは複
数個のネットになっているとき２０９、島ネットエラー
２１０とする。
なっているものが、対応するネットが比較データでは複
数個のネットになっているとき２０９、島ネットエラー
２１０とする。
【００２３】ｓｔｅｐ７ 比較データで１つのネットに
なっているものが、対応するネットが基準データでは複
数個のネットになっているとき２１１、結合ネットエラ
ー２１２とする。又、複数個のネットになっていないと
き複合島ネット２１３となる。 （３）ネットの状態検出（図３） ｓｔｅｐ１ 基準データのネット３０１に存在する全て
のピン３０２に関して、対応する比較データのピンを求
める。
なっているものが、対応するネットが基準データでは複
数個のネットになっているとき２１１、結合ネットエラ
ー２１２とする。又、複数個のネットになっていないと
き複合島ネット２１３となる。 （３）ネットの状態検出（図３） ｓｔｅｐ１ 基準データのネット３０１に存在する全て
のピン３０２に関して、対応する比較データのピンを求
める。
【００２４】ｓｔｅｐ２ ｓｔｅｐ１で求めたピン３０
３が属する比較ネット３０４を求める。
３が属する比較ネット３０４を求める。
【００２５】ｓｔｅｐ３ ｓｔｅｐ２で求めた比較のネ
ット名が、以前に求めた比較のネットに存在しないとき
は、以前に求めたネットから新しく求めたネットに島情
報のポインタを接続する。
ット名が、以前に求めた比較のネットに存在しないとき
は、以前に求めたネットから新しく求めたネットに島情
報のポインタを接続する。
【００２６】ｓｔｅｐ４ 比較データのネットに存在す
る全てのピンに関して、対応する基準データのピンを求
める。
る全てのピンに関して、対応する基準データのピンを求
める。
【００２７】ｓｔｅｐ５ ｓｔｅｐ４で求めたピンが属
する基準ネットで求める。
する基準ネットで求める。
【００２８】ｓｔｅｐ６ ｓｔｅｐ５で求めた基準のネ
ット名が、以前に求めた基準のネットに存在しないとき
は、以前に求めたネットから新しく求めたネットに島情
報のポインタを接続する。
ット名が、以前に求めた基準のネットに存在しないとき
は、以前に求めたネットから新しく求めたネットに島情
報のポインタを接続する。
【００２９】
【発明の効果】以上説明したように本発明の電気系ＣＡ
Ｄデータの検証方法では、回路図データとレイアウトデ
ータと部品情報管理データとを共通フォーマットのデー
タベースに作成したことで上記データのすべての組み合
わせの検証ができるようになった。
Ｄデータの検証方法では、回路図データとレイアウトデ
ータと部品情報管理データとを共通フォーマットのデー
タベースに作成したことで上記データのすべての組み合
わせの検証ができるようになった。
【図１】部品関係の検証手順を示したものである。
【図２】論理接続情報関係の検証手順を示したものであ
る。
る。
【図３】ネットの状態検出を説明したものである。
【図４】電気系ＣＡＤデータの検証方法を示す各データ
ベースの概要構成図である。
ベースの概要構成図である。
【図５】部品関係のデータ構造図である。
【図６】論理接続情報関係のデータ構造図である。
１０２ 部品消去 １０４ 部品追加 １０６ 属性消去 １０８ 属性追加 １１０ 属性変更
Claims (1)
- 【請求項１】 局所的に異なる回路図データとレイアウ
トデータと部品情報管理データとの中から検証を行う基
準検証用のデータと比較検証用のデータとを選択し各々
に共通のファイルフォーマットのデータベースを作成
し、上記各検証用のデータベースから部品情報と属性情
報との対応関係及び信号情報と端子情報との対応関係と
を求め、上記各対応関係の結果に基づいて上記基準とし
た回路図データ又はレイアウトデータ又は部品情報管理
データとを修正することを特徴とする電気系ＣＡＤデー
タの検証方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4021148A JPH05216949A (ja) | 1992-02-06 | 1992-02-06 | 電気系ｃａｄデータの検証方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4021148A JPH05216949A (ja) | 1992-02-06 | 1992-02-06 | 電気系ｃａｄデータの検証方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH05216949A true JPH05216949A (ja) | 1993-08-27 |
Family
ID=12046823
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4021148A Pending JPH05216949A (ja) | 1992-02-06 | 1992-02-06 | 電気系ｃａｄデータの検証方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH05216949A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR100929551B1 (ko) * | 2009-02-27 | 2009-12-03 | 주식회사 지노스 | 설계 검증 장치 및 방법 |
| KR100930089B1 (ko) * | 2009-02-27 | 2009-12-07 | 주식회사 지노스 | 설계 검증 장치 및 방법 |
-
1992
- 1992-02-06 JP JP4021148A patent/JPH05216949A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR100929551B1 (ko) * | 2009-02-27 | 2009-12-03 | 주식회사 지노스 | 설계 검증 장치 및 방법 |
| KR100930089B1 (ko) * | 2009-02-27 | 2009-12-07 | 주식회사 지노스 | 설계 검증 장치 및 방법 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6886140B2 (en) | Fast algorithm to extract flat information from hierarchical netlists | |
| US6701510B2 (en) | Computer readable medium with definition of interface recorded thereon, verification method for feasibility to connect given circuit and method of generating signal pattern | |
| JPH05216949A (ja) | 電気系ｃａｄデータの検証方法 | |
| JP2002259186A (ja) | Ｔｒｅｅ構造型インデクスの整合性チェック処理方法およびプログラムおよび装置 | |
| CN115774971A (zh) | 一种基于cad识图技术的端子排接线图自动审查方法 | |
| JP2705548B2 (ja) | 印刷回路基板設計支援装置 | |
| JP3487870B2 (ja) | 階層型ファイルの結合分離方法 | |
| JP2919190B2 (ja) | ハードウェア記述自動生成方式 | |
| JPH0528088A (ja) | ハードウエア構成情報の自動作成方法 | |
| JP2002032427A (ja) | Ｌｓｉの接続検証装置、接続検証方法および接続検証プログラムを記録した媒体 | |
| JP2000200297A (ja) | アナログ部品削除情報付与システム | |
| JPS61151782A (ja) | 論理回路デ−タの作成方法 | |
| JPH0618626A (ja) | シミュレーション用回路データの生成方法とデータの生成装置 | |
| JP2625361B2 (ja) | 論理回路分割結果照合装置 | |
| JP2776267B2 (ja) | 回路図出力方法 | |
| JP2940124B2 (ja) | 基板ｃａｄ装置 | |
| JP2000215217A (ja) | 論理合成方法及び装置 | |
| JP2897539B2 (ja) | ハードウェア記述自動生成方法とその装置 | |
| JPH05242179A (ja) | 回路図エディタシステム | |
| JP2797955B2 (ja) | 期待値照合装置および方法 | |
| JPH06243190A (ja) | 論理シミュレータ | |
| JPH07175845A (ja) | 論理シミュレーション用回路変換方式 | |
| JPH0762853B2 (ja) | 状態遷移図マクロ接続システム | |
| JPH06180729A (ja) | 論理図面生成装置 | |
| JPH0713975A (ja) | レイアウト検証システム |