JPH03266080A - 論理シミュレーション方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 （産業上の利用分野〕 本発明は論理設計検証システムに係り、特に論理シミュ
レータを用いた論理設計ミス、及び論理シミュレーショ
ン用論理回路モデルの記述ミスの修正作業の効率を向上
する論理シミュレーション方法しこ関する。

〔従来の技術〕

論理回路の設計支援システムの一部として論理回路設計
の検証を行う論理シミュレータがある。

これは対象となる論理回路の機能や構造を電子計算機の
プログラム、即ち論理回路モデルとして表現し、その論
理回路モデルに適当な入力情報を与えることによって実
際の論理回路の動作を模擬し、その結果が期待値と異な
っていた場合にもとの論理回路の設計ミス、もしくはこ
の論理回路モデルの作成ミスを発見し、修正を行うこと
を可能とするツールである。論理回路の誤りを修正した
場合、再び先はどの入力情報を用いて論理シミュレーシ
ョンを行う。

この時の手法として、全ての登録イベントの履歴を保存
し、論理シミュレーション中のある時点の状態を復元す
る方法が特開昭５９−１１７６６０に示されている。こ
の従来例のように全ての発生イベントを保存しておけば
論理シミュレーション中のあらゆる時点を復元できる。

しかし、大規模な論理回路の論理シミュレーションや論
理シミュレーションへ入力する入力情報が長い場合は莫
大な記憶容量が必要であり、この方法は実用的とは言い
難い。

〔発明が解決しようとする課題〕

論理シミュレーション装置を用いて論理回路の設計の修
正、もしくはその論理シミュレーション用モデルの修正
を行う場合、従来は論理回路モデルを修正した後、修正
が正しかったかを判定するために再度修正前と同じ論理
シミュレーション入力情報を始めから入力し直していた
。これは論理シミュレーション結果と期待値が異なる時
点までに計算された論理回路の各構成要素の内部状態と
端子上の論理値を復元するためであるが、このために多
大の論理シミュレーション時間を要し、作業効率悪化の
一原因となっていた。このため論理シミュレーションの
最中に発生するイベントの全ての履歴を保存しておいて
再スタートをする方法が考案されたが記憶容量の点から
大規模な論理回路の設計には不向きであった。

本発明の目的は論理回路修正後の再論理シミュレーショ
ンにおいて、論理シミュレーション入力情報を最初から
入力し直すことなく、適当な時点からの再論理シミュレ
ーションを可能とすることによって、論理の修正作業を
効率良く行えるようにすることにある。

〔課題を解決するための手段〕

上記問題点は、論理回路モデルのコンパイラもしくはリ
ンカが内蔵する論理回路モデルの各構成要素のメモリ上
の配置を示すロケーション情報を出力するステップと、
論理シミュレータが内蔵する、前記ロケーション情報を
元に論理シミュレーション途中で前記構造モデル上の論
理値と前記機能モデル内の変数値の格納位置を認識し、
それらの値を、登録イベントと論理シミュレーション実
行ステップからなる論理シミュレーション実行時情報と
共に、使用者が指定する任意の間隔で保存するステップ
と、前記論理値と前記変数値を論理回路モデル上に再配
置することによって前記論理値と前記変数値を保存した
時点からの論理シミュレーションを再開できるようにす
るステップによって解決される。

〔作用〕

論理回路モデルのコンパイラもしくはリンカに内蔵され
た論理回路モデルの各構成要素のメモリ上の配置を示す
ロケーション情報を出力するステップは、対象となる論
理回路モデルの各構成要素のメモリ上の配置アドレスを
論理回路モデル先頭アドレスからの相対値で出力する。

この情報は後に論理シミュレータから参照され、論理回
路の構造モデル上の論理値や、機能モデル内の変数値な
どの保存の際に用いられる。論理シミュレータに内蔵さ
れた、前記ロケーション情報を元に論理回路モデルの構
造モデル上の論理値と機能モデル内の変数値の格納位置
を認識し、それらの値を、登録イベントと論理シミュレ
ーション実行ステップからなる論理シミュレーション実
行時情報と共に、使用者が指定する任意の間隔で保存す
るステップは、前記ロケーション情報によって、論理シ
ミュレーションの再スタートに必要な情報である論理回
路モデル上の論理値と変数値の格納場所を認識し、その
時点で論理シミュレータ内部のテーブルに登録されてい
るイベントや論理シミュレーション実行ステップ等と共
に出力する。この操作は使用者が指定する１つ以上の時
点で行われる。同様に論理シミュレータに内蔵されてい
る。前記ステップが出力した情報を、論理回路モデルの
論理シミュレーションシステム上に再配置するステップ
は、前記ステップが出力した１つ以上の時点の情報の中
から、使用者によって指定される１つの時点の情報を論
理回路モデル、もしくは論理シミュレータ上の元の場所
に再配置する。これによってその情報を保存した時点か
らの論理シミュレーションを再開することができるよう
になる。

