JPH1125140A - ライブラリ検証装置 - Google Patents
ライブラリ検証装置Info
- Publication number
- JPH1125140A JPH1125140A JP9178116A JP17811697A JPH1125140A JP H1125140 A JPH1125140 A JP H1125140A JP 9178116 A JP9178116 A JP 9178116A JP 17811697 A JP17811697 A JP 17811697A JP H1125140 A JPH1125140 A JP H1125140A
- Authority
- JP
- Japan
- Prior art keywords
- library
- simulation
- test pattern
- logic
- circuit
- 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.)
- Withdrawn
Links
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
(57)【要約】
【課題】 半導体集積回路の設計に用いるライブラリを
検証するライブラリ検証装置において、利用可能な全て
のライブラリを、自動的に、かつ、漏れがないように、
検証することをできるようにする。 【解決手段】 ライブラリに関するライブラリ設計デー
タから抽出したデータに基づいて、論理シミュレータが
処理可能なフォーマットのテストパタンを記述するテス
トパタン記述手段１４と、前記抽出したデータに基づい
て、前記論理シミュレータが処理可能なフォーマットの
ネットリストを記述するネット記述手段１５と、前記テ
ストパタンおよび前記ネットリストに従い前記論理シミ
ュレータによる論理シミュレーションを行って、前記ラ
イブラリの動作を検証する論理シミュレーション実行手
段１７とを備えて、ライブラリ検証装置１０を構成す
る。
検証するライブラリ検証装置において、利用可能な全て
のライブラリを、自動的に、かつ、漏れがないように、
検証することをできるようにする。 【解決手段】 ライブラリに関するライブラリ設計デー
タから抽出したデータに基づいて、論理シミュレータが
処理可能なフォーマットのテストパタンを記述するテス
トパタン記述手段１４と、前記抽出したデータに基づい
て、前記論理シミュレータが処理可能なフォーマットの
ネットリストを記述するネット記述手段１５と、前記テ
ストパタンおよび前記ネットリストに従い前記論理シミ
ュレータによる論理シミュレーションを行って、前記ラ
イブラリの動作を検証する論理シミュレーション実行手
段１７とを備えて、ライブラリ検証装置１０を構成す
る。
Description
【０００１】
【発明の属する技術分野】本発明は、ＬＳＩ（Large Sc
ale Integration)等の半導体集積回路の設計に用いるラ
イブラリを検証するライブラリ検証装置に関するもので
ある。
ale Integration)等の半導体集積回路の設計に用いるラ
イブラリを検証するライブラリ検証装置に関するもので
ある。
【０００２】
【従来の技術】一般に、ＬＳＩの設計は、コンピュータ
による支援（ＣＡＤ；Computer AidedDesign)が必須と
なっている。特に、ＣＡＤによるＬＳＩ設計のうち、ス
タンダードセル手法による設計では、配置配線機能やタ
イミング／動作検証機能の他に、ＡＮＤ／ＮＯＲなどの
基本素子、加算器、乗算器、メモリ等のモジュールに関
する情報（以下、ライブラリと称す）を用いることがが
必要である。このようなライブラリを用いてＬＳＩの設
計を行う場合には、ライブラリが正しく動作するか否か
を検証しなければならないが、従来はそのための特別な
システムがなく、設計者が人手により必要に応じて検証
を行うようになっている。
による支援（ＣＡＤ；Computer AidedDesign)が必須と
なっている。特に、ＣＡＤによるＬＳＩ設計のうち、ス
タンダードセル手法による設計では、配置配線機能やタ
イミング／動作検証機能の他に、ＡＮＤ／ＮＯＲなどの
基本素子、加算器、乗算器、メモリ等のモジュールに関
する情報（以下、ライブラリと称す）を用いることがが
必要である。このようなライブラリを用いてＬＳＩの設
計を行う場合には、ライブラリが正しく動作するか否か
を検証しなければならないが、従来はそのための特別な
システムがなく、設計者が人手により必要に応じて検証
を行うようになっている。
【０００３】
【発明が解決しようとする課題】ところで、近年では、
スタンダードセル手法だけではなくフルカスタム手法に
おいても、ライブラリを利用することが多くなってい
る。その結果、ライブラリの必要性や重要性が高まり、
またその種類も豊富になっているため、従来のように人
手によりライブラリの検証を行うのでは、多大な労力を
必要としてしまい、さらには検証漏れの発生等を招いて
しまう可能性がある。
スタンダードセル手法だけではなくフルカスタム手法に
おいても、ライブラリを利用することが多くなってい
る。その結果、ライブラリの必要性や重要性が高まり、
またその種類も豊富になっているため、従来のように人
手によりライブラリの検証を行うのでは、多大な労力を
必要としてしまい、さらには検証漏れの発生等を招いて
しまう可能性がある。
【０００４】そこで、本発明は、利用可能な全てのライ
ブラリを、自動的に、かつ、漏れがないように、検証す
ることのできるライブラリ検証装置を提供することを目
的とする。
ブラリを、自動的に、かつ、漏れがないように、検証す
ることのできるライブラリ検証装置を提供することを目
的とする。
【０００５】
【課題を解決するための手段】本発明は、上記目的を達
成するために案出されたもので、請求項１記載のライブ
ラリ検証装置は、半導体集積回路の論理シミュレーショ
ンを行う論理シミュレータと接続し、その論理シミュレ
ータにより前記半導体集積回路の設計に用いるライブラ
リが正しく動作するか否かを検証するものであって、前
記ライブラリに関するライブラリ設計データから、その
ライブラリの動作の記述に関するデータと、そのライブ
ラリのシミュレーションモデルに関する情報とを抽出す
る抽出手段と、前記ライブラリの動作を検証する際のシ
ミュレーション条件に関するデータを記述する条件パラ
メータ記述手段と、前記抽出手段が抽出した前記ライブ
ラリの動作の記述に関するデータと、前記条件パラメー
タ記述手段が記述したシミュレーション条件とに基づい
て、前記論理シミュレータが処理可能なフォーマットの
テストパタンを記述するテストパタン記述手段と、前記
抽出手段が抽出した前記ライブラリのシミュレーション
モデルに関する情報に基づいて、前記論理シミュレータ
が処理可能なフォーマットのネットリストを記述するネ
ット記述手段と、前記テストパタンおよび前記ネットリ
ストに従い前記論理シミュレータによる論理シミュレー
ションを行って、前記ライブラリの動作を検証する論理
シミュレーション実行手段と、前記論理シミュレーショ
ン実行手段による論理シミュレーションの結果を予め定
められている内容と照合し、その照合結果を出力する期
待値照合手段とを備えてなるものである。
成するために案出されたもので、請求項１記載のライブ
ラリ検証装置は、半導体集積回路の論理シミュレーショ
ンを行う論理シミュレータと接続し、その論理シミュレ
ータにより前記半導体集積回路の設計に用いるライブラ
リが正しく動作するか否かを検証するものであって、前
記ライブラリに関するライブラリ設計データから、その
ライブラリの動作の記述に関するデータと、そのライブ
ラリのシミュレーションモデルに関する情報とを抽出す
る抽出手段と、前記ライブラリの動作を検証する際のシ
ミュレーション条件に関するデータを記述する条件パラ
メータ記述手段と、前記抽出手段が抽出した前記ライブ
ラリの動作の記述に関するデータと、前記条件パラメー
タ記述手段が記述したシミュレーション条件とに基づい
て、前記論理シミュレータが処理可能なフォーマットの
テストパタンを記述するテストパタン記述手段と、前記
抽出手段が抽出した前記ライブラリのシミュレーション
モデルに関する情報に基づいて、前記論理シミュレータ
が処理可能なフォーマットのネットリストを記述するネ
ット記述手段と、前記テストパタンおよび前記ネットリ
ストに従い前記論理シミュレータによる論理シミュレー
ションを行って、前記ライブラリの動作を検証する論理
シミュレーション実行手段と、前記論理シミュレーショ
ン実行手段による論理シミュレーションの結果を予め定
められている内容と照合し、その照合結果を出力する期
待値照合手段とを備えてなるものである。
【０００６】請求項１記載の発明に係わるライブラリ検
証装置の構成によれば、テストパタン記述手段は、抽出
手段が抽出したライブラリの動作の記述に関するデータ
と、条件パラメータ記述手段が記述したシミュレーショ
ン条件とに基づいて、論理シミュレータが処理可能なフ
ォーマットのテストパタンを記述する。一方、ネット記
述手段は、抽出手段が抽出したライブラリのシミュレー
ションモデルに関する情報に基づいて、論理シミュレー
タが処理可能なフォーマットのネットリストを記述す
る。そして、テストパタン記述手段がテストパタンを記
述し、かつ、ネット記述手段がネットリストを記述する
と、論理シミュレーション実行手段は、これらに従って
論理シミュレータによる論理シミュレーションを行い、
ライブラリの動作を検証する。したがって、このライブ
ラリ検証装置では、ライブラリ設計データからデータを
抽出することで、全てのライブラリのシミュレーション
モデルを漏れなく、自動的に検証するためのテストパタ
ンとネットリストを出力することが可能になり、しか
も、これらのテストパタンとネットリストを用いて、全
ライブラリを自動的に検証することが可能となる。
証装置の構成によれば、テストパタン記述手段は、抽出
手段が抽出したライブラリの動作の記述に関するデータ
と、条件パラメータ記述手段が記述したシミュレーショ
ン条件とに基づいて、論理シミュレータが処理可能なフ
ォーマットのテストパタンを記述する。一方、ネット記
述手段は、抽出手段が抽出したライブラリのシミュレー
ションモデルに関する情報に基づいて、論理シミュレー
タが処理可能なフォーマットのネットリストを記述す
る。そして、テストパタン記述手段がテストパタンを記
述し、かつ、ネット記述手段がネットリストを記述する
と、論理シミュレーション実行手段は、これらに従って
論理シミュレータによる論理シミュレーションを行い、
ライブラリの動作を検証する。したがって、このライブ
ラリ検証装置では、ライブラリ設計データからデータを
抽出することで、全てのライブラリのシミュレーション
モデルを漏れなく、自動的に検証するためのテストパタ
ンとネットリストを出力することが可能になり、しか
も、これらのテストパタンとネットリストを用いて、全
ライブラリを自動的に検証することが可能となる。
【０００７】また、請求項２記載のライブラリ検証装置
は、半導体集積回路の回路シミュレーションを行う回路
シミュレータと接続し、その回路シミュレータにより前
記半導体集積回路の設計に用いるライブラリが正しく動
作するか否かを検証するものであって、前記ライブラリ
に関するライブラリ設計データから、そのライブラリの
動作の記述に関するデータと、そのライブラリのレイア
ウトに関するデータとを抽出する第１の抽出手段と、前
記第１の抽出手段が抽出した前記ライブラリのレイアウ
トに関するデータからレイアウトパラメータを抽出する
第２の抽出手段と、前記ライブラリの動作を検証する際
のシミュレーション条件に関するデータを記述する条件
パラメータ記述手段と、前記第１の抽出手段が抽出した
前記ライブラリの動作の記述に関するデータと、前記条
件パラメータ記述手段が記述したシミュレーション条件
とに基づいて、前記回路シミュレータが処理可能なフォ
ーマットのテストパタンを記述するテストパタン記述手
段と、前記第２の抽出手段が抽出したレイアウトパラメ
ータに基づいて、前記回路シミュレータが処理可能なフ
ォーマットのネットリストを記述するネット記述手段
と、前記テストパタンおよび前記ネットリストに従い前
記回路シミュレータによる回路シミュレーションを行っ
て、前記ライブラリの動作を検証する回路シミュレーシ
ョン実行手段と、前記回路シミュレーション実行手段に
よる回路シミュレーションの結果を予め定められている
内容と照合し、その照合結果を出力する期待値照合手段
とを備えてなるものである。
は、半導体集積回路の回路シミュレーションを行う回路
シミュレータと接続し、その回路シミュレータにより前
記半導体集積回路の設計に用いるライブラリが正しく動
作するか否かを検証するものであって、前記ライブラリ
に関するライブラリ設計データから、そのライブラリの
動作の記述に関するデータと、そのライブラリのレイア
ウトに関するデータとを抽出する第１の抽出手段と、前
記第１の抽出手段が抽出した前記ライブラリのレイアウ
トに関するデータからレイアウトパラメータを抽出する
第２の抽出手段と、前記ライブラリの動作を検証する際
のシミュレーション条件に関するデータを記述する条件
パラメータ記述手段と、前記第１の抽出手段が抽出した
前記ライブラリの動作の記述に関するデータと、前記条
件パラメータ記述手段が記述したシミュレーション条件
とに基づいて、前記回路シミュレータが処理可能なフォ
ーマットのテストパタンを記述するテストパタン記述手
段と、前記第２の抽出手段が抽出したレイアウトパラメ
ータに基づいて、前記回路シミュレータが処理可能なフ
ォーマットのネットリストを記述するネット記述手段
と、前記テストパタンおよび前記ネットリストに従い前
記回路シミュレータによる回路シミュレーションを行っ
て、前記ライブラリの動作を検証する回路シミュレーシ
ョン実行手段と、前記回路シミュレーション実行手段に
よる回路シミュレーションの結果を予め定められている
内容と照合し、その照合結果を出力する期待値照合手段
とを備えてなるものである。
【０００８】請求項２記載の発明に係わるライブラリ検
証装置の構成によれば、テストパタン記述手段は、第１
の抽出手段が抽出したライブラリの動作の記述に関する
データと、条件パラメータ記述手段が記述したシミュレ
ーション条件とに基づいて、回路シミュレータが処理可
能なフォーマットのテストパタンを記述する。一方、ネ
ット記述手段は、第２の抽出手段が抽出したレイアウト
パラメータに基づいて、回路シミュレータが処理可能な
フォーマットのネットリストを記述する。そして、テス
トパタン記述手段がテストパタンを記述し、かつ、ネッ
ト記述手段がネットリストを記述すると、回路シミュレ
ーション実行手段は、これらに従って回路シミュレータ
による回路シミュレーションを行い、ライブラリの動作
を検証する。 したがって、このライブラリ検証装置で
は、ライブラリ設計データからデータを抽出すること
で、全てのライブラリのレイアウトデータを漏れなく、
自動的に検証するためのテストパタンとネットリストを
出力することが可能になり、しかも、これらのテストパ
タンとネットリストを用いて、全ライブラリを自動的に
検証することが可能となる。
証装置の構成によれば、テストパタン記述手段は、第１
の抽出手段が抽出したライブラリの動作の記述に関する
データと、条件パラメータ記述手段が記述したシミュレ
ーション条件とに基づいて、回路シミュレータが処理可
能なフォーマットのテストパタンを記述する。一方、ネ
ット記述手段は、第２の抽出手段が抽出したレイアウト
パラメータに基づいて、回路シミュレータが処理可能な
フォーマットのネットリストを記述する。そして、テス
トパタン記述手段がテストパタンを記述し、かつ、ネッ
ト記述手段がネットリストを記述すると、回路シミュレ
ーション実行手段は、これらに従って回路シミュレータ
による回路シミュレーションを行い、ライブラリの動作
を検証する。 したがって、このライブラリ検証装置で
は、ライブラリ設計データからデータを抽出すること
で、全てのライブラリのレイアウトデータを漏れなく、
自動的に検証するためのテストパタンとネットリストを
出力することが可能になり、しかも、これらのテストパ
タンとネットリストを用いて、全ライブラリを自動的に
検証することが可能となる。
【０００９】また、請求項３記載のライブラリ検証装置
は、半導体集積回路の論理シミュレーションを行う論理
シミュレータおよび回路シミュレーションを行う回路シ
ミュレータと接続し、これらにより前記半導体集積回路
の設計に用いるライブラリが正しく動作するか否かを検
証するものであって、前記ライブラリに関するライブラ
リ設計データから、そのライブラリのレイアウトに関す
るデータと、そのライブラリのシミュレーションモデル
に関する情報とを抽出する第１の抽出手段と、前記第１
の抽出手段が抽出した前記ライブラリのレイアウトに関
するデータからレイアウトパラメータを抽出する第２の
抽出手段と、前記第２の抽出手段が抽出したレイアウト
パラメータに基づいて、前記回路シミュレータが処理可
能なフォーマットの第１ネットリストを記述する第１の
ネット記述手段と、前記回路シミュレータが処理可能な
フォーマットの第１テストパタンを記述して入力するた
めの第１のテストパタン記述手段と、前記第１ネットリ
ストおよび前記第１テストパタンに従い前記回路シミュ
レータによる回路シミュレーションを行って、前記ライ
ブラリの動作を検証する回路シミュレーション実行手段
と、前記回路シミュレーション実行手段による回路シミ
ュレーションの結果を予め定められている内容と照合
し、その内容に合致するシミュレーション結果を出力す
る選別手段と、前記第１の抽出手段が抽出した前記ライ
ブラリのシミュレーションモデルに関する情報に基づい
て、前記論理シミュレータが処理可能なフォーマットの
第２ネットリストを記述する第２のネット記述手段と、
前記ライブラリの動作を検証する際のシミュレーション
条件に関するデータを記述する条件パラメータ記述手段
と、前記条件パラメータ記述手段によるシミュレーショ
ン条件を参照して、前記選別手段が出力したシミュレー
ション結果から前記論理シミュレータが処理可能なフォ
ーマットの第２テストパタンを生成する第２のテストパ
タン記述手段と、前記第２ネットリストおよび前記第２
テストパタンに従い前記論理シミュレータによる論理シ
ミュレーションを行って、前記ライブラリの動作を検証
する論理シミュレーション実行手段と、前記論理シミュ
レーション実行手段による論理シミュレーションの結果
を予め定められている内容と照合し、その照合結果を出
力する期待値照合手段とを備えてなるものである。
は、半導体集積回路の論理シミュレーションを行う論理
シミュレータおよび回路シミュレーションを行う回路シ
ミュレータと接続し、これらにより前記半導体集積回路
の設計に用いるライブラリが正しく動作するか否かを検
証するものであって、前記ライブラリに関するライブラ
リ設計データから、そのライブラリのレイアウトに関す
るデータと、そのライブラリのシミュレーションモデル
に関する情報とを抽出する第１の抽出手段と、前記第１
の抽出手段が抽出した前記ライブラリのレイアウトに関
するデータからレイアウトパラメータを抽出する第２の
抽出手段と、前記第２の抽出手段が抽出したレイアウト
パラメータに基づいて、前記回路シミュレータが処理可
能なフォーマットの第１ネットリストを記述する第１の
ネット記述手段と、前記回路シミュレータが処理可能な
フォーマットの第１テストパタンを記述して入力するた
めの第１のテストパタン記述手段と、前記第１ネットリ
ストおよび前記第１テストパタンに従い前記回路シミュ
レータによる回路シミュレーションを行って、前記ライ
ブラリの動作を検証する回路シミュレーション実行手段
と、前記回路シミュレーション実行手段による回路シミ
ュレーションの結果を予め定められている内容と照合
し、その内容に合致するシミュレーション結果を出力す
る選別手段と、前記第１の抽出手段が抽出した前記ライ
ブラリのシミュレーションモデルに関する情報に基づい
て、前記論理シミュレータが処理可能なフォーマットの
第２ネットリストを記述する第２のネット記述手段と、
前記ライブラリの動作を検証する際のシミュレーション
条件に関するデータを記述する条件パラメータ記述手段
と、前記条件パラメータ記述手段によるシミュレーショ
ン条件を参照して、前記選別手段が出力したシミュレー
ション結果から前記論理シミュレータが処理可能なフォ
ーマットの第２テストパタンを生成する第２のテストパ
タン記述手段と、前記第２ネットリストおよび前記第２
テストパタンに従い前記論理シミュレータによる論理シ
ミュレーションを行って、前記ライブラリの動作を検証
する論理シミュレーション実行手段と、前記論理シミュ
レーション実行手段による論理シミュレーションの結果
を予め定められている内容と照合し、その照合結果を出
力する期待値照合手段とを備えてなるものである。
【００１０】請求項３記載の発明に係わるライブラリ検
証装置の構成によれば、第１のテストパタン記述手段に
は、回路シミュレータが処理可能なフォーマットの第１
テストパタンが入力される。また、第１のネット記述手
段は、第２の抽出手段が抽出したレイアウトパラメータ
に基づいて、回路シミュレータが処理可能なフォーマッ
トの第１ネットリストを記述する。そして、回路シミュ
レーション実行手段は、第１テストパタンおよび第１ネ
ットリストに従って回路シミュレータによる回路シミュ
レーションを行い、ライブラリの動作を検証する。一
方、第２のテストパタン記述手段は、回路シミュレーシ
ョン実行手段による回路シミュレーションの結果のうち
選別手段が選別したものから、条件パラメータ記述手段
によるシミュレーション条件を参照して、論理シミュレ
ータが処理可能なフォーマットの第２テストパタンを生
成する。また、第２のネット記述手段は、第１の抽出手
段が抽出したライブラリのシミュレーションモデルに関
する情報に基づいて、論理シミュレータが処理可能なフ
ォーマットの第２ネットリストを記述する。そして、論
理シミュレーション実行手段は、第２テストパタンおよ
び第２ネットリストに従って論理シミュレータによる論
理シミュレーションを行い、ライブラリの動作を検証す
る。したがって、このライブラリ検証装置では、ライブ
ラリ設計データからデータを抽出することで、全てのラ
イブラリのシミュレーションモデルを漏れなく、自動的
に検証するためのテストパタンとネットリストを出力す
ることが可能になり、しかも、これらのテストパタンと
ネットリストを用いて、全ライブラリを自動的に検証す
ることが可能となる。さらには、ライブラリのレイアウ
トデータの動作を検証した結果を用いてシミュレーショ
ンモデルを検証するようになっているので、ライブラリ
設計データにライブラリの動作の記述に関するデータが
含まれていなくても、シミュレーションモデルとレイア
ウトデータとが同じ動作をするか否かを検証できる。
証装置の構成によれば、第１のテストパタン記述手段に
は、回路シミュレータが処理可能なフォーマットの第１
テストパタンが入力される。また、第１のネット記述手
段は、第２の抽出手段が抽出したレイアウトパラメータ
に基づいて、回路シミュレータが処理可能なフォーマッ
トの第１ネットリストを記述する。そして、回路シミュ
レーション実行手段は、第１テストパタンおよび第１ネ
ットリストに従って回路シミュレータによる回路シミュ
レーションを行い、ライブラリの動作を検証する。一
方、第２のテストパタン記述手段は、回路シミュレーシ
ョン実行手段による回路シミュレーションの結果のうち
選別手段が選別したものから、条件パラメータ記述手段
によるシミュレーション条件を参照して、論理シミュレ
ータが処理可能なフォーマットの第２テストパタンを生
成する。また、第２のネット記述手段は、第１の抽出手
段が抽出したライブラリのシミュレーションモデルに関
する情報に基づいて、論理シミュレータが処理可能なフ
ォーマットの第２ネットリストを記述する。そして、論
理シミュレーション実行手段は、第２テストパタンおよ
び第２ネットリストに従って論理シミュレータによる論
理シミュレーションを行い、ライブラリの動作を検証す
る。したがって、このライブラリ検証装置では、ライブ
ラリ設計データからデータを抽出することで、全てのラ
イブラリのシミュレーションモデルを漏れなく、自動的
に検証するためのテストパタンとネットリストを出力す
ることが可能になり、しかも、これらのテストパタンと
ネットリストを用いて、全ライブラリを自動的に検証す
ることが可能となる。さらには、ライブラリのレイアウ
トデータの動作を検証した結果を用いてシミュレーショ
ンモデルを検証するようになっているので、ライブラリ
設計データにライブラリの動作の記述に関するデータが
含まれていなくても、シミュレーションモデルとレイア
ウトデータとが同じ動作をするか否かを検証できる。
【００１１】
【発明の実施の形態】以下、図面に基づき本発明に係わ
るライブラリ検証装置について説明する。
るライブラリ検証装置について説明する。
【００１２】〔第１の実施の形態〕ここでは、請求項１
記載の発明に係わるライブラリ検証装置について説明す
る。図１は、本実施の形態のライブラリ検証装置１０の
機能構成を示すブロック図である。なお、ライブラリ検
証装置は、例えばＣＰＵ（Central Processing Unit
）、メモリ、ＣＲＴ（Cathode Ray Tube）やキーボー
ドといった入出力装置など有したコンピュータシステム
上で実現されるものである。
記載の発明に係わるライブラリ検証装置について説明す
る。図１は、本実施の形態のライブラリ検証装置１０の
機能構成を示すブロック図である。なお、ライブラリ検
証装置は、例えばＣＰＵ（Central Processing Unit
）、メモリ、ＣＲＴ（Cathode Ray Tube）やキーボー
ドといった入出力装置など有したコンピュータシステム
上で実現されるものである。
【００１３】本実施の形態のライブラリ検証装置１０
は、図１に示すように、ライブラリ設計データ入力手段
１１と、第１の抽出手段１２と、条件パラメータ記述手
段１３と、テストパタン記述手段１４と、ネット記述手
段１５と、シミュレーションデータ入力手段１６と、論
理シミュレーション手段１７とを備えてなるものであ
る。
は、図１に示すように、ライブラリ設計データ入力手段
１１と、第１の抽出手段１２と、条件パラメータ記述手
段１３と、テストパタン記述手段１４と、ネット記述手
段１５と、シミュレーションデータ入力手段１６と、論
理シミュレーション手段１７とを備えてなるものであ
る。
【００１４】ライブラリ設計データ入力手段１１は、ラ
イブラリに関するデータをライブラリ設計データとして
入力するためのものである。第１の抽出手段１２は、ラ
イブラリ設計データ入力手段１１で入力されたライブラ
リ設計データから、例えば真理表などライブラリの動作
の記述に関するデータと、論理モデル、端子あるいは素
子遅延などライブラリのシミュレーションモデルに関す
る情報と、ライブラリのレイアウトに関するデータと、
を抽出するものである。
イブラリに関するデータをライブラリ設計データとして
入力するためのものである。第１の抽出手段１２は、ラ
イブラリ設計データ入力手段１１で入力されたライブラ
リ設計データから、例えば真理表などライブラリの動作
の記述に関するデータと、論理モデル、端子あるいは素
子遅延などライブラリのシミュレーションモデルに関す
る情報と、ライブラリのレイアウトに関するデータと、
を抽出するものである。
【００１５】条件パラメータ記述手段１３は、例えばシ
ミュレーションサイクルや期待値照合時刻など、ライブ
ラリの動作を検証する際のシミュレーション条件に関す
るデータを、条件パラメータとして記述するものであ
る。
ミュレーションサイクルや期待値照合時刻など、ライブ
ラリの動作を検証する際のシミュレーション条件に関す
るデータを、条件パラメータとして記述するものであ
る。
【００１６】テストパタン記述手段１４は、第１の抽出
手段１２が抽出したライブラリの動作の記述に関するデ
ータと、条件パラメータ記述手段１３が記述した条件パ
ラメータとに基づいて、テストパタンを記述し出力する
ものである。なお、このテストパタンは、後述する論理
シミュレータに入力可能なフォーマットで記述される。
手段１２が抽出したライブラリの動作の記述に関するデ
ータと、条件パラメータ記述手段１３が記述した条件パ
ラメータとに基づいて、テストパタンを記述し出力する
ものである。なお、このテストパタンは、後述する論理
シミュレータに入力可能なフォーマットで記述される。
【００１７】ネット記述手段１５は、第１の抽出手段１
２が抽出したライブラリのシミュレーションモデルに関
する情報に基づいて、ネットリストを記述し出力するも
のである。なお、このネットリストは、テストパタンと
同様に、論理シミュレータに入力可能なフォーマットで
記述される。
２が抽出したライブラリのシミュレーションモデルに関
する情報に基づいて、ネットリストを記述し出力するも
のである。なお、このネットリストは、テストパタンと
同様に、論理シミュレータに入力可能なフォーマットで
記述される。
【００１８】シミュレーションデータ入力手段１６は、
テストパタン記述手段１４から出力されたテストパタ
ン、および、ネット記述手段１５から出力されたネット
リストとを、論理シミュレーション手段１７へ入力する
ためのものである。
テストパタン記述手段１４から出力されたテストパタ
ン、および、ネット記述手段１５から出力されたネット
リストとを、論理シミュレーション手段１７へ入力する
ためのものである。
【００１９】論理シミュレーション手段１７は、周知技
術を利用した論理シミュレータ（ただし不図示）を用
い、シミュレーションデータ入力手段１６によって入力
されたテストパタンおよびネットリストとに従って、論
理シミュレーションを行うものであり、論理シミュレー
ション実行手段として機能するものである。また、論理
シミュレーション手段１７は、論理シミュレーションの
結果を予め定められている内容と照合し、論理シミュレ
ーションの結果が期待通りであるか否かを判断して、そ
の照合結果を出力するものであり、期待値照合手段とし
て機能するものである。つまり、論理シミュレーション
手段１７は、ライブラリに対する論理シミュレーション
を行って、そのライブラリが正しく動作するか否かを検
証するものである。
術を利用した論理シミュレータ（ただし不図示）を用
い、シミュレーションデータ入力手段１６によって入力
されたテストパタンおよびネットリストとに従って、論
理シミュレーションを行うものであり、論理シミュレー
ション実行手段として機能するものである。また、論理
シミュレーション手段１７は、論理シミュレーションの
結果を予め定められている内容と照合し、論理シミュレ
ーションの結果が期待通りであるか否かを判断して、そ
の照合結果を出力するものであり、期待値照合手段とし
て機能するものである。つまり、論理シミュレーション
手段１７は、ライブラリに対する論理シミュレーション
を行って、そのライブラリが正しく動作するか否かを検
証するものである。
【００２０】ここで、以上のように構成されたライブラ
リ検証装置１０における処理動作例について説明する。
図２は、このライブラリ検証装置１０によって処理され
るライブラリ設計データを模式化した図であり、図３
は、このライブラリ検証装置１０における処理データの
具体例を示す図である。
リ検証装置１０における処理動作例について説明する。
図２は、このライブラリ検証装置１０によって処理され
るライブラリ設計データを模式化した図であり、図３
は、このライブラリ検証装置１０における処理データの
具体例を示す図である。
【００２１】このライブラリ検証装置１０では、ライブ
ラリ設計データ入力手段１１で図２に示すような構成の
ライブラリ設計データＡ１が入力されると、第１の抽出
手段１２が、そのライブラリ設計データＡ１中のデータ
シートＢ１から、ライブラリの動作の記述に関する情報
を抽出する。ライブラリの動作の記述に関する情報とし
ては、例えば図３（ａ），（ｂ）に示すように、ライブ
ラリの基本動作のパターンを示す基本動作パターンデー
タＴ１や、ライブラリの端子に関するデータである端子
データＴ２などがある。
ラリ設計データ入力手段１１で図２に示すような構成の
ライブラリ設計データＡ１が入力されると、第１の抽出
手段１２が、そのライブラリ設計データＡ１中のデータ
シートＢ１から、ライブラリの動作の記述に関する情報
を抽出する。ライブラリの動作の記述に関する情報とし
ては、例えば図３（ａ），（ｂ）に示すように、ライブ
ラリの基本動作のパターンを示す基本動作パターンデー
タＴ１や、ライブラリの端子に関するデータである端子
データＴ２などがある。
【００２２】さらに、第１の抽出手段１２は、図２に示
すライブラリ設計データＡ１中のシミュレーションモデ
ルＣ１から、ライブラリのシミュレーションモデルに関
する情報を抽出する。ライブラリのシミュレーションモ
デルに関する情報としては、例えば図３（ｃ），（ｄ）
に示すように、ライブラリの動作モデルに関するデータ
である動作モデルデータＴ３や、ライブラリの遅延時間
に関するデータであるび遅延データＴ４などがある。
すライブラリ設計データＡ１中のシミュレーションモデ
ルＣ１から、ライブラリのシミュレーションモデルに関
する情報を抽出する。ライブラリのシミュレーションモ
デルに関する情報としては、例えば図３（ｃ），（ｄ）
に示すように、ライブラリの動作モデルに関するデータ
である動作モデルデータＴ３や、ライブラリの遅延時間
に関するデータであるび遅延データＴ４などがある。
【００２３】また、条件パラメータ記述手段１３では、
ライブラリの動作を検証する際のシミュレーション条件
に関するデータを、例えば図３（ｅ）に示す条件パラメ
ータＴ５として記述する。
ライブラリの動作を検証する際のシミュレーション条件
に関するデータを、例えば図３（ｅ）に示す条件パラメ
ータＴ５として記述する。
【００２４】そして、第１の抽出手段１２が基本動作パ
ターンデータＴ１および端子データＴ２を抽出し、さら
に条件パラメータ記述手段１３が条件パラメータＴ５を
記述すると、テストパタン記述手段１４は、これらを基
に、論理シミュレータに入力可能なフォーマットでテス
トパタンを記述し出力する。また、第１の抽出手段１２
が動作モデルデータＴ３および遅延データＴ４を抽出す
ると、ネット記述手段１５は、これらを基に、論理シミ
ュレータに入力可能なフォーマットでネットリストを記
述し出力する。
ターンデータＴ１および端子データＴ２を抽出し、さら
に条件パラメータ記述手段１３が条件パラメータＴ５を
記述すると、テストパタン記述手段１４は、これらを基
に、論理シミュレータに入力可能なフォーマットでテス
トパタンを記述し出力する。また、第１の抽出手段１２
が動作モデルデータＴ３および遅延データＴ４を抽出す
ると、ネット記述手段１５は、これらを基に、論理シミ
ュレータに入力可能なフォーマットでネットリストを記
述し出力する。
【００２５】これらのテストパタンおよびネットリスト
は、シミュレーションデータ入力手段１６によって、論
理シミュレーション手段１７へ入力される。論理シミュ
レーション手段１７では、テストパタンおよびネットリ
ストが入力されると、これらテストパタンおよびネット
リストに従って、論理シミュレータを用いた論理シミュ
レーションを行い、例えば図４（ａ）に示すような論理
シミュレーション結果Ｔ６を得る。さらに、論理シミュ
レーション手段１７では、論理シミュレーション結果Ｔ
６が期待通りであるか否かを判断するために、その論理
シミュレーション結果Ｔ６を予め定められている内容と
照合し、期待通りでない動作であった場合にエラーメッ
セージを、またそうでなければ合格メッセージを出力す
る。
は、シミュレーションデータ入力手段１６によって、論
理シミュレーション手段１７へ入力される。論理シミュ
レーション手段１７では、テストパタンおよびネットリ
ストが入力されると、これらテストパタンおよびネット
リストに従って、論理シミュレータを用いた論理シミュ
レーションを行い、例えば図４（ａ）に示すような論理
シミュレーション結果Ｔ６を得る。さらに、論理シミュ
レーション手段１７では、論理シミュレーション結果Ｔ
６が期待通りであるか否かを判断するために、その論理
シミュレーション結果Ｔ６を予め定められている内容と
照合し、期待通りでない動作であった場合にエラーメッ
セージを、またそうでなければ合格メッセージを出力す
る。
【００２６】以上のように、本実施の形態のライブラリ
検証装置１０は、ライブラリのシミュレーションモデル
において、ライブラリ設計データからデータを抽出する
ことで、全てのライブラリのシミュレーションモデルを
漏れなく、自動的に検証するためのテストパタンとネッ
トリストを出力することができるとともに、テストパタ
ンとネットリストの作成に要する時間を短縮することが
できる。さらに、ライブラリのデータシートの記述から
テストパタンを作成することにより、テストパタンの信
頼性が向上し、かつ、テストパタン作成の手間を省くこ
とができる。
検証装置１０は、ライブラリのシミュレーションモデル
において、ライブラリ設計データからデータを抽出する
ことで、全てのライブラリのシミュレーションモデルを
漏れなく、自動的に検証するためのテストパタンとネッ
トリストを出力することができるとともに、テストパタ
ンとネットリストの作成に要する時間を短縮することが
できる。さらに、ライブラリのデータシートの記述から
テストパタンを作成することにより、テストパタンの信
頼性が向上し、かつ、テストパタン作成の手間を省くこ
とができる。
【００２７】また、本実施の形態のライブラリ検証装置
１０では、抽出したデータから作成したテストパタンと
ネットリストを用いて、全ライブラリを自動的に検証す
ることが可能となるので、その検証にかかる時間を短縮
することができる。さらに、例えば従来のようにデータ
シートとシミュレーションモデルとを別々に検証してい
た場合に比べて、これらを同時に検証することができる
ようになり、より一層の検証時間の短縮を実現できる。
１０では、抽出したデータから作成したテストパタンと
ネットリストを用いて、全ライブラリを自動的に検証す
ることが可能となるので、その検証にかかる時間を短縮
することができる。さらに、例えば従来のようにデータ
シートとシミュレーションモデルとを別々に検証してい
た場合に比べて、これらを同時に検証することができる
ようになり、より一層の検証時間の短縮を実現できる。
【００２８】したがって、本実施の形態のライブラリ検
証装置１０を使用してライブラリの検証を行えば、利用
可能な全てのライブラリを、自動的に、かつ、漏れがな
いように検証することのでき、しかもそのために多大な
労力を必要としてしまうこともない。
証装置１０を使用してライブラリの検証を行えば、利用
可能な全てのライブラリを、自動的に、かつ、漏れがな
いように検証することのでき、しかもそのために多大な
労力を必要としてしまうこともない。
【００２９】〔第２の実施の形態〕次に、請求項２記載
の発明に係わるライブラリ検証装置について説明する。
図５は、本実施の形態のライブラリ検証装置１０ａの機
能構成を示すブロック図である。ただし、ここでは、上
述した第１の実施の形態と同一の構成要素については、
同一の符号を与えてその説明を省略する。
の発明に係わるライブラリ検証装置について説明する。
図５は、本実施の形態のライブラリ検証装置１０ａの機
能構成を示すブロック図である。ただし、ここでは、上
述した第１の実施の形態と同一の構成要素については、
同一の符号を与えてその説明を省略する。
【００３０】本実施の形態のライブラリ検証装置１０ａ
は、図５に示すように、ライブラリ設計データ入力手段
１１と、第１の抽出手段１２と、条件パラメータ記述手
段１３と、テストパタン記述手段１８と、第２の抽出手
段１９と、ネット記述手段２０と、シミュレーションデ
ータ入力手段１６と、回路シミュレーション手段２１と
を備えてなるものである。
は、図５に示すように、ライブラリ設計データ入力手段
１１と、第１の抽出手段１２と、条件パラメータ記述手
段１３と、テストパタン記述手段１８と、第２の抽出手
段１９と、ネット記述手段２０と、シミュレーションデ
ータ入力手段１６と、回路シミュレーション手段２１と
を備えてなるものである。
【００３１】テストパタン記述手段１８は、第１の抽出
手段１２が抽出したライブラリの動作の記述に関するデ
ータと、条件パラメータ記述手段１３が記述した条件パ
ラメータとに基づいて、テストパタンを記述し出力する
ものである。なお、このテストパタンは、後述する回路
シミュレータ（アナログシミュレータ）に入力可能なフ
ォーマットで記述される。
手段１２が抽出したライブラリの動作の記述に関するデ
ータと、条件パラメータ記述手段１３が記述した条件パ
ラメータとに基づいて、テストパタンを記述し出力する
ものである。なお、このテストパタンは、後述する回路
シミュレータ（アナログシミュレータ）に入力可能なフ
ォーマットで記述される。
【００３２】第２の抽出手段１９は、第１の抽出手段１
２が抽出したライブラリのレイアウトに関するデータか
ら、例えばトランジスタ、容量、ダイオード、抵抗など
のレイアウトパラメータを抽出するものである。
２が抽出したライブラリのレイアウトに関するデータか
ら、例えばトランジスタ、容量、ダイオード、抵抗など
のレイアウトパラメータを抽出するものである。
【００３３】ネット記述手段２０は、第２の抽出手段１
９が抽出したレイアウトパラメータに基づいて、ネット
リストを記述し出力するものである。なお、このネット
リストは、テストパタンと同様に、回路シミュレータに
入力可能なフォーマットで記述される。
９が抽出したレイアウトパラメータに基づいて、ネット
リストを記述し出力するものである。なお、このネット
リストは、テストパタンと同様に、回路シミュレータに
入力可能なフォーマットで記述される。
【００３４】回路シミュレーション手段２１は、周知技
術を利用した回路シミュレータ（ただし不図示）を用
い、シミュレーションデータ入力手段１６によって入力
されたテストパタンおよびネットリストとに従って、回
路シミュレーションを行うものであり、回路シミュレー
ション実行手段として機能するものである。また、回路
シミュレーション手段２１は、回路シミュレーションの
結果を予め定められている内容と照合し、回路シミュレ
ーションの結果が期待通りであるか否かを判断して、そ
の照合結果を出力するものであり、期待値照合手段とし
て機能するものである。つまり、回路シミュレーション
手段２１は、ライブラリに対する回路シミュレーション
を行って、そのライブラリが正しく動作するか否かを検
証するものである。
術を利用した回路シミュレータ（ただし不図示）を用
い、シミュレーションデータ入力手段１６によって入力
されたテストパタンおよびネットリストとに従って、回
路シミュレーションを行うものであり、回路シミュレー
ション実行手段として機能するものである。また、回路
シミュレーション手段２１は、回路シミュレーションの
結果を予め定められている内容と照合し、回路シミュレ
ーションの結果が期待通りであるか否かを判断して、そ
の照合結果を出力するものであり、期待値照合手段とし
て機能するものである。つまり、回路シミュレーション
手段２１は、ライブラリに対する回路シミュレーション
を行って、そのライブラリが正しく動作するか否かを検
証するものである。
【００３５】ここで、以上のように構成されたライブラ
リ検証装置１０ａにおける処理動作例について説明す
る。ただし、ここでは、上述した第１の実施の形態の場
合との相違点についてのみ説明する。
リ検証装置１０ａにおける処理動作例について説明す
る。ただし、ここでは、上述した第１の実施の形態の場
合との相違点についてのみ説明する。
【００３６】このライブラリ検証装置１０ａでは、ライ
ブラリ設計データ入力手段１１で図２に示すような構成
のライブラリ設計データＡ１が入力されると、第１の抽
出手段１２が、そのライブラリ設計データＡ１中のデー
タシートＢ１から、ライブラリの動作の記述に関する情
報（例えば基本動作パターンデータＴ１や端子データＴ
２）を抽出し、さらにはそのライブラリ設計データＡ１
中のレイアウトデータＤ１からレイアウトデータを抽出
する。
ブラリ設計データ入力手段１１で図２に示すような構成
のライブラリ設計データＡ１が入力されると、第１の抽
出手段１２が、そのライブラリ設計データＡ１中のデー
タシートＢ１から、ライブラリの動作の記述に関する情
報（例えば基本動作パターンデータＴ１や端子データＴ
２）を抽出し、さらにはそのライブラリ設計データＡ１
中のレイアウトデータＤ１からレイアウトデータを抽出
する。
【００３７】そして、テストパタン記述手段１８では、
第１の抽出手段１２が抽出したデータＴ１，Ｔ２と、条
件パラメータ記述手段１３が記述した条件パラメータＴ
５とから、回路シミュレータに入力可能なフォーマット
でテストパタンを記述し出力する。
第１の抽出手段１２が抽出したデータＴ１，Ｔ２と、条
件パラメータ記述手段１３が記述した条件パラメータＴ
５とから、回路シミュレータに入力可能なフォーマット
でテストパタンを記述し出力する。
【００３８】このとき、第２の抽出手段１９では、第１
の抽出手段１２が抽出したライブラリのレイアウトに関
するデータから、レイアウトパラメータを抽出してい
る。そして、このレイアウトパラメータに基づいて、ネ
ット記述手段２０は、回路シミュレータに入力可能なフ
ォーマットでネットリストを記述し出力する。
の抽出手段１２が抽出したライブラリのレイアウトに関
するデータから、レイアウトパラメータを抽出してい
る。そして、このレイアウトパラメータに基づいて、ネ
ット記述手段２０は、回路シミュレータに入力可能なフ
ォーマットでネットリストを記述し出力する。
【００３９】これらのテストパタンおよびネットリスト
が入力されると、回路シミュレーション手段２１では、
これらに従って回路シミュレータを用いた回路シミュレ
ーションを行い、例えば図４（ｂ）に示すような回路シ
ミュレーション結果Ｔ７を得る。さらに、回路シミュレ
ーション手段２１では、回路シミュレーション結果Ｔ７
が期待通りであるか否かを判断するために、その回路シ
ミュレーション結果Ｔ７を予め定められている内容と照
合し、期待通りでない動作であった場合にエラーメッセ
ージを、またそうでなければ合格メッセージを出力す
る。
が入力されると、回路シミュレーション手段２１では、
これらに従って回路シミュレータを用いた回路シミュレ
ーションを行い、例えば図４（ｂ）に示すような回路シ
ミュレーション結果Ｔ７を得る。さらに、回路シミュレ
ーション手段２１では、回路シミュレーション結果Ｔ７
が期待通りであるか否かを判断するために、その回路シ
ミュレーション結果Ｔ７を予め定められている内容と照
合し、期待通りでない動作であった場合にエラーメッセ
ージを、またそうでなければ合格メッセージを出力す
る。
【００４０】以上のように、本実施の形態のライブラリ
検証装置１０ａは、ライブラリのレイアウトデータにお
いて、ライブラリ設計データからデータを抽出すること
で、全てのライブラリのレイアウトデータを漏れなく、
自動的に検証するためのテストパタンとネットリストを
出力することができるとともに、テストパタンとネット
リストの作成に要する時間を短縮することができる。さ
らに、ライブラリのデータシートの記述からテストパタ
ンを作成することにより、テストパタンの信頼性が向上
し、かつ、テストパタン作成の手間を省くことができ
る。
検証装置１０ａは、ライブラリのレイアウトデータにお
いて、ライブラリ設計データからデータを抽出すること
で、全てのライブラリのレイアウトデータを漏れなく、
自動的に検証するためのテストパタンとネットリストを
出力することができるとともに、テストパタンとネット
リストの作成に要する時間を短縮することができる。さ
らに、ライブラリのデータシートの記述からテストパタ
ンを作成することにより、テストパタンの信頼性が向上
し、かつ、テストパタン作成の手間を省くことができ
る。
【００４１】また、本実施の形態のライブラリ検証装置
１０ａでは、抽出したデータから作成したテストパタン
とネットリストを用いて、全ライブラリを自動的に検証
することが可能となるので、その検証にかかる時間を短
縮することができる。さらに、例えば従来のようにデー
タシートとシミュレーションモデルとを別々に検証して
いた場合に比べて、これらを同時に検証することができ
るようになり、より一層の検証時間の短縮を実現でき
る。
１０ａでは、抽出したデータから作成したテストパタン
とネットリストを用いて、全ライブラリを自動的に検証
することが可能となるので、その検証にかかる時間を短
縮することができる。さらに、例えば従来のようにデー
タシートとシミュレーションモデルとを別々に検証して
いた場合に比べて、これらを同時に検証することができ
るようになり、より一層の検証時間の短縮を実現でき
る。
【００４２】したがって、本実施の形態のライブラリ検
証装置１０ａを使用してライブラリの検証を行えば、利
用可能な全てのライブラリを、自動的に、かつ、漏れが
ないように検証することのでき、しかもそのために多大
な労力を必要としてしまうこともない。
証装置１０ａを使用してライブラリの検証を行えば、利
用可能な全てのライブラリを、自動的に、かつ、漏れが
ないように検証することのでき、しかもそのために多大
な労力を必要としてしまうこともない。
【００４３】〔第３の実施の形態〕次に、請求項３記載
の発明に係わるライブラリ検証装置について説明する。
図６は、本実施の形態のライブラリ検証装置１０ｂの機
能構成を示すブロック図である。ただし、ここでは、上
述した第１または第２の実施の形態と同一の構成要素に
ついては、同一の符号を与えてその説明を省略する。
の発明に係わるライブラリ検証装置について説明する。
図６は、本実施の形態のライブラリ検証装置１０ｂの機
能構成を示すブロック図である。ただし、ここでは、上
述した第１または第２の実施の形態と同一の構成要素に
ついては、同一の符号を与えてその説明を省略する。
【００４４】本実施の形態のライブラリ検証装置１０ｂ
は、図６に示すように、第１の実施の形態で説明したラ
イブラリ検証装置１０が有する機能構成と、第２の実施
の形態で説明したライブラリ検証装置１０ａが有する機
能構成とを備えるとともに、これらに加えて、第１のテ
ストパタン記述手段２２と、選別手段２３と、条件パラ
メータ記述手段１３と、第２のテストパタン記述手段２
４とを備えるものである。
は、図６に示すように、第１の実施の形態で説明したラ
イブラリ検証装置１０が有する機能構成と、第２の実施
の形態で説明したライブラリ検証装置１０ａが有する機
能構成とを備えるとともに、これらに加えて、第１のテ
ストパタン記述手段２２と、選別手段２３と、条件パラ
メータ記述手段１３と、第２のテストパタン記述手段２
４とを備えるものである。
【００４５】第１のテストパタン記述手段２２は、ライ
ブラリ検証装置１０ｂのユーザが、人手により、回路シ
ミュレータ（アナログシミュレータ）に入力可能なフォ
ーマットでテストパタンを作成するためのものである。
ブラリ検証装置１０ｂのユーザが、人手により、回路シ
ミュレータ（アナログシミュレータ）に入力可能なフォ
ーマットでテストパタンを作成するためのものである。
【００４６】選別手段２３は、ライブラリ検証装置１０
ａの回路シミュレーション手段２１による回路シミュレ
ーションの結果を予め定められている内容と照合し、そ
の内容に合致するシミュレーション結果、すなわち期待
通りであるシミュレーション結果を、第２のテストパタ
ン記述手段２４へ出力するものである。
ａの回路シミュレーション手段２１による回路シミュレ
ーションの結果を予め定められている内容と照合し、そ
の内容に合致するシミュレーション結果、すなわち期待
通りであるシミュレーション結果を、第２のテストパタ
ン記述手段２４へ出力するものである。
【００４７】第２のテストパタン記述手段２４は、選別
手段２３から出力されたシミュレーション結果を、論理
シミュレータが処理可能なフォーマットに変換したり、
または、条件パラメータ記述手段１３によるシミュレー
ション条件を参照して、不要部分の削除やシミュレーシ
ョン時刻等の調整などを行うものである。つまり、第２
のテストパタン記述手段２４は、選別手段２３から出力
されたシミュレーション結果から、論理シミュレータが
処理可能なフォーマットのテストパタンを生成するもの
である。
手段２３から出力されたシミュレーション結果を、論理
シミュレータが処理可能なフォーマットに変換したり、
または、条件パラメータ記述手段１３によるシミュレー
ション条件を参照して、不要部分の削除やシミュレーシ
ョン時刻等の調整などを行うものである。つまり、第２
のテストパタン記述手段２４は、選別手段２３から出力
されたシミュレーション結果から、論理シミュレータが
処理可能なフォーマットのテストパタンを生成するもの
である。
【００４８】ここで、以上のように構成されたライブラ
リ検証装置１０ｂにおける処理動作例について説明す
る。ただし、ここでは、上述した第１および第２の実施
の形態の場合との相違点についてのみ説明する。
リ検証装置１０ｂにおける処理動作例について説明す
る。ただし、ここでは、上述した第１および第２の実施
の形態の場合との相違点についてのみ説明する。
【００４９】このライブラリ検証装置１０ｂでは、ライ
ブラリ設計データＡ１にデータシートＢ１が含まれてい
ない場合に、第１のテストパタン記述手段２２におい
て、回路シミュレータに入力可能なフォーマットのテス
トパタン（以下、第１テストパタンと称す）が作成され
る。この第１テストパタンは、ライブラリ検証装置１０
ｂのユーザによって、人手により行われる。
ブラリ設計データＡ１にデータシートＢ１が含まれてい
ない場合に、第１のテストパタン記述手段２２におい
て、回路シミュレータに入力可能なフォーマットのテス
トパタン（以下、第１テストパタンと称す）が作成され
る。この第１テストパタンは、ライブラリ検証装置１０
ｂのユーザによって、人手により行われる。
【００５０】第１テストパタンが作成されると、ライブ
ラリ検証装置１０ｂでは、その第１テストパタンを、ラ
イブラリ検証装置１０ｂ内のライブラリ検証装置１０ａ
に入力する。そして、ライブラリ検証装置１０ａ内のネ
ット記述手段２０が記述したネットリスト（以下、第１
ネットリストと称す）と、第１テストパタンとを基に、
そのライブラリ検証装置１０ａ内の回路シミュレーショ
ン手段２１に回路シミュレーションを行わせる。
ラリ検証装置１０ｂでは、その第１テストパタンを、ラ
イブラリ検証装置１０ｂ内のライブラリ検証装置１０ａ
に入力する。そして、ライブラリ検証装置１０ａ内のネ
ット記述手段２０が記述したネットリスト（以下、第１
ネットリストと称す）と、第１テストパタンとを基に、
そのライブラリ検証装置１０ａ内の回路シミュレーショ
ン手段２１に回路シミュレーションを行わせる。
【００５１】選別手段２３は、その回路シミュレーショ
ンの結果が期待通りであるか否かを判断し、期待通りの
シミュレーション結果を選別する。
ンの結果が期待通りであるか否かを判断し、期待通りの
シミュレーション結果を選別する。
【００５２】選別手段２３がシミュレーション結果を選
別すると、第２のテストパタン記述手段２４は、条件パ
ラメータ記述手段１３によるシミュレーション条件を参
照して、選別手段２３で選別されたシミュレーション結
果を、論理シミュレータに入力可能なテストパタン（以
下、第２テストパタンと称す）として記述する。つま
り、第２のテストパタン記述手段２４は、選別手段２３
からのシミュレーション結果を、論理シミュレータに入
力可能なフォーマットに変換し、あるいは、条件パラメ
ータ記述手段１３によるシミュレーション条件を参照し
て、不要部分の削除やシミュレーション時刻等の調整な
どを行う。
別すると、第２のテストパタン記述手段２４は、条件パ
ラメータ記述手段１３によるシミュレーション条件を参
照して、選別手段２３で選別されたシミュレーション結
果を、論理シミュレータに入力可能なテストパタン（以
下、第２テストパタンと称す）として記述する。つま
り、第２のテストパタン記述手段２４は、選別手段２３
からのシミュレーション結果を、論理シミュレータに入
力可能なフォーマットに変換し、あるいは、条件パラメ
ータ記述手段１３によるシミュレーション条件を参照し
て、不要部分の削除やシミュレーション時刻等の調整な
どを行う。
【００５３】第２のテストパタン記述手段２４が第２テ
ストパタンを生成すると、続いてライブラリ検証装置１
０ｂでは、その第２テストパタンを、ライブラリ検証装
置１０ｂ内のライブラリ検証装置１０に入力する。そし
て、ライブラリ検証装置１０内のネット記述手段１５が
記述したネットリスト（以下、第２ネットリストと称
す）と、第２テストパタンとを基に、そのライブラリ検
証装置１０内の論理シミュレーション手段１７に論理シ
ミュレーションを行わせる。そして、論理シミュレーシ
ョン手段１７では、その論理シミュレーションの結果が
期待値通りであるか否かを判断し、期待通りでない動作
であった場合にエラーメッセージを、またそうでなけれ
ば合格メッセージを出力する。
ストパタンを生成すると、続いてライブラリ検証装置１
０ｂでは、その第２テストパタンを、ライブラリ検証装
置１０ｂ内のライブラリ検証装置１０に入力する。そし
て、ライブラリ検証装置１０内のネット記述手段１５が
記述したネットリスト（以下、第２ネットリストと称
す）と、第２テストパタンとを基に、そのライブラリ検
証装置１０内の論理シミュレーション手段１７に論理シ
ミュレーションを行わせる。そして、論理シミュレーシ
ョン手段１７では、その論理シミュレーションの結果が
期待値通りであるか否かを判断し、期待通りでない動作
であった場合にエラーメッセージを、またそうでなけれ
ば合格メッセージを出力する。
【００５４】以上のように、本実施の形態のライブラリ
検証装置１０ａでは、上述した第１および第２の実施の
形態の場合と同様に、利用可能な全てのライブラリを、
自動的に、かつ、漏れがないように検証することので
き、しかもそのために多大な労力を必要としてしまうこ
ともない。しかも、本実施の形態のライブラリ検証装置
１０ａでは、ライブラリ設計データにデータシートが含
まれていない場合、ライブラリのレイアウトデータの動
作を検証した結果を用いてシミュレーションモデルを検
証するようになっているので、データシートがなくて
も、シミュレーションモデルとレイアウトデータとが同
じ動作をするか否かを検証することができるようにな
る。
検証装置１０ａでは、上述した第１および第２の実施の
形態の場合と同様に、利用可能な全てのライブラリを、
自動的に、かつ、漏れがないように検証することので
き、しかもそのために多大な労力を必要としてしまうこ
ともない。しかも、本実施の形態のライブラリ検証装置
１０ａでは、ライブラリ設計データにデータシートが含
まれていない場合、ライブラリのレイアウトデータの動
作を検証した結果を用いてシミュレーションモデルを検
証するようになっているので、データシートがなくて
も、シミュレーションモデルとレイアウトデータとが同
じ動作をするか否かを検証することができるようにな
る。
【００５５】なお、上述した第１〜第３の実施の形態で
は、既に存在しているライブラリ設計データに対しての
検証を行う場合を例に挙げて説明したが、例えばライブ
ラリの設計途中においても適用することは可能である。
つまり、設計途中において、第１の抽出手段１２で抽出
される基本動作パターンデータ、シミュレーションモデ
ル、レイアウトデータ、あるいはテストパタン記述手段
１４，１８で記述されるテストパタンが、人手によって
記述される場合であっても、本発明は適用可能である。
は、既に存在しているライブラリ設計データに対しての
検証を行う場合を例に挙げて説明したが、例えばライブ
ラリの設計途中においても適用することは可能である。
つまり、設計途中において、第１の抽出手段１２で抽出
される基本動作パターンデータ、シミュレーションモデ
ル、レイアウトデータ、あるいはテストパタン記述手段
１４，１８で記述されるテストパタンが、人手によって
記述される場合であっても、本発明は適用可能である。
【００５６】また、コンパイラと呼ばれるライブラリ自
動作成プログラムで、ライブラリ設計データを生成する
ことも可能である。したがって、本発明は、コンパイラ
の検証装置としても適用可能である。
動作成プログラムで、ライブラリ設計データを生成する
ことも可能である。したがって、本発明は、コンパイラ
の検証装置としても適用可能である。
【００５７】
【発明の効果】以上に説明したように、本発明のライブ
ラリ検証装置は、抽出したデータから作成したテストパ
タンとネットリストを用いて、全ライブラリを自動的に
検証することが可能となるので、利用可能な全てのライ
ブラリを、自動的に、かつ、漏れがないように検証する
ことのでき、しかもそのために多大な労力を必要として
しまうこともないという効果を奏する。
ラリ検証装置は、抽出したデータから作成したテストパ
タンとネットリストを用いて、全ライブラリを自動的に
検証することが可能となるので、利用可能な全てのライ
ブラリを、自動的に、かつ、漏れがないように検証する
ことのでき、しかもそのために多大な労力を必要として
しまうこともないという効果を奏する。
【図１】本発明に係わるライブラリ検証装置の第１の実
施の形態の機能構成を示すブロック図である。
施の形態の機能構成を示すブロック図である。
【図２】ライブラリ検証装置によって処理されるライブ
ラリ設計データを模式化した説明図である。
ラリ設計データを模式化した説明図である。
【図３】ライブラリ検証装置によって抽出されるデータ
の具体例を示す説明図であり、（ａ）は基本動作パター
ンデータを示す図、（ｂ）は端子データを示す図、
（ｃ）は動作モデルデータを示す図、（ｄ）は遅延デー
タを示す図、（ｅ）は条件パラメータを示す図である。
の具体例を示す説明図であり、（ａ）は基本動作パター
ンデータを示す図、（ｂ）は端子データを示す図、
（ｃ）は動作モデルデータを示す図、（ｄ）は遅延デー
タを示す図、（ｅ）は条件パラメータを示す図である。
【図４】ライブラリ検証装置によって行われるシミュレ
ーション結果の具体例を示す説明図であり、（ａ）は論
理シミュレーション結果を示す図、（ｂ）は回路シミュ
レーション結果を示す図である。
ーション結果の具体例を示す説明図であり、（ａ）は論
理シミュレーション結果を示す図、（ｂ）は回路シミュ
レーション結果を示す図である。
【図５】本発明に係わるライブラリ検証装置の第２の実
施の形態の機能構成を示すブロック図である。
施の形態の機能構成を示すブロック図である。
【図６】本発明に係わるライブラリ検証装置の第３の実
施の形態の機能構成を示すブロック図である。
施の形態の機能構成を示すブロック図である。
１０，１０ａ，１０ｂ ライブラリ検証装置 １２ 第１の抽出手段 １３ 条件パラメータ記述手段 １４，１８ テストパタン記述手段 １５，２０ ネット記述手段 １７ 論理シミュレーション手段 １９ 第２の抽出手段 ２０ 第２のネット記述手段 ２１ 回路シミュレーション手段 ２２ 第１のテストパタン記述手段 ２３ 選別手段 ２４ 第２のテストパタン記述手段
Claims (3)
- 【請求項１】 半導体集積回路の論理シミュレーション
を行う論理シミュレータと接続し、該論理シミュレータ
により前記半導体集積回路の設計に用いるライブラリが
正しく動作するか否かを検証するライブラリ検証装置で
あって、 前記ライブラリに関するライブラリ設計データから、該
ライブラリの動作の記述に関するデータと、該ライブラ
リのシミュレーションモデルに関する情報とを抽出する
抽出手段と、 前記ライブラリの動作を検証する際のシミュレーション
条件に関するデータを記述する条件パラメータ記述手段
と、 前記抽出手段が抽出した前記ライブラリの動作の記述に
関するデータと、前記条件パラメータ記述手段が記述し
たシミュレーション条件とに基づいて、前記論理シミュ
レータが処理可能なフォーマットのテストパタンを記述
するテストパタン記述手段と、 前記抽出手段が抽出した前記ライブラリのシミュレーシ
ョンモデルに関する情報に基づいて、前記論理シミュレ
ータが処理可能なフォーマットのネットリストを記述す
るネット記述手段と、 前記テストパタンおよび前記ネットリストに従い前記論
理シミュレータによる論理シミュレーションを行って、
前記ライブラリの動作を検証する論理シミュレーション
実行手段と、 前記論理シミュレーション実行手段による論理シミュレ
ーションの結果を予め定められている内容と照合し、そ
の照合結果を出力する期待値照合手段とを備えてなるこ
とを特徴とするライブラリ検証装置。 - 【請求項２】 半導体集積回路の回路シミュレーション
を行う回路シミュレータと接続し、該回路シミュレータ
により前記半導体集積回路の設計に用いるライブラリが
正しく動作するか否かを検証するライブラリ検証装置で
あって、 前記ライブラリに関するライブラリ設計データから、該
ライブラリの動作の記述に関するデータと、該ライブラ
リのレイアウトに関するデータとを抽出する第１の抽出
手段と、 前記第１の抽出手段が抽出した前記ライブラリのレイア
ウトに関するデータからレイアウトパラメータを抽出す
る第２の抽出手段と、 前記ライブラリの動作を検証する際のシミュレーション
条件に関するデータを記述する条件パラメータ記述手段
と、 前記第１の抽出手段が抽出した前記ライブラリの動作の
記述に関するデータと、前記条件パラメータ記述手段が
記述したシミュレーション条件とに基づいて、前記回路
シミュレータが処理可能なフォーマットのテストパタン
を記述するテストパタン記述手段と、 前記第２の抽出手段が抽出したレイアウトパラメータに
基づいて、前記回路シミュレータが処理可能なフォーマ
ットのネットリストを記述するネット記述手段と、 前記テストパタンおよび前記ネットリストに従い前記回
路シミュレータによる回路シミュレーションを行って、
前記ライブラリの動作を検証する回路シミュレーション
実行手段と、 前記回路シミュレーション実行手段による回路シミュレ
ーションの結果を予め定められている内容と照合し、そ
の照合結果を出力する期待値照合手段とを備えてなるこ
とを特徴とするライブラリ検証装置。 - 【請求項３】 半導体集積回路の論理シミュレーション
を行う論理シミュレータおよび回路シミュレーションを
行う回路シミュレータと接続し、これらにより前記半導
体集積回路の設計に用いるライブラリが正しく動作する
か否かを検証するライブラリ検証装置であって、 前記ライブラリに関するライブラリ設計データから、該
ライブラリのレイアウトに関するデータと、該ライブラ
リのシミュレーションモデルに関する情報とを抽出する
第１の抽出手段と、 前記第１の抽出手段が抽出した前記ライブラリのレイア
ウトに関するデータからレイアウトパラメータを抽出す
る第２の抽出手段と、 前記第２の抽出手段が抽出したレイアウトパラメータに
基づいて、前記回路シミュレータが処理可能なフォーマ
ットの第１ネットリストを記述する第１のネット記述手
段と、 前記回路シミュレータが処理可能なフォーマットの第１
テストパタンを記述して入力するための第１のテストパ
タン記述手段と、 前記第１ネットリストおよび前記第１テストパタンに従
い前記回路シミュレータによる回路シミュレーションを
行って、前記ライブラリの動作を検証する回路シミュレ
ーション実行手段と、 前記回路シミュレーション実行手段による回路シミュレ
ーションの結果を予め定められている内容と照合し、該
内容に合致するシミュレーション結果を出力する選別手
段と、 前記第１の抽出手段が抽出した前記ライブラリのシミュ
レーションモデルに関する情報に基づいて、前記論理シ
ミュレータが処理可能なフォーマットの第２ネットリス
トを記述する第２のネット記述手段と、 前記ライブラリの動作を検証する際のシミュレーション
条件に関するデータを記述する条件パラメータ記述手段
と、 前記条件パラメータ記述手段によるシミュレーション条
件を参照して、前記選別手段が出力したシミュレーショ
ン結果から前記論理シミュレータが処理可能なフォーマ
ットの第２テストパタンを生成する第２のテストパタン
記述手段と、 前記第２ネットリストおよび前記第２テストパタンに従
い前記論理シミュレータによる論理シミュレーションを
行って、前記ライブラリの動作を検証する論理シミュレ
ーション実行手段と、 前記論理シミュレーション実行手段による論理シミュレ
ーションの結果を予め定められている内容と照合し、そ
の照合結果を出力する期待値照合手段とを備えてなるこ
とを特徴とするライブラリ検証装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9178116A JPH1125140A (ja) | 1997-07-03 | 1997-07-03 | ライブラリ検証装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9178116A JPH1125140A (ja) | 1997-07-03 | 1997-07-03 | ライブラリ検証装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH1125140A true JPH1125140A (ja) | 1999-01-29 |
Family
ID=16042947
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP9178116A Withdrawn JPH1125140A (ja) | 1997-07-03 | 1997-07-03 | ライブラリ検証装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH1125140A (ja) |
-
1997
- 1997-07-03 JP JP9178116A patent/JPH1125140A/ja not_active Withdrawn
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7530046B1 (en) | Chip debugging using incremental recompilation | |
| US9064068B1 (en) | Debuggable opaque IP | |
| US6026226A (en) | Local compilation in context within a design hierarchy | |
| US6754862B1 (en) | Gaining access to internal nodes in a PLD | |
| EP1093619B1 (en) | System and method for identifying finite state machines and verifying circuit designs | |
| JP2000132416A (ja) | 半導体集積回路設計検証装置 | |
| US20070276644A1 (en) | Conversion of circuit description to a transaction model | |
| US8326592B2 (en) | Method and system for verifying electronic designs having software components | |
| JP2002215712A (ja) | Ｉｃ設計の検証方法 | |
| JPH11513512A (ja) | ディジタル信号プロセッサの製造方法 | |
| US7523029B2 (en) | Logic verification and logic cone extraction technique | |
| JP4140917B2 (ja) | 検証作業支援システム及びその方法 | |
| JP2000207440A (ja) | 半導体集積回路の設計検証装置、方法及び記憶媒体 | |
| JP2003141206A (ja) | Ｌｓｉテスト・データのタイミング検証方法およびｌｓｉテスト・データのタイミング検証プログラム | |
| JP2000277617A (ja) | Ａｓｉｃ設計方法およびａｓｉｃ設計装置 | |
| US20070266361A1 (en) | Logic verification method, logic verification apparatus and recording medium | |
| JP2006318121A (ja) | 遅延付加ｒｔｌ論理シミュレーション方法および装置 | |
| JPH1125140A (ja) | ライブラリ検証装置 | |
| US20030172045A1 (en) | System and method for automation of ASIC synthesis flow | |
| US7047173B1 (en) | Analog signal verification using digital signatures | |
| JP3028589B2 (ja) | 論理回路検証装置のエラー検出制御方法 | |
| JP2011034517A (ja) | 等価性検証装置、そのデータ処理方法、およびプログラム | |
| JP4484048B2 (ja) | ハードウェア／ソフトウェア協調検証システム | |
| JPH11175580A (ja) | 集積回路設計装置 | |
| JP2001060216A (ja) | 論理等価性検証装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 20040907 |