JPH0318776A - 論理回路の機能検証方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 産業上の利用分野 本発明は、シミュレーターを用いた論理回路の機能検証
方法に関し、特に、機能検証において入力検証バタンか
機能検証すべき検証項目の全てを検証したか否かを容易
に判定でき、かつまた機能検証すべき検証項目の中で検
証していない検証項目がある場合未検証の内容を容易に
把握できるような論理回路の機能検証方法である。

従来の技術 近年、論理回路の機能検証方法は論理回路の機能を、論
理素子あるいは機能素子の接続関係を図的に表現する図
的言語、あるいは、ハードウェア記述言語と言われる高
級言語によって記述し、検証パタンを上記記述に入力す
ることによって、シミュレーションを実行するという方
法で行なわれており、シミュレーションの出力値と期待
値とが一敗したか否かによって機能検証結果の合否を判
定するという方法で行なわれている。

発明が解決しようとする課題 しかしながら、上記のような方法では、人力検証バタン
か論理回路の機能の検証すべき内容の全てを検証してい
るか否かは容易には判断がつかず、検証すべき内容の中
で検証していない内容がある場合でも人出力関係が期待
どうりになっていれば論理回路の全てが正しく機能設計
されていると言うような誤解が生しると言う課題を有し
ている。

本発明は、上記課題に鑑み、論理回路中の任意の機能単
位に対して検証するべき状態をあらかしめ登録しておき
、シくユレーション中に上記検証するべき状態が発生し
たか否かを検査し、シミュレーション終了後に、検証す
るべき状態の中で、未検証の状態を表示することによっ
て、シξユレーションに用いた検証バタンか検証するべ
き状態の全てを検証したか否かを容易に判定でき、しが
も未検証の箇所と未検証の状態を容易に把握できる論理
回路の機能検証方法を提供するものである。

課題を解決するための手段 上記ｉ！題を解決するために本発明の論理回路の機能検
証方法は、シミュレーターを備えた論理回路の機能検証
方法において、論理回路の機能を記述し登録する機能記
述登録手段と、上記記述中の任意の機能単位に対して、
検証するべき状態を検証項目として登録する検証項目登
録手段と、シミュレーシゴン実行時に、上記登録された
検証するべき状態が発生した場合、該状態ごとに設定さ
れる検証実行状態フラグをオンにセットする検証実行状
態検査手段と、上記検証実行状態フラグの状態を記憶す
る検証実行状態記憶手段と、シξユレーション終了後に
、上記検証実行状態記憶手段の検証実行状態フラグがオ
フである検証項目を表示する未検証項目表示手段とを備
えたものである。

作用 本発明は上記１／た横威によって、まず、機能記述登録
手段に論理回路の機能の記述を登録し、検証項目登録手
段Ｇこ上記記述中の任意の機能単位に対して検証するべ
き状態を登録する。

検証実行状態記憶手段では、検証項目登録手段に登録さ
れた検証するべき各状態に対して検証するべき状態が発
生した場合にオン状態にセットされる検証実行状態フラ
グを、オフ状態にセットし記憶する。

上記機能記述登録手段の機能の記述をシミュレーターに
人力しシごユレーションを実行する。

シミュレーション実行時に、検証実行状熊検査手段では
、上記検証項目登録手段に検証するべき状態が登録され
た機能単位の状態をシミュレーターから人力し、該機能
単位の状態と該機能単位に対する検証するべき状態とを
比較し、検証するべき状態が発生した場合、検証実行状
態フラグをオンにし、検証実行状態記憶手段で、検証実
行状態フラグの状態を記憶する． シミュレーション終了時に、未検証項目表示手段では、
検証実行状態記憶手段で記憶されている検証実行状態フ
ラグを検査し、検証実行状態フラグがオフである検証項
目を表示することによってシミュレーションに用いた検
証バタンか検証するべき状態の全てを検証したか否かを
容易に判定でき、しかも未検証の状態を容易に把握でき
ることとなる。

