JPH06243189A - ライブラリ検証装置 - Google Patents
ライブラリ検証装置Info
- Publication number
- JPH06243189A JPH06243189A JP5026385A JP2638593A JPH06243189A JP H06243189 A JPH06243189 A JP H06243189A JP 5026385 A JP5026385 A JP 5026385A JP 2638593 A JP2638593 A JP 2638593A JP H06243189 A JPH06243189 A JP H06243189A
- Authority
- JP
- Japan
- Prior art keywords
- library
- storing
- sum
- delay
- storage means
- 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.)
- Granted
Links
Abstract
(57)【要約】
【目的】数値およびその分類名を含むライブラリの検証
を行う際に、ライブラリに含まれる数値の分類毎の和と
文書より人手により求められた分類毎の和とが一致して
いることを比較する。これにより、個々の項目を目視チ
ュックする場合に比べて、見逃しによる検証漏れを起こ
しにくくする。 【構成】分類毎和比較手段５は、分類毎和格納手段３に
格納された遅延時間の和と設定分類毎和格納手段４に格
納された遅延時間の和とを比較して比較結果を表示す
る。
を行う際に、ライブラリに含まれる数値の分類毎の和と
文書より人手により求められた分類毎の和とが一致して
いることを比較する。これにより、個々の項目を目視チ
ュックする場合に比べて、見逃しによる検証漏れを起こ
しにくくする。 【構成】分類毎和比較手段５は、分類毎和格納手段３に
格納された遅延時間の和と設定分類毎和格納手段４に格
納された遅延時間の和とを比較して比較結果を表示す
る。
Description
【０００１】
【産業上の利用分野】本発明はライブラリ検証装置に関
し、特に論理回路の設計に使用する数値データライブラ
リの検証に関する。
し、特に論理回路の設計に使用する数値データライブラ
リの検証に関する。
【０００２】
【従来の技術】論理回路などの設計では、回路素子に関
する大量の数値データをデータブックなどから抽出して
作成したライブラリを使用している。たとえば、論理回
路の遅延解析を行なう場合には、ライブラリに格納され
た各素子の遅延時間を参照し、その値を使用して回路中
に含まれるパスの遅延時間を算出する。
する大量の数値データをデータブックなどから抽出して
作成したライブラリを使用している。たとえば、論理回
路の遅延解析を行なう場合には、ライブラリに格納され
た各素子の遅延時間を参照し、その値を使用して回路中
に含まれるパスの遅延時間を算出する。
【０００３】従来、上記のようなライブラリを作成する
場合、データ入力の誤りをチェックする方法が確立して
いないので、個々の項目を目視によって確認しなければ
ならなかった。したがって見逃しによるチェック漏れが
発生することがあり、ライブラリそのものの信頼性を低
下させる原因となっていた。すなわち、論理回路の設計
や解析に伴う処理において、不十分な検証にもとづくラ
イブラリを使用したために、予期できない大幅な手戻り
が発生することがあった。
場合、データ入力の誤りをチェックする方法が確立して
いないので、個々の項目を目視によって確認しなければ
ならなかった。したがって見逃しによるチェック漏れが
発生することがあり、ライブラリそのものの信頼性を低
下させる原因となっていた。すなわち、論理回路の設計
や解析に伴う処理において、不十分な検証にもとづくラ
イブラリを使用したために、予期できない大幅な手戻り
が発生することがあった。
【０００４】
【発明が解決しようとする課題】本発明が解決しようと
する課題、すなわち本発明の目的はライブラリのデータ
を利用して異なる方法で算出した計数値を互いに比較す
ることによってライブラリの値の検証を行ない、チェッ
ク漏れを防いで上記の欠点を改善したライブラリ検証装
置を提供することにある。
する課題、すなわち本発明の目的はライブラリのデータ
を利用して異なる方法で算出した計数値を互いに比較す
ることによってライブラリの値の検証を行ない、チェッ
ク漏れを防いで上記の欠点を改善したライブラリ検証装
置を提供することにある。
【０００５】
【課題を解決するための手段】本発明のライブラリ検証
装置は、数値情報およびその分類名を含むライブラリを
格納するライブラリ格納手段と、前記ライブラリを参照
し前記数値情報の分類毎の和を求める分類毎和算出手段
と、前記分類毎の和を格納する分類毎和格納手段と、あ
らかじめ求められた分類毎の和を格納する設定分類毎和
格納手段と、前記分類毎和格納手段に格納された値と前
記設定分類毎和格納手段に格納された値とを比較して比
較結果を表示する分類毎和比較手段とを含む。
装置は、数値情報およびその分類名を含むライブラリを
格納するライブラリ格納手段と、前記ライブラリを参照
し前記数値情報の分類毎の和を求める分類毎和算出手段
と、前記分類毎の和を格納する分類毎和格納手段と、あ
らかじめ求められた分類毎の和を格納する設定分類毎和
格納手段と、前記分類毎和格納手段に格納された値と前
記設定分類毎和格納手段に格納された値とを比較して比
較結果を表示する分類毎和比較手段とを含む。
【０００６】また、本発明のライブラリ検証装置は、数
値情報を含むライブラリを格納するライブラリ格納手段
と、前記ライブラリを参照し前記数値情報の総和を求め
る総和算出手段と、前記総和を格納する総和格納手段
と、あらかじめ求められた総和を格納する設定総和格納
手段と、前記総和格納手段に格納された値と前記設定総
和格納手段に格納された値とを比較して比較結果を表示
する総和比較手段とを含む。
値情報を含むライブラリを格納するライブラリ格納手段
と、前記ライブラリを参照し前記数値情報の総和を求め
る総和算出手段と、前記総和を格納する総和格納手段
と、あらかじめ求められた総和を格納する設定総和格納
手段と、前記総和格納手段に格納された値と前記設定総
和格納手段に格納された値とを比較して比較結果を表示
する総和比較手段とを含む。
【０００７】さらに、本発明のライブラリ検証装置は、
論理回路の遅延時間を含むデータを格納する遅延ライブ
ラリ格納手段と、論理回路の論理情報を含むデータを格
納する論理ライブラリ格納手段と、前記論理ライブラリ
を参照し前記論理情報に基づき論理回路の外部端子間の
遅延時間を求める見積り遅延解析手段と、前記論理回路
の外部端子間の遅延時間を格納する解析結果格納手段
と、前記遅延ライブラリ格納手段に格納された遅延時間
と前記解析結果格納手段に格納された遅延時間とを比較
して比較結果を表示する遅延比較手段とを含む。
論理回路の遅延時間を含むデータを格納する遅延ライブ
ラリ格納手段と、論理回路の論理情報を含むデータを格
納する論理ライブラリ格納手段と、前記論理ライブラリ
を参照し前記論理情報に基づき論理回路の外部端子間の
遅延時間を求める見積り遅延解析手段と、前記論理回路
の外部端子間の遅延時間を格納する解析結果格納手段
と、前記遅延ライブラリ格納手段に格納された遅延時間
と前記解析結果格納手段に格納された遅延時間とを比較
して比較結果を表示する遅延比較手段とを含む。
【０００８】さらにまた、本発明のライブラリ検証装置
は、論理回路の遅延時間を含むデータを格納する遅延ラ
イブラリ格納手段と、前記遅延ライブラリ格納手段を参
照し遅延解析上の信号電播の経路を求める経路情報抽出
手段と、前記経路情報抽出手段の解析結果を格納する経
路情報格納手段と、論理回路の論理情報を含むデータを
格納する論理ライブラリ格納手段と、前記論理ライブラ
リ格納手段を参照し論理的な信号電播の経路を求める接
続情報抽出手段と、前記接続情報抽出手段の解析結果を
格納する接続情報格納手段と、前記経路情報格納手段に
格納された遅延解析上の信号電播の経路と前記接続情報
格納手段に格納された論理的な信号電播の経路とを比較
して比較結果を表示する接続比較手段とを含む。
は、論理回路の遅延時間を含むデータを格納する遅延ラ
イブラリ格納手段と、前記遅延ライブラリ格納手段を参
照し遅延解析上の信号電播の経路を求める経路情報抽出
手段と、前記経路情報抽出手段の解析結果を格納する経
路情報格納手段と、論理回路の論理情報を含むデータを
格納する論理ライブラリ格納手段と、前記論理ライブラ
リ格納手段を参照し論理的な信号電播の経路を求める接
続情報抽出手段と、前記接続情報抽出手段の解析結果を
格納する接続情報格納手段と、前記経路情報格納手段に
格納された遅延解析上の信号電播の経路と前記接続情報
格納手段に格納された論理的な信号電播の経路とを比較
して比較結果を表示する接続比較手段とを含む。
【０００９】
【実施例】次に、本発明について図面を参照して説明す
る。
る。
【００１０】図１は本発明の第一の実施例を示すブロッ
ク図である。ここでは、遅延検証に用いる遅延ライブラ
リを検証する例について述べる。同図において、ライブ
ラリ格納手段１は、遅延検証に用いるブロックのブロッ
ク名，ブロック種類名，遅延時間を含む遅延ライブラリ
を格納する。分類毎和算出手段２は、遅延ライブラリよ
りそれらに含まれる遅延時間のブロック種類毎の和を求
める。分類毎和格納手段３は、遅延時間のブロック種類
毎の和を格納する。設定分類毎和格納手段４は、人手に
より求められた、遅延ライブラリに含まれるべき遅延時
間のブロック種類毎の和を格納する。分類毎和比較手段
５は、分類毎和格納手段３に格納された遅延時間の和と
設定分類毎和格納手段４に格納された遅延時間の和とを
比較して、比較結果を表示する。
ク図である。ここでは、遅延検証に用いる遅延ライブラ
リを検証する例について述べる。同図において、ライブ
ラリ格納手段１は、遅延検証に用いるブロックのブロッ
ク名，ブロック種類名，遅延時間を含む遅延ライブラリ
を格納する。分類毎和算出手段２は、遅延ライブラリよ
りそれらに含まれる遅延時間のブロック種類毎の和を求
める。分類毎和格納手段３は、遅延時間のブロック種類
毎の和を格納する。設定分類毎和格納手段４は、人手に
より求められた、遅延ライブラリに含まれるべき遅延時
間のブロック種類毎の和を格納する。分類毎和比較手段
５は、分類毎和格納手段３に格納された遅延時間の和と
設定分類毎和格納手段４に格納された遅延時間の和とを
比較して、比較結果を表示する。
【００１１】図２はライブラリ格納手段１に含まれる遅
延ライブラリの内容の例を示す説明図である。この遅延
ライブラリ中には、ブロック名，ブロック種類名，各ブ
ロックのピン間の遅延時間が含まれている。例えば、ブ
ロックＡは、ブロック種類名がＲＡＭであり、そのピン
間の遅延時間は５ｎｓである。
延ライブラリの内容の例を示す説明図である。この遅延
ライブラリ中には、ブロック名，ブロック種類名，各ブ
ロックのピン間の遅延時間が含まれている。例えば、ブ
ロックＡは、ブロック種類名がＲＡＭであり、そのピン
間の遅延時間は５ｎｓである。
【００１２】分類毎和算出手段２は、図２に示される遅
延ライブラリの内容より、そこに含まれるピン間遅延時
間のブロック種類毎の和を求める。即ち、ブロック種類
がＲＡＭであるブロックのピン間遅延時間の和は、１１
ｎｓ、ブロック種類がＡＮＤであるブロックのピン間遅
延時間の和は、 ５ｎｓ、ブロック種類がＮＯＴである
ブロックのピン間遅延時間の和は、 １ｎｓ、という結
果が求められる。その結果は、分類毎和格納手段３に格
納される。
延ライブラリの内容より、そこに含まれるピン間遅延時
間のブロック種類毎の和を求める。即ち、ブロック種類
がＲＡＭであるブロックのピン間遅延時間の和は、１１
ｎｓ、ブロック種類がＡＮＤであるブロックのピン間遅
延時間の和は、 ５ｎｓ、ブロック種類がＮＯＴである
ブロックのピン間遅延時間の和は、 １ｎｓ、という結
果が求められる。その結果は、分類毎和格納手段３に格
納される。
【００１３】一方、設定分類毎和格納手段４には、ＴＴ
Ｌ規格表などの仕様書より人手により求められた、ブロ
ック種類毎のピン間遅延時間の和が格納されている。分
類毎和比較手段５は分類毎和格納手段３に格納された和
と設定分類毎和格納手段４に格納された和とが等しいこ
とより、ライブラリ格納手段１に格納された遅延ライブ
ラリは正しいと判断する。
Ｌ規格表などの仕様書より人手により求められた、ブロ
ック種類毎のピン間遅延時間の和が格納されている。分
類毎和比較手段５は分類毎和格納手段３に格納された和
と設定分類毎和格納手段４に格納された和とが等しいこ
とより、ライブラリ格納手段１に格納された遅延ライブ
ラリは正しいと判断する。
【００１４】仮に、ライブラリ格納手段１に格納された
遅延ライブラリに誤りがあり、ブロックＡのピン間遅延
時間の和が５０ｎｓとなっていたとする。すると、分類
毎和算出手段２は、ブロック種類がＲＡＭであるブロッ
クのピン間遅延時間の和を５６ｎｓと算出し、その結果
５６ｎｓを分類毎和格納手段３に格納する。一方、設定
分類毎和格納手段４には、上記と同様の和が格納されて
いる。分類毎和比較手段５は分類毎和格納手段３に格納
されたブロック種類毎のピン間遅延時間の和と設定分類
毎和格納手段４に格納されたブロック種類毎のピン間遅
延時間の和とを比較し、ブロック種類がＲＡＭであるブ
ロックのピン間遅延時間の和が異なっていることより、
ライブラリ格納手段１に格納された遅延ライブラリが誤
っていることを検出する。
遅延ライブラリに誤りがあり、ブロックＡのピン間遅延
時間の和が５０ｎｓとなっていたとする。すると、分類
毎和算出手段２は、ブロック種類がＲＡＭであるブロッ
クのピン間遅延時間の和を５６ｎｓと算出し、その結果
５６ｎｓを分類毎和格納手段３に格納する。一方、設定
分類毎和格納手段４には、上記と同様の和が格納されて
いる。分類毎和比較手段５は分類毎和格納手段３に格納
されたブロック種類毎のピン間遅延時間の和と設定分類
毎和格納手段４に格納されたブロック種類毎のピン間遅
延時間の和とを比較し、ブロック種類がＲＡＭであるブ
ロックのピン間遅延時間の和が異なっていることより、
ライブラリ格納手段１に格納された遅延ライブラリが誤
っていることを検出する。
【００１５】図３は本発明の第二の実施例を示すブロッ
ク図である。同図において、ライブラリ格納手段１１
は、遅延検証に用いる遅延時間を含む遅延ライブラリを
格納する。総和算出手段１２は、遅延ライブラリよりそ
れらに含まれる遅延時間の総和を求める。総和格納手段
１３は、遅延時間の総和を格納する。設定総和格納手段
１４は、人手により求められた、遅延ライブラリに含ま
れるべき遅延時間の総和を格納する。総和比較手段１５
は、総和格納手段１３に格納された遅延時間の総和と設
定総和格納手段１４に格納された遅延時間の総和とを比
較して、比較結果を表示する。
ク図である。同図において、ライブラリ格納手段１１
は、遅延検証に用いる遅延時間を含む遅延ライブラリを
格納する。総和算出手段１２は、遅延ライブラリよりそ
れらに含まれる遅延時間の総和を求める。総和格納手段
１３は、遅延時間の総和を格納する。設定総和格納手段
１４は、人手により求められた、遅延ライブラリに含ま
れるべき遅延時間の総和を格納する。総和比較手段１５
は、総和格納手段１３に格納された遅延時間の総和と設
定総和格納手段１４に格納された遅延時間の総和とを比
較して、比較結果を表示する。
【００１６】図４はライブラリ格納手段１１に含まれる
遅延ライブラリの内容の例を示す説明図である。この遅
延ライブラリ中には、各ブロックのピン間の遅延時間が
含まれている。例えば、ブロックＡのピン間の遅延時間
は５ｎｓである。
遅延ライブラリの内容の例を示す説明図である。この遅
延ライブラリ中には、各ブロックのピン間の遅延時間が
含まれている。例えば、ブロックＡのピン間の遅延時間
は５ｎｓである。
【００１７】総和算出手段１２は、図４に示される遅延
ライブラリの内容より、そこに含まれるピン間遅延時間
の総和１３ｎｓを求め、その結果１３ｎｓを総和格納手
段１３に格納する。一方、設定総和格納手段１４には、
ＴＴＬ規格表などの仕様書より人手により求められた、
ピン間遅延時間の総和１３ｎｓが格納されている。総和
比較手段１５は総和格納手段１３に格納された総和と設
定総和格納手段１４に格納された総和が共に１３ｎｓで
等しいことより、ライブラリ格納手段１１に格納された
遅延ライブラリは正しいと判断する。
ライブラリの内容より、そこに含まれるピン間遅延時間
の総和１３ｎｓを求め、その結果１３ｎｓを総和格納手
段１３に格納する。一方、設定総和格納手段１４には、
ＴＴＬ規格表などの仕様書より人手により求められた、
ピン間遅延時間の総和１３ｎｓが格納されている。総和
比較手段１５は総和格納手段１３に格納された総和と設
定総和格納手段１４に格納された総和が共に１３ｎｓで
等しいことより、ライブラリ格納手段１１に格納された
遅延ライブラリは正しいと判断する。
【００１８】仮に、ライブラリ格納手段１１に格納され
た遅延ライブラリに誤りがあり、ブロックＡの遅延時間
が５０ｎｓとなっていたとする。すると、総和算出手段
１２はピン間遅延時間の総和を５８ｎｓと算出し、その
結果５８ｎｓを総和格納手段１３に格納する。一方、設
定総和格納手段１４には、上記と同様に、ピン間遅延時
間の総和１３ｎｓが格納されている。総和比較手段１５
は総和格納手段１３に格納された総和５８ｎｓと設定総
和格納手段１４に格納された総和１３ｎｓを比較し、こ
れらが異なっていることより、ライブラリ格納手段１１
に格納された遅延ライブラリが誤っていることを検出す
る。
た遅延ライブラリに誤りがあり、ブロックＡの遅延時間
が５０ｎｓとなっていたとする。すると、総和算出手段
１２はピン間遅延時間の総和を５８ｎｓと算出し、その
結果５８ｎｓを総和格納手段１３に格納する。一方、設
定総和格納手段１４には、上記と同様に、ピン間遅延時
間の総和１３ｎｓが格納されている。総和比較手段１５
は総和格納手段１３に格納された総和５８ｎｓと設定総
和格納手段１４に格納された総和１３ｎｓを比較し、こ
れらが異なっていることより、ライブラリ格納手段１１
に格納された遅延ライブラリが誤っていることを検出す
る。
【００１９】図５は本発明の第三の実施例を示すブロッ
ク図である。同図において、遅延ライブラリ格納手段２
１は、論理回路の遅延時間を含むライブラリを格納す
る。論理ライブラリ格納手段２２は、論理回路の論理情
報を含むライブラリを格納する。見積り遅延解析手段２
３は、論理回路の論理情報を含むライブラリより、この
論理情報に基づき、論理回路の外部端子間の遅延時間を
求める。解析結果格納手段２４は、論理情報に基づき求
められた論理回路の外部端子間の遅延時間を格納する。
比較手段２５は、論理回路の遅延時間を含むライブラリ
と論理情報に基づき求められた論理回路の外部端子間の
遅延時間とを比較して比較結果を表示する。
ク図である。同図において、遅延ライブラリ格納手段２
１は、論理回路の遅延時間を含むライブラリを格納す
る。論理ライブラリ格納手段２２は、論理回路の論理情
報を含むライブラリを格納する。見積り遅延解析手段２
３は、論理回路の論理情報を含むライブラリより、この
論理情報に基づき、論理回路の外部端子間の遅延時間を
求める。解析結果格納手段２４は、論理情報に基づき求
められた論理回路の外部端子間の遅延時間を格納する。
比較手段２５は、論理回路の遅延時間を含むライブラリ
と論理情報に基づき求められた論理回路の外部端子間の
遅延時間とを比較して比較結果を表示する。
【００２０】図６は論理回路の一例を示す説明図であ
る。同図において、ブロックａはＡＮＤブロックであ
り、端子２６及び端子２７に接続する信号の値の論理積
の信号を端子２８より出力する。このブロックａでは、
端子２６→端子２８の伝播遅延時間が２ｎｓ，端子２７
→端子２８の伝播遅延時間が３ｎｓであるとする。
る。同図において、ブロックａはＡＮＤブロックであ
り、端子２６及び端子２７に接続する信号の値の論理積
の信号を端子２８より出力する。このブロックａでは、
端子２６→端子２８の伝播遅延時間が２ｎｓ，端子２７
→端子２８の伝播遅延時間が３ｎｓであるとする。
【００２１】遅延ライブラリ格納手段２１は、ブロック
ａについて、端子２６→端子２８の伝播遅延時間が２ｎ
ｓ，端子２７→端子２８の伝播遅延時間が３ｎｓであ
る、という情報を格納する。一方、論理ライブラリ格納
手段２２は、ブロックａは端子２６及び端子２７に接続
する信号の値の論理積の信号を端子２８より出力するブ
ロックである、という情報を含むライブラリを格納す
る。
ａについて、端子２６→端子２８の伝播遅延時間が２ｎ
ｓ，端子２７→端子２８の伝播遅延時間が３ｎｓであ
る、という情報を格納する。一方、論理ライブラリ格納
手段２２は、ブロックａは端子２６及び端子２７に接続
する信号の値の論理積の信号を端子２８より出力するブ
ロックである、という情報を含むライブラリを格納す
る。
【００２２】見積り遅延解析手段２３は、ＡＮＤ素子の
単独の伝播遅延時間はどの端子間でも約１．５ｎｓであ
る、一対一の端子間の配線の遅延時間が約０．５ｎｓで
ある、という情報をもっているとする。ここで、以上に
基づく遅延見積りの誤差は±５０％以内であるとする。
すると、見積り遅延解析手段２３は、端子２６→端子２
８及び端子２７→端子２８のそれぞれの伝播遅延時間
を、以下の通り、約２．５ｎｓと見積る。
単独の伝播遅延時間はどの端子間でも約１．５ｎｓであ
る、一対一の端子間の配線の遅延時間が約０．５ｎｓで
ある、という情報をもっているとする。ここで、以上に
基づく遅延見積りの誤差は±５０％以内であるとする。
すると、見積り遅延解析手段２３は、端子２６→端子２
８及び端子２７→端子２８のそれぞれの伝播遅延時間
を、以下の通り、約２．５ｎｓと見積る。
【００２３】ＡＮＤ素子が１つ存在するため、これに要
する伝播遅延時間は、約１．５ｎｓ配線が２カ所存在す
るため、これに要する伝播遅延時間は、約１ｎｓこの解
析結果は、解析結果格納手段２４に格納される。
する伝播遅延時間は、約１．５ｎｓ配線が２カ所存在す
るため、これに要する伝播遅延時間は、約１ｎｓこの解
析結果は、解析結果格納手段２４に格納される。
【００２４】比較手段２５は、遅延ライブラリ格納手段
２１に格納された、端子２６→端子２８の伝播遅延時間
が２ｎｓ，端子２７→端子２８の伝播遅延時間が３ｎｓ
という情報と、解析結果格納手段４に格納された、端子
２６→端子２８及び端子２７→端子２８のそれぞれの伝
播遅延時間が約２．５ｎｓであるという情報とを比較し
て、比較結果を表示する。このとき、見積り遅延解析手
段２３による遅延見積りの誤差は±５０％以内であるか
ら、比較結果は一致となる。
２１に格納された、端子２６→端子２８の伝播遅延時間
が２ｎｓ，端子２７→端子２８の伝播遅延時間が３ｎｓ
という情報と、解析結果格納手段４に格納された、端子
２６→端子２８及び端子２７→端子２８のそれぞれの伝
播遅延時間が約２．５ｎｓであるという情報とを比較し
て、比較結果を表示する。このとき、見積り遅延解析手
段２３による遅延見積りの誤差は±５０％以内であるか
ら、比較結果は一致となる。
【００２５】仮に、遅延ライブラリ格納手段２１に格納
されたライブラリに誤りがあり、端子２７→端子２８に
ついての伝播遅延時間が３０ｎｓとなっていたとする。
このときでも、解析結果格納手段２４には端子２６→端
子２８及び端子２７→端子２８のそれぞれの伝播遅延時
間が約２．５ｎｓであるという情報が格納されている。
比較手段２５はこれらの情報を比較し、遅延見積りの誤
差±５０％以内を越えた違いがあることより、不一致の
比較結果を表示する。即ち、遅延ライブラリ格納手段２
１に含まれるライブラリの内容に誤りがあることが判明
する。
されたライブラリに誤りがあり、端子２７→端子２８に
ついての伝播遅延時間が３０ｎｓとなっていたとする。
このときでも、解析結果格納手段２４には端子２６→端
子２８及び端子２７→端子２８のそれぞれの伝播遅延時
間が約２．５ｎｓであるという情報が格納されている。
比較手段２５はこれらの情報を比較し、遅延見積りの誤
差±５０％以内を越えた違いがあることより、不一致の
比較結果を表示する。即ち、遅延ライブラリ格納手段２
１に含まれるライブラリの内容に誤りがあることが判明
する。
【００２６】図７は本発明の第四の実施例を示すブロッ
ク図である。同図において、遅延ライブラリ格納手段３
１は、論理回路の遅延時間を含むライブラリを格納す
る。経路情報抽出手段３２は、遅延時間を含むライブラ
リより遅延解析上の信号電播の経路を求める。経路情報
格納手段３３は、遅延解析上の信号電播の経路を格納す
る。論理ライブラリ格納手段３４は、論理回路の論理情
報を含むライブラリを格納する。接続情報抽出手段３５
は、論理回路の論理情報を含むライブラリより論理的な
信号電播の経路を求める。接続情報格納手段３６は、論
理的な信号電播の経路を格納する。比較手段３７は、遅
延解析上の信号電播の経路と論理的な信号電播の経路と
を比較して、比較結果を表示する。
ク図である。同図において、遅延ライブラリ格納手段３
１は、論理回路の遅延時間を含むライブラリを格納す
る。経路情報抽出手段３２は、遅延時間を含むライブラ
リより遅延解析上の信号電播の経路を求める。経路情報
格納手段３３は、遅延解析上の信号電播の経路を格納す
る。論理ライブラリ格納手段３４は、論理回路の論理情
報を含むライブラリを格納する。接続情報抽出手段３５
は、論理回路の論理情報を含むライブラリより論理的な
信号電播の経路を求める。接続情報格納手段３６は、論
理的な信号電播の経路を格納する。比較手段３７は、遅
延解析上の信号電播の経路と論理的な信号電播の経路と
を比較して、比較結果を表示する。
【００２７】次に、図６に示した論理回路の例を参照す
ると、ブロックａに対応する正しい遅延ライブラリは、
端子２６→端子２８及び端子２７→端子２８についての
電播遅延時間を含んでいる。そこで、遅延ライブラリ格
納手段３１は、端子２６→端子２８及び端子２７→端子
２８についての電播遅延時間を含むライブラリを格納す
る。経路情報抽出手段３２は、この遅延ライブラリよ
り、遅延解析上の信号電播の経路である端子２６→端子
２８及び端子２７→端子２８を求める。経路情報格納手
段３３は、ここで求められた２つの信号電播の経路を格
納する。
ると、ブロックａに対応する正しい遅延ライブラリは、
端子２６→端子２８及び端子２７→端子２８についての
電播遅延時間を含んでいる。そこで、遅延ライブラリ格
納手段３１は、端子２６→端子２８及び端子２７→端子
２８についての電播遅延時間を含むライブラリを格納す
る。経路情報抽出手段３２は、この遅延ライブラリよ
り、遅延解析上の信号電播の経路である端子２６→端子
２８及び端子２７→端子２８を求める。経路情報格納手
段３３は、ここで求められた２つの信号電播の経路を格
納する。
【００２８】一方、論理ライブラリ格納手段３４は、ブ
ロックａは端子２６及び端子２７に接続する信号の値の
論理積の信号を端子２８より出力するブロックである、
という情報を含むライブラリを格納する。接続情報抽出
手段３５は、このライブラリより、論理的な信号電播の
経路である端子２６→端子２８及び端子２７→端子２８
を求める。接続情報格納手段２６は、ここで求められた
経路を格納する。
ロックａは端子２６及び端子２７に接続する信号の値の
論理積の信号を端子２８より出力するブロックである、
という情報を含むライブラリを格納する。接続情報抽出
手段３５は、このライブラリより、論理的な信号電播の
経路である端子２６→端子２８及び端子２７→端子２８
を求める。接続情報格納手段２６は、ここで求められた
経路を格納する。
【００２９】比較手段３７は、経路情報格納手段３３に
格納された遅延解析上の信号電播の経路と接続情報格納
手段３６に格納された論理的な信号電播の経路とを比較
して、比較結果を表示する。
格納された遅延解析上の信号電播の経路と接続情報格納
手段３６に格納された論理的な信号電播の経路とを比較
して、比較結果を表示する。
【００３０】仮に、遅延ライブラリ格納手段３１に格納
されたライブラリに誤りがあり、端子２７→端子２８に
ついての電播遅延時間が含まれていなかったとする。す
ると、経路情報抽出手段３２は、遅延解析上の信号電播
の経路として端子２６→端子２８のみを求める。このた
め、経路情報格納手段３３には、信号電播の経路として
端子２６→端子２８のみが格納される。
されたライブラリに誤りがあり、端子２７→端子２８に
ついての電播遅延時間が含まれていなかったとする。す
ると、経路情報抽出手段３２は、遅延解析上の信号電播
の経路として端子２６→端子２８のみを求める。このた
め、経路情報格納手段３３には、信号電播の経路として
端子２６→端子２８のみが格納される。
【００３１】一方、上記と同様にして、接続情報格納手
段３６は、論理的な信号電播の経路である端子２６→端
子２８及び端子２７→端子２８を格納する。
段３６は、論理的な信号電播の経路である端子２６→端
子２８及び端子２７→端子２８を格納する。
【００３２】比較手段３７は、経路情報格納手段３３に
格納された遅延解析上の信号電播の経路と接続情報格納
手段３６に格納された論理的な信号電播の経路とを比較
する。すると、経路情報格納手段３３に格納された遅延
解析上の信号電播の経路に端子２７→端子２８の経路が
含まれていないことがわかり、その内容が表示される。
即ち、遅延ライブラリ格納手段３１に含まれるライブラ
リの内容に誤りがあることが判明する。
格納された遅延解析上の信号電播の経路と接続情報格納
手段３６に格納された論理的な信号電播の経路とを比較
する。すると、経路情報格納手段３３に格納された遅延
解析上の信号電播の経路に端子２７→端子２８の経路が
含まれていないことがわかり、その内容が表示される。
即ち、遅延ライブラリ格納手段３１に含まれるライブラ
リの内容に誤りがあることが判明する。
【００３３】
【発明の効果】以上説明したように本発明は、ライブラ
リのデータを利用して異なる方法で算出した数値を互い
に比較して検証しているので、見逃しなどによるチェッ
ク漏れを防ぐことができるという効果がある。
リのデータを利用して異なる方法で算出した数値を互い
に比較して検証しているので、見逃しなどによるチェッ
ク漏れを防ぐことができるという効果がある。
【図１】本発明の第一の実施例を示すブロック図。
【図２】ライブラリ格納手段の内容の例を示す説明図。
【図３】本発明の第二の実施例を示すブロック図。
【図４】ライブラリ格納手段の内容の別の例を示す説明
図。
図。
【図５】本発明の第三の実施例を示すブロック図。
【図６】論理回路の例を示す説明図。
【図７】本発明の第四の実施例を示すブロック図。
１，１１ ライブラリ格納手段 ２ 分類毎和算出手段 ３ 分類毎和格納手段 ４ 設定分類毎和格納手段 ５ 分類毎和比較手段 １２ 総和算出手段 １３ 総和格納手段 １４ 設定総和格納手段 １５ 総和比較手段 ２１，３１ 遅延ライブラリ格納手段 ２２，３４ 論理ライブラリ格納手段 ２３ 見積り遅延解析手段 ２４ 解析結果格納手段 ２５，３７ 比較手段 ３２ 経路情報抽出手段 ３３ 経路情報格納手段 ３５ 接続情報抽出手段 ３６ 接続情報格納手段
Claims (4)
- 【請求項１】 数値情報およびその分類名を含むライブ
ラリを格納するライブラリ格納手段と、前記ライブラリ
を参照し前記数値情報の分類毎の和を求める分類毎和算
出手段と、前記分類毎の和を格納する分類毎和格納手段
と、あらかじめ求められた分類毎の和を格納する設定分
類毎和格納手段と、前記分類毎和格納手段に格納された
値と前記設定分類毎和格納手段に格納された値とを比較
して比較結果を表示する分類毎和比較手段とを含むこと
を特徴とするライブラリ検証装置。 - 【請求項２】 数値情報を含むライブラリを格納するラ
イブラリ格納手段と、前記ライブラリを参照し前記数値
情報の総和を求める総和算出手段と、前記総和を格納す
る総和格納手段と、あらかじめ求められた総和を格納す
る設定総和格納手段と、前記総和格納手段に格納された
値と前記設定総和格納手段に格納された値とを比較して
比較結果を表示する総和比較手段とを含むことを特徴と
するライブラリ検証装置。 - 【請求項３】 論理回路の遅延時間を含むデータを格納
する遅延ライブラリ格納手段と、論理回路の論理情報を
含むデータを格納する論理ライブラリ格納手段と、前記
論理ライブラリを参照し前記論理情報に基づき論理回路
の外部端子間の遅延時間を求める見積り遅延解析手段
と、前記論理回路の外部端子間の遅延時間を格納する解
析結果格納手段と、前記遅延ライブラリ格納手段に格納
された遅延時間と前記解析結果格納手段に格納された遅
延時間とを比較して比較結果を表示する遅延比較手段と
を含むことを特徴とするライブラリ検証装置。 - 【請求項４】 論理回路の遅延時間を含むデータを格納
する遅延ライブラリ格納手段と、前記遅延ライブラリ格
納手段を参照し遅延解析上の信号電播の経路を求める経
路情報抽出手段と、前記経路情報抽出手段の解析結果を
格納する経路情報格納手段と、論理回路の論理情報を含
むデータを格納する論理ライブラリ格納手段と、前記論
理ライブラリ格納手段を参照し論理的な信号電播の経路
を求める接続情報抽出手段と、前記接続情報抽出手段の
解析結果を格納する接続情報格納手段と、前記経路情報
格納手段に格納された遅延解析上の信号電播の経路と前
記接続情報格納手段に格納された論理的な信号電播の経
路とを比較して比較結果を表示する接続比較手段とを含
むことを特徴とするライブラリ検証装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5026385A JPH07122885B2 (ja) | 1993-02-16 | 1993-02-16 | ライブラリ検証装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5026385A JPH07122885B2 (ja) | 1993-02-16 | 1993-02-16 | ライブラリ検証装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH06243189A true JPH06243189A (ja) | 1994-09-02 |
| JPH07122885B2 JPH07122885B2 (ja) | 1995-12-25 |
Family
ID=12192070
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5026385A Expired - Fee Related JPH07122885B2 (ja) | 1993-02-16 | 1993-02-16 | ライブラリ検証装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH07122885B2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104850050A (zh) * | 2015-04-23 | 2015-08-19 | 常州大学 | 一种图书馆图书自动分类控制系统 |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS53139431A (en) * | 1977-05-09 | 1978-12-05 | Siemens Ag | Method of and device for checking punched tape data |
| JPS63116550A (ja) * | 1986-11-04 | 1988-05-20 | Nec Corp | フアクシミリ装置 |
| JPH0362280A (ja) * | 1989-07-31 | 1991-03-18 | Toshiba Corp | 文字読取装置 |
-
1993
- 1993-02-16 JP JP5026385A patent/JPH07122885B2/ja not_active Expired - Fee Related
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS53139431A (en) * | 1977-05-09 | 1978-12-05 | Siemens Ag | Method of and device for checking punched tape data |
| JPS63116550A (ja) * | 1986-11-04 | 1988-05-20 | Nec Corp | フアクシミリ装置 |
| JPH0362280A (ja) * | 1989-07-31 | 1991-03-18 | Toshiba Corp | 文字読取装置 |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104850050A (zh) * | 2015-04-23 | 2015-08-19 | 常州大学 | 一种图书馆图书自动分类控制系统 |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH07122885B2 (ja) | 1995-12-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US20060206297A1 (en) | Semiconductor designing apparatus | |
| JP3153403B2 (ja) | 半導体集積回路の遅延時間計算装置 | |
| US5400270A (en) | Simulator for conducting timing analysis of a circuit | |
| US20080140323A1 (en) | Check support apparatus and computer product | |
| JPH06243189A (ja) | ライブラリ検証装置 | |
| US5974575A (en) | Simulation device and method | |
| US6938230B2 (en) | System and method for evaluating signal trace discontinuities in a package design | |
| JP3184023B2 (ja) | テストパターンの故障検出率算出方法および装置 | |
| JP2830563B2 (ja) | 回路図作成装置 | |
| EP3657363A1 (de) | Registertransfer-modell und verfahren zur simulation eines integrierten schaltkreises | |
| JPH0756980A (ja) | ライブラリ検証装置 | |
| JPH07105266A (ja) | 部品表作成システム | |
| JP3012015B2 (ja) | 半導体集積回路の消費電流測定装置 | |
| JPH05312906A (ja) | シミュレーション装置 | |
| JP3605822B2 (ja) | プリント配線基板のジャンパ布線方法および装置 | |
| JP2630218B2 (ja) | 回路設計装置 | |
| US6618838B1 (en) | Method and apparatus for processing an output of a design tool | |
| JPH03208177A (ja) | レイアウト検証装置 | |
| JPS6028688A (ja) | 表示制御装置の検査装置 | |
| JPH1166134A (ja) | プリント配線基板設計開発支援システム | |
| JPS63318675A (ja) | 論理シミュレ−ション方式 | |
| JPS6073471A (ja) | プリント板試験装置 | |
| JPH0318776A (ja) | 論理回路の機能検証方法 | |
| KR970048526A (ko) | 컴퓨터를 이용한 서브 보드 테스트 장치 및 방법 | |
| JPH036476A (ja) | 論理装置の検査入力系列生成方法 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19960618 |
|
| LAPS | Cancellation because of no payment of annual fees |