JPH05303605A - 論理シミュレーション機能検証装置及び論理シミュレーション遅延検証装置 - Google Patents

Abstract

(57)【要約】 【目的】 論理シミュレータの機能モデル、遅延モデル
の検証をあらかじめ用意した機能・遅延値記述ファイル
と比較することにより、同時に複数個の比較評価を行
う。 【構成】 各機能モデルごとに、入力パターン５とシミ
ュレーション結果１４及び機能・遅延値記述ファイル１
を機能・遅延比較部１０へ入力し、機能・遅延比較部１
０で、入力パターン５及びシミュレーション結果１４か
ら求めた各機能モデル及び遅延モデルの機能及び遅延値
と機能・遅延値記述ファイル１から求めた機能及び遅延
値とを同時に複数個比較評価し比較結果を実行リスト１
３として出力する。 【効果】 複数個の論理シミュレータの機能及び遅延モ
デルが同時に短時間で検証できる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】この発明は、複数個の論理シミュ
レーションの機能モデル、遅延モデルの検証を同時に行
える論理シミュレーション機能・遅延検証装置に関する
ものである。

【０００２】

【従来の技術】論理シミュレーションの機能モデル、遅
延モデルを作成した場合、各機能モデルごとにそのモデ
ルの機能検証を行うために必要なテストパターンを作成
し、シミュレーションを実行する。そのシミュレーショ
ンの結果から各機能モデル及び遅延モデルの機能及び遅
延精度が正しいか手計算で評価する。

【０００３】

【発明が解決しようとする課題】従来は、論理シミュレ
ータの各機能モデル及び遅延モデルごとにシミュレーシ
ョンを行った結果から、手作業でそれらの機能モデルの
機能及び遅延モデルの遅延精度を求めていたため、大変
時間がかかるという問題があった。

【０００４】この発明は上記のような問題点を解消する
ためになされたもので、論理シミュレータの機能モデル
及び遅延モデルの検証において、複数個の論理シミュレ
ータの機能モデル及び遅延モデルの検証を同時に行うこ
とのできる論理シミュレーション機能・遅延検証装置を
得ることを目的とする。

【０００５】

【課題を解決するための手段】この発明にかかる論理シ
ミュレータ機能検証装置又は論理シミュレーション遅延
検証装置は、各機能モデル又は遅延モデルごとにシミュ
レーションを行った結果を記憶したシミュレーション結
果ファイルと、各機能モデル又は遅延モデルごとにそれ
らのモデルの機能又は遅延値を記述した機能・遅延値記
述ファイル及び評価対象を指定したコントロールファイ
ルを入力し、シミュレーション結果ファイルから求めた
各モデルごとの機能又は遅延値と、機能又は遅延値を記
述した機能・遅延値記述ファイルから求めた機能又は遅
延値とを比較して比較結果を出力する機能・遅延比較部
を備える。

【０００６】

【作用】本発明にあっては、論理シミュレータの機能モ
デル又は遅延モデルの評価において、同時に、複数個の
入力パターン、シミュレーション結果、機能・遅延値記
述ファイルを入力し、シミュレータの機能モデル又は遅
延モデルの機能又は遅延モデルの遅延値と、機能・遅延
値記述ファイルから求めた機能又は遅延値とを複数個同
時に比較し検証することが可能となる。

【０００７】

【実施例】

実施例１．図１は、本発明に係る論理シミュレーション
機能・遅延検証装置の構成及びこれに対する入、出力情
報を示すブロック図である。図において１は機能・遅延
値記述ファイル、２はこのファイル１を入力する機能・
遅延値記述ファイル入力部、３はシミュレーションを行
うセルを指定するためのコントロールファイル、４はフ
ァイル３を入力するコントロールファイル入力部、５は
テストするセルに与える入力パターン、６は入力パター
ン５を入力する入力パターン入力部、７はシミュレーシ
ョンを行うためのネットリスト、８はネットリスト７を
入力するネットリスト入力部、９はシミュレーションの
実行時に用いるシミュレーションライブラリー、１０は
この実施例の特徴部分である機能・遅延比較部、１１は
シミュレーションを実行する論理シミュレーション部、
１２は機能・遅延比較部１０の比較の結果を出力するた
めの実行リスト出力部、１３は実行リスト出力部により
出力される実行リスト、１４は論理シミュレーション部
から出力されるシミュレーション結果である。