実施例 以下、本発明の一実施例の論理回路の機能検証方法につ
いて、図面を参照しながら説明する．第１図において、
１１は被検証論理回路の機能を記述し登録するｍ能記述
登録手段、１２は上記機能記述を入力しシミュレーシゴ
ンを実行するシξユレーター、１３は機能記述中の任意
の機能単位に対する検証すべき状態をあらかじめ定義し
た記述を登録する検証項目登録手段、１４は上記検証項
目登録手段に登録された任意の機能単位に対する検証す
べき状態と、シもユレーション実行時における該当する
機能単位の状態とを比較し検証すべき状態が発生した否
かを検査し検証すべき状態が発生した場合、該状態ごと
に設定される検証実行状態フラグをオンにセントする検
証実行状態検査手段、ｌ５は上記検証実行状態フラグの
状態を記憶する検証実行状態記憶手段、ｔ６はシごユレ
ーション終了後に、上記検証実行状態記憶手段の検証実
行状態フラグがオフである検証項目を表示する未検証項
目表示手段である。

以上のように構威された論理回路の機能検証方法につい
て、以下、第１図，第２図．第３図，第４図．第５図，
第６図、及び、第７図を用いてその動作を説明する。

まず、第２図は機能記述登録千段ｌ１に対する機能記述
の登録例であって、この例において機能記述はハードウ
ェア記述言語と言われる高級言語で論理回路の機能が記
述され登録されている。第３図は検証項目登録千段ｌ３
に対する登録例であって、この例においては第２図のハ
ードウェア記述言語による記述の任意の機能単位に対し
て検証すべき状態が登録されている。

検証項目登録手段ｌ３に、第３図の様に登録された検証
すべき状態を定義した記述は、検証実行状態記憶千段ｌ
５に入力され、検証実行状態記憶手段１５では、検証項
目登録手段ｌ３に登録された検証するべき各状態に対し
て検証するべき状態が発生した場合にオン状態にセット
される検証実行状態フラグを設け該検証実行状態フラグ
の状態を初期状熊としてオフに設定し記憶する。例えば
、第３図に対する検証実行状態記憶手段ｌ５の初期状態
としては、第４図に示す様な状態である。

機能記述登録手段１１に第２図のように登録された機能
記述は、シ主ユレータ−１２に入力され、シミュレーシ
ョンが実行される。検証実行状態検査手段ｌ４では、シ
ミュレーション実行時に上記検証実行状態フラグを検査
し、該検証実行状態フラグがオフであるところの検証す
べき機能単位の’ｙ３ユレーション実行時の状態を、逐
次シミュレーターから取り込み、検証すべき状態と比較
し検証すべき状態の発生の有無を検出する。検証すべき
状態が発生した場合該当する検証実行状態フラグをオン
にセントし検証実行状態記憶千段ｌ５で検証実行状態フ
ラグの状態を記憶する。例えば、第３図に対するシ主ユ
レーション実行時の誤動作検出千段１４の動作としては
、初期状態では、検証実行状態フラグは、全てオフであ
るので、ｃｌｋ信号の立ち上がりエンジで、ＳＥＬとＴ
ＥＲ　１とＴＥＲ２の状態を検査し、第３図中の全ての
状態と比較し、一致したものについては、検証実行状態
フラグをオンに設定する。検証実行状態記憶千段１５で
は検証実行状態フラグを記憶する。

例えば、初期状態から１回目のｃｌｋの立ち上がりエッ
ジで、ＳＥＬがＨ，Ｔ巳Ｒ１が−１０、ＴＥＲ２が＋２
３の場合検証実行状態記憶千段ｌ５の状態としては、第
５図に示す様な状態となる。

次のｃｌｋ信号の立ち上がりエッジでは、ＳＥＬとＴＥ
Ｒ　１とＴＥＲ２の状態を検査し、第３図中の検証実行
状態フラグがオフである状態と比較し、一致したものに
ついては、検証実行状態フラグをオンに設定する。検証
実行状態記憶千段ｌ５では検証実行状態フラグを記憶す
る。未検証項目表示手段１６では、シξユレーション終
了後、検証実行状態記憶手段ｌ５に記憶されている検証
実行状態フラグの状態を検査し検証実行状態フラグがオ
フであるところの検証項目を検証項目登録手段ｌ３から
挿入し表示する。例えば、シミュレーション終了時の検
証実行状態記憶千段ｌ５の状態が第６図に示すような状
態であれば未検証項目表示手段ｌ６では、第７図のよう
に表示される。