［実施例〕 以下、本発明の一実施例を添付の図を用いて説明する。

第１図は本発明による論理シミュレータの機能の一例を
示したものである。まず判断１１によってこれから始め
る論理シミュレーションが先に保存したデータを用いて
行う再スタートの論理シミュレーションなのか、または
通常の論理シミュレーションを始めから行うのかを判断
する。この時、もし再スタートの論理シミュレーション
であれば操作１２によって、以前保存しておいた論理回
路モデル上の再スタート用データを元の場所に配置する
。

次に論理シミュレーションを開始する。その手順は、操
作１３によって本論理シミュレーションが取扱う１単位
時間分の論理シミュレーションを実施する。その主な内
容はイベントの伝播とそのイベントが伝播される論理回
路の構成要素の演算、及びそれによって新たに発生する
イベントの登録である。

次に操作１４で時間管理部分の時間を一単位時間進める
。そして判断１５により論理シミュレーションの終了時
刻かを゛判断する。この時刻は論理回路モデルへの入力
情報が無くなるか、使用者が打ち切り時刻を指定するか
によって決定される。

もし終了時刻であればそのまま論理シミュレーションを
終了する。そうでなければ使用者が指定した再スタート
のための各種情報を保存する時刻かを判断１６によって
調べる。その時刻でなければ再び操作１３を行って論理
シミュレーションを継続するか、そうでなければ再スタ
ート用論理シミュレーション情報の保存１７を行ってか
ら操作１３に戻る。この操作１７では後に第３図や第４
図で説明する各種情報を保存する。

第２図は本発明を実行するためのハードウェア構成の一
例を示す。表示装置２１及び適当な入力袋＠（キーボー
ド、カードリーダ、グラフィック端末装置など）２２は
、論理回路モデル及びその論理回路モデルへの入力デー
タを入力するために用いられる。処理袋＠２３は入力さ
れた論理回路モデルを論理シミュレーション可能な形態
に変換し、また論理回路モデルの機能に従って入力デー
タを処理して論理シミュレーション結果を生成する。記
憶装置２４は処理装置２３によって生成された論理回路
モデルと、論理シミュレーション実行により出力される
情報を保持する。出力装置（プリンタ、プロッタなど）
２５は処理装置２３によって生成される論理シミュレー
ション結果を出力する。

第３図に論理シミュレーションを行うのに必要なデータ
の例を示す。論理シミュレーション入力情報３１は論理
回路モデル上の入力端子、あるいは途中の信号線に直接
入力するデータであり、論理シミュレーションする上で
の時間の進行に従って入力される。論理回路モデル３２
は論理シミュレーション対象の論理回路を計算機の記憶
装置上に表現したものである。この論理回路モデル３２
は論理回路の構成（使用されている素子や、それらをつ
なぐ配線）を示す構造モデル３３と各構成要素内部の機
能を記述した機能モデル３４からなる。論理シミュレー
タは発生したイベントについて、構造モデル３３からそ
のイベントが伝播される次の素子を認識する。構造モデ
ル上の構成要素３５にはその要素への入力やその要素か
らの出力の値の他、その要素の機能を記述した機能モデ
ル３４の開始アドレスが格納されている。これによって
各構成要素の演算が行われる。

第４図は論理シミュレーションの時間管理方法の例であ
る。時間軸４１は当該論理シミュレーションシステムが
取扱う最小時間ごとに区切られており、そこには各時間
に発生するイベント情報４２が鎖状に登録されている。

イベント情報４２には論理回路モデル上でイベントが発
生する位置や値と共に、次のイベント情報へのポインタ
が格納されている。

第５図に本発明による論理シミュレーションシステムを
用いた論理検証工程の全体図の一例の概略図を示す。実
線の矢印は操作の流れを、破線の矢印は情報の流れを示
す。

まず操作５１で論理回路モデル５２の作成を行い、その
データを論理シミュレーション実行可能な形態に操作５
３で変換し、論理シミュレーション実行型ファイル５４
を作成する。またその操作時に論理回路モデルの構成要
素のロケーション情報５５を生成する。このロケーショ
ン情報については後に第６図で例示する。一方この操作
の流れとは別に対象とする論理回路モデルに入力するた
めの論理シミュレーション入カバターン５７を操作５６
によって作成しておく。