【０００８】図２は機能・遅延値記述ファイル１の具体
的内容を示す図であり、図において、２１はセルの名前
が記載されており、この例ではｖ０１ｓというセルネー
ムが記載されている。２２及び２３は入力ピンに信号を
与えてから、出力ピンに出力されるまでの時間を示すデ
ータを記載したものである。Ａは入力ピンを示し、Ｙは
出力ピンを示しており、ＰＦとはプリホールの意味を示
しており、入力ピンＡがローからハイに立ち上がった時
に出力ピンＹが同様にローからハイに立ち上がる場合の
遅延を示すパラメータが記載されている。２５はその遅
延値であり、ファンアウトが１の場合を示している。２
６はファンアウトが３の場合、２７はファンアウトが５
の場合、２８はファンアウトが２０の場合を示してい
る。同様に２３においてＰＲはプリライズを示してお
り、入力ピンＡがハイからローに変化する場合、出力ピ
ンＹがハイからローに変化する遅延値を示している。こ
のように機能・遅延値記述ファイル１は、他のセル（例
えばｖ０１ｔ）についてもそれぞれ機能とその機能を実
行するための遅延値を記憶しているものである。

【０００９】図３はコントロールファイルの内容の一例
を示す図である。このコントロールファイルはシミュレ
ーションを実行するための条件，環境等を定義するため
のファイルであり、例えば図３において、ライン８以降
にコンデションタイプとして温度、入力ボルテージ等が
記載されている。又ライン１９においては、シミュレー
ションを実行するセルの名前がこの場合はｖ０１ｓとし
て定義されている。又ライン１５においはテストしよう
とするセルに接続されている相手のセルの名前が記載さ
れている。この場合はテストするセルの名前が前述した
ようにｖ０１ｓであるのに対し、ファンアウトとして接
続されるものは同じくｖ０１ｓの入力ピンＡであり、し
かもその数は１個である場合をライン１５に示してい
る。

【００１０】図３においては、ｖ０１ｓというセルをシ
ミュレーションする場合を示しているが、このコントロ
ールファイルには複数のセルネームを記載することが可
能である。

【００１１】図４は入力パターンの内容の一例を示す図
である。図において、４１はシミュレーションを４００
単位時間行うことを示しており、４２はこの４００とい
う時間を１００づつの期間に区切って処理を行うことを
示している。４３はシミュレーションを行うための入力
ピンはＡとＢがあることを示している。４４はこの入力
ピンＡとＢに入力されるパターンを示しており、最初の
００はピンＡとＢに０を入力することを示している。こ
れらの入力パターンは４２で定義された時間すなわち１
００の時間だけ入力されることになる。次の０１という
入力パターンは１０１から２００の時間だけ入力され、
次の１０という入力パターンは２０１から３００の時間
だけ入力されることになる。最後の１１というパターン
は３０１から４００の時間だけ入力されることになる。

【００１２】図５はシミュレーション結果の内容の一例
を示す場合であり、図４に示した入力パターンがＡＮＤ
回路に入力された場合の結果を示す図である。図におい
て５１はこのシミュレーションの実行が４０２単位時間
で終了したことを示しており、５２はこの結果はアウト
プットピンＹから出されたものであることを示してい
る。又５３は図４に示した４種類の入力パターンに対す
る応答が出された時間を示しており、５４はアウトプッ
トピンＹの変化を示している。入力パターンはそれぞれ
１００時間づつ入力されたのに対し、このシミュレーシ
ョン結果によれば、出力が変化した時間は、１０２，２
０５，３０２というように、差を生じている。又最終的
に終了した時間は４０２であり、入力時間が４００であ
るものに対して２単位時間だけずれた値を示している。

【００１３】次に図１から図５を用いてこの実施例の動
作について説明する。先ず機能・遅延値の検証対象とな
るモデルのネットリスト７及び入力パターン（図４参
照）をそれぞれネットリスト入力部８及び入力パターン
入力部６から論理シミュレーション部１１にそれぞれ入
力する。ここでいうネットリスク７というのは、様々な
論理図入力装置（例えばＭｅｎｔｏｒ，Ｖａｌｉｄな
ど）で入力を行った論理図面から変換したネットリスト
を意味しており、各ツールにより様々なフォーマットが
あるが、特にこの発明の特徴的な部分ではないので説明
を省略する。

