JPH01290064A - 論理シミュレーション初期値設定コマンド自動生成装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 この発明は、論理回路の論理設計検証を行うＣＡ　Ｄ　
（ＣｏｍｐｕＴｅｒ　Ａｉｄｅｄ　Ｄｅｓｉｇｎ）であ
る。論理シミュレーション技術に関するものである。

〔従来の技術〕

第８図は論理シミュレータで正しく模擬するために設計
者が行う、初期値設定コマンド作成の従来の手順の一例
を示す図である。図において（１１は論理回路ネットワ
ーク情報、（２）は初期値設定コマンド作成手順情報、
（３）は設計者、（４）は設計者による作業及び思考プ
ロセス、（５）は初期値設定コマンドである。

次に、設計者による初期値設定コマンド作成について、
第８図を用いて説明する。設計者は、まず論理回路ネッ
トワーク情報（１）、及び初期値設定コマンド作成手順
情報（２）を基に、処理（３ａ）でどのような信号にど
のような形式で初期値設定コマンドを作成するかを知る
。次に処理（３ｂ）で、初期値設定コマンド作成手順の
知識をもとに、設計論理回路内の初期値設定をしなけれ
ばならない箇所（信号）を探す。そして、処理（３ｃ）
で初期値設定箇所の信号名を用いて所定の形式で初期値
設定コマンド（５）を作成する。

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

従来の初期値設定コマンドの作成は１以上のような手順
で行うので、設計者は論理シミュレーションに特有の知
識を持っていなければならず、また自分でいろいろ調査
や思考をしなければならず。

コマンドの指定抜けがあるなどの問題があり、その対策
が課題であった。

この発明は上記のような課題を解決するためになされた
もので、初期値設定コマンドを自動的に生成できる装置
を得ることを目的とする。

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

この発明に係る論理シミュレーション初期値設定コマン
ド自動生成装置は、従来、設計者の初期値設定コマンド
作成作業を、論理回路情報を入力する手段、論理シミュ
レーション用に初期値を設定する必要がある信号を自動
的に見つける手段。

その結果を論理シミュレーション用初期値コマンドとし
て出力する手段によって、自動化を実現したものである
。

〔作用〕

この発明における論理シミュレーション用に初期値を設
定する必要がある信号を自動的に見つける手段は、論理
回路ネットワーク情報を入力した後、その入力データを
用いて、初期値設定箇所検出アルゴリズムに従って回路
を解析し、初期値設定のための必要なデータを得る。

〔実施例〕

第１図はこの発明の一実施例による論理シミュレーショ
ン初期値設定コマンド自動生成装置の全体構成図である
。この実施例論理回路情報を処理（１ａ）によって装置
外部の磁器ディスクメモリから入力することと、初期値
設定コマンド作成手順を処理（２ａ）によって装置外部
の磁器ディスクメモリから入力することと、初期値を設
定することが必要な信号を処理（３ａ）によって自動的
に見つけ、コマンドに必要な情報を得るとと、その結果
を用いて処理（４ａ）によって論理シミュレーション用
のコマンドの形式で装置装置外部の磁器ディスク装置に
出力することによって、自動的に初期値設定コマンド（
４）が作成できるように構成されている。

次（２）上記実施例の動作を、第２図及び第３図〜第６
図を用いて説明する。第２図は、第１図の全体構成図の
中で、この発明の特徴的な処理（３ａ）のアルゴリズム
を示したものである。

また、第３図〜第６図は、第２図に示した処理アルゴリ
ズムによって初期値設定コマンドが自動生成される場合
について、それぞれ対象理論回路例、初期値設定コマン
ド作成手順例、出力される初期値コマンド例、及び第３
図に示す回路のタイムチャートを示す。

第２図のアルゴリズムを、第３図に示す対象回路例を基
に説明する。まず処理（６）で、あらかじめ入力してい
た理論回路ネットワーク情報（１）を検索し、ループを
構成している箇所の情報を得る。この情報は、ループを
構成しているゲート名や信号名等である。第３図でいえ
ばループ３（ＧＯ１２６→Ｇ０１２７→Ｇ０１２９→Ｇ
０１３０→ＧＯ１３１）、ループ１　（ＧＯ１２７→Ｇ
Ｏ１２Ｂ）　ＪＬ、−１２（ＧＯ１３０→Ｇ０１３１→
ＧＯ１３２）の３つのループを得る。

次に処理（７）で、検出したループ間が二重ループを構
成しているかを検索する。二重ループとは第３図のＧ　
Ｏ１２７の信号のように、２つのループが同一信号を共
有しているものをいう。すなわちループ３（Ｇ０１２６
→Ｇ０１２７→Ｇ０１２９→ＧＯ１３０→ＧＯ１３１）
とループｌ　（ＧＯ１２７→ＧＯ１２８）は二重ループ
である。