以上のように本実施例によれば、被検証論理回路の機能
を高級言語によって記述することと、任意のｉ能単位に
ついて検証するべき状態を記述することによって、任意
の人力バタンに対してシくユレーション実行時に検証す
るべき状態が発生したか否かが検査され、シくユレーシ
ョン実行後に上記入力バタンによって検証されなかった
状態が表示されるため、シミュレーション実行後に上記
入力パタンによって検証されなかった状態を容易に把渥
できる。なお、本実施例において機能記述登録手段ｌ１
は高級言語による機能記述を登録する手段としたが、論
理回路に含まれる素子の接続関係を図的に表現した図的
言語による機能記述を登録する手段としてもよい。第８
図に、機能記述登録千段１ｌの、論理回路に含まれる素
子の接続関係を図的に表現した図的言語による機能記述
の一例を示す。機能記述登録手段１１を、論理回路に含
まれる素子の接続関係を図的に表現した図的言語による
機能記述を登録する手段として構威された論理回路の機
能検証方法についても、第１図の構成による、上記の実
施例と同様に実施できる。

機能記述登録千段１１を、論理回路に含まれる素子の接
続関係を図的に表現した図的言語による機能記述を登録
する手段として構威された論理回路の機能検証方法では
、被検証論理回路の機能を論理回路に含まれる素子の接
続関係を図的に表現した図的言語によって記述すること
と、任意の機能単位について検証するべき状態を記述す
ることによって、任意の入力パタンに対してシミュレー
ション実行時に検証するべき状態が発生したか否かが検
査され、シミュレーション実行後に上記入力バタンによ
って検証されなかった状態が表示されるため、シミュレ
ーション実行後に上記入力パタンによって検証されなか
った状態を容易に把握できる。

発明の効果 以上のように本発明は、論理回路の機能を記述し登録す
る機能記述登録手段と、上記記述中の任意の機能単位に
対して、検証するべき状熊を検証項目として登録する検
証項目登録手段と、シミュレーション実行時に、上記登
録された検証するべき状態が発生した場合、該状態ごと
に設定される検証実行状態フラグをオンにセットする検
証実行状態検査手段と、上記検証実行状態フラグの状態
を記憶する検証実行状態記憶手段と、シ稟ユレーシジン
終了後に、上記検証実行状態記憶手段の検証実行状態フ
ラグがオフである検証項目を表示する未検証項目表示手
段とを設けることにより、論理回路中の任意の機能単位
に対して検証するべき状態をあらかじめ記述しておき、
シξユレーション中に上記検証するべき状態が発生した
かを検査することによって、シミュレーション実行後に
シミュレーション人力パタンによって検証されなかった
状態を容易に把握できる。

【図面の簡単な説明】

第ｌ図は本発明の実施例における論理回路の機能検証方
法の構戊図、第２図は機能記述登録手段への高級言語に
よる記述の登録例を示した図、第３図は検証項目登録手
段への登録例を示した図、第４図は検証実行状態記憶手
段の初期状態の一例を示した図、第５図は検証実行状態
記憶手段のシミュレーション実行中の状態の一例を示し
た図、第６図は検証実行状態記憶手段の、シミュレーシ
ョン実行後の状態の一例を示した図、第７図は未検証内
容表示手段に表示される未検証内容の表示例を示した図
、第８図は機能記述登録手段への図的言語による記述の
登録例を示した図である。 １１・・・・・・機能記述登録手段、１２・・・・・・
シミュレーター、１３・・・・・・検証項目登録手段、
ｌ４・・・・・・検証実行状態検査手段、１５・・・・
・・検証実行状態記憶手段、ｌ６・・・・・・未検証項
目表示手段。

Claims (2)

【特許請求の範囲】
1. （１）シミュレーターを備えた論理回路の機能検証方法
   において、論理回路の機能を記述し登録する機能記述登
   録手段と、上記記述中の任意の機能単位に対して、検証
   するべき状態を検証項目として登録する検証項目登録手
   段と、シミュレーション実行時に、上記登録された検証
   するべき状態が発生した場合、該状態ごとに設定される
   検証実行状態フラグをオンにセットする検証実行状態検
   査手段と、上記検証実行状態フラグの状態を記憶する検
   証実行状態記憶手段と、シミュレーション終了後に、上
   記検証実行状態記憶手段の検証実行状態フラグがオフで
   ある検証項目を表示する未検証項目表示手段、とを備え
   たことを特徴とする論理回路の機能検証方法。
2. （２）機能記述登録手段は、論理回路と等価な動作を高
   級言語によって表現した機能表現、あるいは、論理回路
   に含まれる素子を図的言語として表現した機能表現を登
   録する手段であることを特徴とする請求項（１）記載の
   論理回路の機能検証方法。