【００１４】論理シミュレーション部１１は入力された
ネットリスク７から、シミュレーションを実行するため
に必要な機能モデル及び遅延モデルの情報をシミュレー
ションライブラリ９から抽出し、シミュレーションの実
行を行いシミュレーション結果１４を出力する。ここ
で、シミュレーションライブラリ９は、各種のシミュレ
ータに対して提供しているライブラリを用いてあるいは
それをカスタマイズして用いているため、特に特徴的フ
ォーマットはないので説明を省略する。

【００１５】機能・遅延比較部１０は、シミュレーショ
ン結果１４（図５参照）、機能・遅延値記述ファイル入
力部２から機能・遅延値記述ファイル１（図２参照）、
及びコントロールファイル入力部４からコントロールフ
ァイル３（図３参照）を入力し、コントロールファイル
３に記述された機能モデル、遅延モデルの評価対象とな
るものについて、シミュレーション結果１４から求め
た、おのおののモデルの機能及び遅延値と、機能・遅延
値記述ファイル１から求めた評価対象モデルの機能及び
遅延値とを比較しその結果を実行リスト１３として実行
リスト出力部１２から出力する。

【００１６】図６は実行リストの一例を示す図である。
この例では、セルがｖ０１ｓとｖ０１ｔの場合を示して
いる。図において、６１はライズという機能を実行した
場合にシミュレーションの結果として０．３００という
結果が得られたことを示している。２５は図２に示した
ように、機能・遅延値記述ファイルに記録されているラ
イズという機能を実行する場合に予め遅延されるものと
記憶されていたパラメータ０．３４７である。６３はこ
の６１の値と２５の値を比較したその差の値である。６
４は６３の値を２５の値で割った値を示している。６５
はフォールという機能をシミュレーションで実行した結
果の値であり、２９は図２に示したように機能・遅延値
記述ファイルに記録されているパラメータ値である。６
７は両者の差であり、６８は６７の値を２９で割った値
である。又、６９はライズとフォールの二つの機能のう
ちの絶対値の大きい方の値であり、この場合は０．０４
７と０．０５０を比較し絶対値が大きい０．０５０が最
大の差として６９に記録されている。同様に７０は６４
の値と６８の値の絶対値の大きい方の値が記録されてい
る。以上述べたものはファンアウトが１の場合について
であり、以後ファンアウトが３，５，２０の場合につい
ても同様のデータが記入されている。又、ｖ０１ｔのセ
ルについてもライズ機能とフォール機能につき、ファン
アウトが１，３，５，２０の場合についてそれぞれの値
が実行リストとして出力されている。

【００１７】次にこのような本実施例の装置の動作を図
７に示すフローチャートと共に説明する。先ず、機能モ
デル、遅延モデルの評価対象セル名を記述したコントロ
ールファイル３を機能・遅延比較部１０へ入力する（ス
テップＳ１）。機能・遅延値比較部１０において、ステ
ップＳ１で入力したコントロールファイル３に記述され
た機能モデル、遅延モデル評価対象セル名を抽出する
（ステップＳ２）。次に機能モデル及び遅延モデルごと
に全ての機能、遅延値を記述した機能・遅延値記述ファ
イル１を機能・遅延比較部１０へ入力する（ステップＳ
３）。ステップＳ４では、ステップＳ２で抽出した評価
対象セル名に応じてシミュレーションに用いた入力パタ
ーン２５及びシミュレーション結果ファイル１４を機能
・遅延比較部１０に入力する。次にステップＳ４で入力
した入力パターン５とシミュレーション結果１４から評
価対象セルの機能、遅延値を抽出する（ステップＳ
５）。またステップＳ３で入力した機能・遅延値記述フ
ァイル１から評価対象セルの機能・遅延値を抽出し（ス
テップＳ６）、それらに対してステップＳ５で求めた機
能・遅延値が一致しているか比較を行う（ステップＳ
７）。ステップＳ７で比較を行った結果機能もしくは遅
延値に不一致があれば実行リスト１３にその不一致箇所
を出力する（ステップＳ８）。ステップＳ９ではステッ
プＳ２で抽出した機能モデル遅延モデル評価対象セルが
終了したかどうか判断し、まだあればステップＳ４にも
どり、なければ終了する。