以上で検索した各ループに対して、初期値を設定すべき
信号を持つループか否かを判断するのが、処理（８）及
び判断（９）〜（ロ）である。

検出されたループのうち、まず１つのループの情報を処
理（８）で得る。次に判断（９１，ＱＯ）で、そのルー
プが二重ループを構成しているが、またそうならば外側
か内側かにより、初期値設定コマンドを生成すべきか否
かを選別する。すなわち、ループ３　（Ｇ　０１２７　
→Ｇ　０１２９　→Ｇ　０１３０−＋００１３１−４Ｇ
　０１２６）は二重ループの外側のループであるので、
初期値設定条件を満たさない。また、判断αυ、αので
ループの外部から入ってくる信号はあるが否が、また、
そのような信号がある場合には、トランスミッションゲ
ートのゲート端子に入力するものであるか否かにより、
初期値設定コマンドを生成すべきかを決定する。ループ
の外部から入ってくる信号とは、ループ３　　（ＧＯ１
２７−ＧＯ１２９→ＧＯ１３０−ＧＯ１３１−Ｇ○１２
６）を構成するゲートに入力するＰＨＩ信号やＰＨＩＢ
信号のことである。

また、ＰＨＩ信号やＰ　ＨＴ’Ｂ信号は、ループ構成し
ているトランスミッションゲートＧＯ１２６、ＧＯ１２
９、Ｇ○１３２のゲート端子に入力している。

初期値設定コマンドを生成することになったループに対
して、処理０３）でループ検索を開始をした信号に対し
て、処理（４ａ）の初期値設定コマンド出力手段を用い
て出力する。すなわち、第３図において、ループ１のＧ
０１２７、ＧＯ１２Ｂ、の順でループを検索したのであ
れば、ＧＯ１２７の検索開始信号に対して、またループ
２Ｇ０１３０、ＧＯ１３１、Ｇ。

１３２の順でループを検索したのであれば、　Ｇ　０１
３０の検索開始信号に対して、第５図のようなコマンド
を生成する。初期値設定をする時刻は、Ｏ２値は１にし
ている。

なお、第４関の初期値設定コマンド作成手順は、上記の
アルゴリズムで実行することを示すものであり、他の初
期値設定条件を記述してもよい。すなわち検出アルゴリ
ズムライブリとして使用する。

また、第３図で示した理論回路に対して、自動生成コマ
ンドを与えて理論シミレーションを実行すると、第３図
内のＰＨＩＨ信号の波形は第６図のようになり、実回路
の理論動作と一致した正しいシミレーションが可能とな
る。但し、第６図の０５）の波形は、初期値設定コマン
ドを与えなかった場合の理論シミレーション結果である
。

なお、上記実施例で理論シミレーション用に初期値を設
定する必要がある信号を自動的に見つける検出アルゴリ
ズムにおいて、トランスミッションゲートのゲート端子
への入力信号に関して特殊処理を行ったが、第７図に示
すような５ｅｔ−Ｒｅｓｅｔ端子なしのフリソプロソプ
におけるＱ端子とＤ端子が接続してループを構成してい
る場合のＴ端子への入力も特殊処理が行える。

又、上記実施例では、論理シミュレーション初期値設定
コマンド自動生成装置単位で構成したが、論理シミュレ
ータの一機能として構成してもよい。

以上のように、この発明によれば、従来、設計者が人手
で行なっていたことを、自動化でき、設計者の人手と時
間を削減できる。

【図面の簡単な説明】

第１図ないし第６図は、この発明の一実施例による論理
シミュレーション初期値設定コマンド自動生成装置に関
するもので、第１図は全体構成図、第２図は論理シミュ
レーション用に初期値を設定する必要がある信号を自動
的に見つける検出アルゴリズム、第３図は初期値設定が
自動生成される場合の対象理論回路図、第４図は初期値
設定コマンド作成の手順を示す説明図、第５図は出力さ
れる初期値設定コマンド、第６図は第３図の理論回路の
タイムチャートである。また、第７図はこの発明の他の
実施例を示すＳ　ｅｔ　−Ｒｅｓｅｔなしのフリップフ
ロップにおけるＱ端子とＤ端子の接続した理論回路図、
第８図は従来の設計者による初期値設定コマンド作成の
手順を示す説明図である。 なお、図中、同一符号は同一、又は相当部分を示す。

Claims (1)

【特許請求の範囲】
1. （１）論理回路ネットワーク情報を入力する手段と、論
   理シミュレーション用に初期値を設定する必要がある信
   号を自動的に見つける手段と、その結果を論理シミュレ
   ーション用の初期値コマンドとして出力する手段とを備
   えた論理シミュレーション初期値設定コマンド自動生成
   装置。