論理シミュレーション実行型ファイル５４．論理回路モ
デルの構成要素のロケーション情報５５゜論理シミュレ
ーション入力情報５７を入力とし、論理シミュレーショ
ン５８を実行する。その詳細例は第１図で示した通りで
ある。この操作により、論理シミュレーション結果５９
と再スタート用論理シミュレーション情報５１０が出力
される。この再スタート用論理シミュレーション情報５
１０とは、第３図で示した論理シミュレーションステッ
プ、構造モデルの各構成要素上の値、機能モデル上の変
数値格納域の値、及び第４図で示した、登録されている
イベントとその登録時刻と現在論理シミュレーションを
行っている時刻等である。

操作５１２は論理シミュレーション結果５９に不都合な
点が見つかった場合、論理シミュレーションモデルや論
理シミュレーション入力情報を変更する操作である。こ
の変更に応じて各ファイル内容を書き換える。

第６図は、第５図で示した論理回路モデル構成要太のロ
ケーション情報５５の一例である。ここで論理回路モデ
ル構成要素とは、構造モデルに於けるゲートやシリコン
モジュール、信号線上の各値の格納場所、及び機能モデ
ルに於ける各演算実行部とその上の恒久的な変数の格納
場所を指す。

〔発明の効果〕

本発明によれば、論理回路モデル修正後の再論理シミュ
レーション時に論理シミュレーション入力情報の先頭か
ら入力し直さなくても済む。その効果は、全論理シミュ
レーション時間を５等分する４個の時点で再スタート用
論理シミュレーション情報を保存するとし、かつ５個の
論理ミスが各分割部分の中央の時点で１個ずつ発見され
る様な単純な例の場合、論理シミュレーション時間で平
均３分の１の時間の節約になる。実際の混在レベル論理
シミュレーションに於いて、論理不良は長時間の論理シ
ミュレーション後に発見されるのが通常であり、本発明
による途中からの再論理シミュレーションが可能である
ことは、論理シミュレーション時間の削減に大きな効果
がある。これは論理シミュレーション中は使用者が論理
シミュレーション結果を監視できないシステムを想定し
ているが、論理シミュレーション中にも出力結果が監視
できれば更に全工数は削減される。

【図面の簡単な説明】

第１図は本発明の一実施例における論理シミュレーショ
ンを行なう過程の一例を示すフローチャート、第２図は
本発明を実行するためのハードウェア構成の一例を示す
ブロックダイヤグラム、第３図及び第４図は論理シミュ
レーションの再スタート用の情報の一例であり、本発明
が適用される論理回路モデルと論理シミュレーション入
力情報。 論理シミュレーションの時間管理方法の一例を示す図、
第５図は本発明が適用される論理シミュレーションシス
テムの操作と情報の流れの一例を示す説明図、第６図は
論理回路モデルの構成要素の配置を示す情報の一例を示
す図である。 １２・・・論理シミュレーションの途中からの再スター
トを行なうための環境設定を行なうステップ、１７・・
・再スタート用の論理シミュレーション情報を保存する
ステップ、５５・・・再スタート用の論理シミュレーシ
ョン情報を格納したり再スタートを行なうために必要な
論理回路の構成要素のロケー■ 圓 図 （＾） １ （′ｂ） 慧 図 窩 図 蔓 図

Claims (1)

【特許請求の範囲】
1. １、入力装置と出力装置と前記入力装置及び出力装置に
   接続されたデータ処理装置と前記データ処理装置に接続
   された記憶装置を有し、論理回路の構造モデルと論理回
   路を構成する各要素の機能モデルとから成る論理回路モ
   デルを扱うことのできる論理シミュレーションシステム
   において、前記論理回路モデルの各構成要素の配置を示
   すロケーション情報を出力するステップと、前記ロケー
   ション情報を元に、論理シミュレーション途中で前記構
   造モデル上の繕理値と前記機能モデル内の変数値の格納
   位置を認識し、それらの値を、登録イベントと論理シミ
   ュレーション実行ステップとからなる論理シミュレーシ
   ョン実行時情報と共に、使用者が指定する任意の間隔で
   保存するステップと、前記論理値と前記変数値及び前記
   論理シミュレーション実行時情報を前記論理回路モデル
   の論理シミュレーションシステム上に再配置することに
   よつて前記論理値と前記変数値及び前記論理シミュレー
   ション実行時情報を保存した時点からの論理シミュレー
   ションを再開することができるようにするステップを有
   することを特徴とする論理シミュレーション方法。