【００１８】実施例２．上記実施例においては、機能と
遅延値等を比較する場合を示したが、機能のみを比較す
る場合、あるいは遅延値のみを比較する場合において
も、この発明は適用することが出来、同様の効果を奏す
る。すなわち実施例１に述べた例を機能のみを検証する
装置とする場合には、複数個の論理シミュレータのマク
ロセルのシミュレーションモデルに対して、入力パター
ン、シミュレーション結果、機能記述ファイルとを機能
比較部に入力しそれらの入力ファイルから各マクロセル
ごとの動作（機能）を求め不一致があればそれらを実行
リストに出力することを特徴とする論理シミュレーショ
ン機能検証装置ということになる。又実施例１に述べた
ものを遅延のみを検証する装置として述べれば、複数個
の論理シミュレータのマクロセルのシミュレーションモ
デルに対して、入力パターン、シミュレーション結果、
遅延値記述ファイルとを遅延比較部に入力し、それらの
ファイルから各マクロセルごとに遅延値を求め不一致が
あれば、それらを実行リストに出力することを特徴とす
る論理シミュレーション遅延検証装置ということにな
る。

【００１９】実施例３．上記実施例１，２においては、
セルを評価対象とする場合を示したが、この発明は、セ
ルを評価対象とする場合に限らず、シミュレーションを
行うことにより、機能を評価したり、あるいはシミュレ
ーションを行うことにより、その遅延を評価したりする
ような他の評価対象に対しても適用することが可能であ
る。

【００２０】

【発明の効果】以上のように、この発明によれば、シミ
ュレータの機能又は遅延値を同時に複数個比較部で比較
評価し結果を出力するように構成したので、複数個のシ
ミュレータの機能モデル又は遅延モデルの評価が同時に
短時間でできるという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例の構成及びその入出力情報を
示すブロック図である。

【図２】本発明の一実施例である機能・遅延値記述ファ
イルの一例を示す図である。

【図３】本発明の一実施例であるコントロールファイル
の一例を示す図である。

【図４】本発明の一実施例である入力パターンの一例を
示す図である。

【図５】本発明の一実施例であるシミュレーション結果
の一例を示す図である。

【図６】本発明の一実施例である実行リストの一例を示
す図である。

【図７】本発明装置における主要処理過程を示すフロー
チャート図である。

【符号の説明】

１ 機能・遅延値記述ファイル ２ 機能・遅延値記述ファイル入力部 ３ コントロールファイル ４ コントロールファイル入力部 ５ 入力パターン ６ 入力パターン入力部 ７ ネットリスト ８ ネットリスト入力部 ９ シミュレーションライブラリ １０ 機能・遅延比較部 １１ 論理シミュレーション部 １２ 実行リスト出力部 １３ 実行リスト １４ シミュレーション結果

Claims (2)

【特許請求の範囲】
1. 【請求項１】 以下の要素を有する論理シミュレーショ
   ン機能検証装置（ａ）評価対象を指定するコントロール
   ファイル、（ｂ）評価対象の機能を記述する機能記述フ
   ァイル、（ｃ）シミュレーションの結果を記憶するシミ
   ュレーション結果ファイル、（ｄ）上記コントロールフ
   ァイルで指定された評価対象に基づいて、機能記述ファ
   イルに記述された評価対象の機能とシミュレーション結
   果ファイルに記憶された評価対象のシミュレーション結
   果とを比較して、その比較結果を出力する機能比較部。
2. 【請求項２】 以下の要素を有する論理シミュレーショ
   ン遅延検証装置（ａ）評価対象を指定するコントロール
   ファイル、（ｂ）評価対象の遅延値を記述する遅延値記
   述ファイル、（ｃ）シミュレーションの結果を記憶する
   シミュレーション結果ファイル、（ｄ）上記コントロー
   ルファイルで指定された評価対象に基づいて、遅延値記
   述ファイルに記述された評価対象の遅延値とシミュレー
   ション結果ファイルに記憶された評価対象のシミュレー
   ション結果とを比較して、その比較結果を出力する遅延
   比較部。