JPH0341565A - 論理回路の機能検証方法 - Google Patents
論理回路の機能検証方法Info
- Publication number
- JPH0341565A JPH0341565A JP1177507A JP17750789A JPH0341565A JP H0341565 A JPH0341565 A JP H0341565A JP 1177507 A JP1177507 A JP 1177507A JP 17750789 A JP17750789 A JP 17750789A JP H0341565 A JPH0341565 A JP H0341565A
- Authority
- JP
- Japan
- Prior art keywords
- verification
- state
- execution state
- function
- verification execution
- 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.)
- Pending
Links
Landscapes
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
産業上の利用分野
本発明は、シミュレータを用いた論理回路の機能検証方
法に関し、特に、Ｊａ能検証において入力検証バタンか
機能検証すべき検証項目の全てを検証したか否かを容易
に判定でき、かつまた機能検証すべき検証項目の中で検
証していない検証項目がある場合未検証の内容を容易に
把握できるような論理回路の機能検証方法である。
法に関し、特に、Ｊａ能検証において入力検証バタンか
機能検証すべき検証項目の全てを検証したか否かを容易
に判定でき、かつまた機能検証すべき検証項目の中で検
証していない検証項目がある場合未検証の内容を容易に
把握できるような論理回路の機能検証方法である。
従来の技術
近年、論理回路の機能検証方法は論理回路の機能を、論
理素子あるいは機能素子の接続関係を図的に表現する図
的言語、あるいはハードウェア記述言語と言われる高級
言語によって記述し、検証バタンを上記記述に入力する
ことによって、シミュレーションを実行するという方法
で行なわれており、シミュレーションの出力値と期待値
とが一致したか否かによって機能検証結果の合否を判定
するという方法で行なわれている。
理素子あるいは機能素子の接続関係を図的に表現する図
的言語、あるいはハードウェア記述言語と言われる高級
言語によって記述し、検証バタンを上記記述に入力する
ことによって、シミュレーションを実行するという方法
で行なわれており、シミュレーションの出力値と期待値
とが一致したか否かによって機能検証結果の合否を判定
するという方法で行なわれている。
発明が解決しようとする課題
しかしながら、上記のような方法では、入力検証バタン
か論理回路の機能の検証すべき内容の全てを検証してい
るか否かは容易には判断がつかず、検証すべき内容の中
で検証していない内容がある場合でも人出力関係が期待
どうりになっていれは論理回路の全てが正しく機能設計
されていると言うような誤解が生しると言う課題を有し
ている。
か論理回路の機能の検証すべき内容の全てを検証してい
るか否かは容易には判断がつかず、検証すべき内容の中
で検証していない内容がある場合でも人出力関係が期待
どうりになっていれは論理回路の全てが正しく機能設計
されていると言うような誤解が生しると言う課題を有し
ている。
本発明は、上記課題に鑑み、論理回路の機能の記述に際
して検証するべき状態があらかじめ登録されている機能
シンボルを用いて論理回路の機能を記述し、シミュレー
ション中に上記検証するべき状態が発生したか否かを検
査し、シミュレーション終了後に検証するべき状態の中
で未検証の状態を表示することによって、シミュレーシ
ョンに用いた検証バタンか検証するべき状態の全てを検
証したか否かを容易に判定でき、しかも未検証の箇所と
未検証の状態を容易に把握できる論理回路の機能検証方
法を提供するものである。
して検証するべき状態があらかじめ登録されている機能
シンボルを用いて論理回路の機能を記述し、シミュレー
ション中に上記検証するべき状態が発生したか否かを検
査し、シミュレーション終了後に検証するべき状態の中
で未検証の状態を表示することによって、シミュレーシ
ョンに用いた検証バタンか検証するべき状態の全てを検
証したか否かを容易に判定でき、しかも未検証の箇所と
未検証の状態を容易に把握できる論理回路の機能検証方
法を提供するものである。
課題を解決するための手段
上記課題を解決するために本発明の論理回路の機能検証
方法は、シミュレータを備えた論理回路の機能検証方法
において、検証するべき状態があらかしめ検証項目とし
て登録されている機能シンボル・を登録した検証項目登
録済み機能シンボルライブラリと、検証項目登録済み機
能シンボルライブラリ中の機能シンボルを用いて論理回
路の機能を記述し登録する機能記述登録手段と、シＱ
１レ一シヨン実行時に登録された検証するべき状態が発
生した場合、状態ごとに設定される検証実行状態フラグ
をオンにセットする検証実行状態検査手段と、検証実行
状態フラグの状態を記憶する検証実行状態記憶手段と、
シミュレーション終了後に検証実行状態記憶手段の検証
実行状態フラグがオフである検証項目を表示する未検証
項目表示手段とを備えたものである。
方法は、シミュレータを備えた論理回路の機能検証方法
において、検証するべき状態があらかしめ検証項目とし
て登録されている機能シンボル・を登録した検証項目登
録済み機能シンボルライブラリと、検証項目登録済み機
能シンボルライブラリ中の機能シンボルを用いて論理回
路の機能を記述し登録する機能記述登録手段と、シＱ
１レ一シヨン実行時に登録された検証するべき状態が発
生した場合、状態ごとに設定される検証実行状態フラグ
をオンにセットする検証実行状態検査手段と、検証実行
状態フラグの状態を記憶する検証実行状態記憶手段と、
シミュレーション終了後に検証実行状態記憶手段の検証
実行状態フラグがオフである検証項目を表示する未検証
項目表示手段とを備えたものである。
作用
本発明は上記した構成によって、まず、検証するべき状
態があらかじめ検証項目として登録されている機能シン
ボルを登録した検証項目登録済み機能シンボルライブラ
リ中の機能シンボルを用いて論理回路の機能を記述し機
能記述登録手段に登録する。検証実行状態記憶手段では
、各検証項目に対して項目に該当する状態が発生した場
合にオン状態にセットされる検証実行状態フラグをオフ
状態にセットし記憶し、機能記述登録手段の機能の記述
をシミュレータに入力しシミュレーションを実行する。
態があらかじめ検証項目として登録されている機能シン
ボルを登録した検証項目登録済み機能シンボルライブラ
リ中の機能シンボルを用いて論理回路の機能を記述し機
能記述登録手段に登録する。検証実行状態記憶手段では
、各検証項目に対して項目に該当する状態が発生した場
合にオン状態にセットされる検証実行状態フラグをオフ
状態にセットし記憶し、機能記述登録手段の機能の記述
をシミュレータに入力しシミュレーションを実行する。
検証実行状態検査手段では、機能シンボルの状態をシミ
ュレータから入力し、機能シンボルの状態と機能シンボ
ルに対する検証するべき状態とを比較し、検証するべき
状態が発生した場合、検証実行状態フラグをオンにし、
検証実行状態記憶手段で検証実行状態フラグの状態を記
憶する。未検証項目表示手段では、検証実行状態記憶手
段で記憶されている検証実行状態フラグを検査し、検証
実行状態フラグがオフである検証項目を表示することに
よってシミュレーションに用いた検証バタンか検証する
べき状態の全てを検証したか否かを容易に判定でき、し
かも未検証の状態を容易に把握することができる。
ュレータから入力し、機能シンボルの状態と機能シンボ
ルに対する検証するべき状態とを比較し、検証するべき
状態が発生した場合、検証実行状態フラグをオンにし、
検証実行状態記憶手段で検証実行状態フラグの状態を記
憶する。未検証項目表示手段では、検証実行状態記憶手
段で記憶されている検証実行状態フラグを検査し、検証
実行状態フラグがオフである検証項目を表示することに
よってシミュレーションに用いた検証バタンか検証する
べき状態の全てを検証したか否かを容易に判定でき、し
かも未検証の状態を容易に把握することができる。
実施例
以下、本発明の一実施例の論理回路の機能検証方法につ
いて、図面を参照しながら説明する。
いて、図面を参照しながら説明する。
第１図は、本発明の第１の実施例における論理回路の機
能検証方法の構成図である。
能検証方法の構成図である。
第１図において、１１は検証するべき状態があらかじめ
検証項目として登録されている機能シンボルを登録した
検証項目登録済み機能シンボルライブラリ、１２は被検
証論理回路の機能を検証項目登録済み機能シンボルライ
ブラリ中の機能シンボルを用いて記述し登録する機能記
述登録手段、１３は機能記述を入力しシミュレーション
を実行するシミュレータ、１４は検証項目登録手段に登
録された任意の機能シンボルに対する検証すべき状態、
シミュレーション実行時における該当する機能シンボル
の状態とを比較し検証すべき状態が発生したか否かを検
査し検証すべき状態が発生した場合、状態ごとに設定さ
れる検証実行状態フラグをオンにセットする検証実行状
態検査手段、１５は検証実行状態フラグの状態を記憶す
る検証実行状態記憶手段、１６はシミュレーション終了
後に、検証実行状態記憶手段の検証実行状態フラグがオ
フである検証項目を表示する未検証項目表示手段である
。
検証項目として登録されている機能シンボルを登録した
検証項目登録済み機能シンボルライブラリ、１２は被検
証論理回路の機能を検証項目登録済み機能シンボルライ
ブラリ中の機能シンボルを用いて記述し登録する機能記
述登録手段、１３は機能記述を入力しシミュレーション
を実行するシミュレータ、１４は検証項目登録手段に登
録された任意の機能シンボルに対する検証すべき状態、
シミュレーション実行時における該当する機能シンボル
の状態とを比較し検証すべき状態が発生したか否かを検
査し検証すべき状態が発生した場合、状態ごとに設定さ
れる検証実行状態フラグをオンにセットする検証実行状
態検査手段、１５は検証実行状態フラグの状態を記憶す
る検証実行状態記憶手段、１６はシミュレーション終了
後に、検証実行状態記憶手段の検証実行状態フラグがオ
フである検証項目を表示する未検証項目表示手段である
。
以上のように構成された論理回路の機能検証方法につい
て、以下、第１図、第２図、第３図、第４図、第５図、
第６図及び第７図を用いてその動作を説明する。
て、以下、第１図、第２図、第３図、第４図、第５図、
第６図及び第７図を用いてその動作を説明する。
まず、第２図は機能記述登録手段１２に対する機能記述
の登録例である。 ３１．３３はフリップフロップ、３
２は加算器、３４は定数倍器である。検証項目登録済み
機能シンボルライブラリｌｌ中の機能シンボルを用いた
図的言語によって論理回路の機能が記述され登録されて
いる。第３図ばあらかしめ登録されている検証項目の一
例として第２図中のシンボル１に対する検証項目である
。
の登録例である。 ３１．３３はフリップフロップ、３
２は加算器、３４は定数倍器である。検証項目登録済み
機能シンボルライブラリｌｌ中の機能シンボルを用いた
図的言語によって論理回路の機能が記述され登録されて
いる。第３図ばあらかしめ登録されている検証項目の一
例として第２図中のシンボル１に対する検証項目である
。
第３図の様に登録された検証すべき状態を定義した記述
は、検証実行状態記憶手段１５に入力され、検証実行状
態記憶手段１５では、検証するべき各状態に対して検証
するべき状態が発生した場合にオン状態にセットされる
検証実行状態フラグを設け、検証実行状態フラグの状態
を初期状態としてオフに設定し記憶する。例えば、第３
図に対する検証実行状態記憶手段１５の初期状態として
は第４図に示す様な状態である。
は、検証実行状態記憶手段１５に入力され、検証実行状
態記憶手段１５では、検証するべき各状態に対して検証
するべき状態が発生した場合にオン状態にセットされる
検証実行状態フラグを設け、検証実行状態フラグの状態
を初期状態としてオフに設定し記憶する。例えば、第３
図に対する検証実行状態記憶手段１５の初期状態として
は第４図に示す様な状態である。
機能記述登録手段１２に第２図のように登録された機能
記述は、シミュレータ１３に入力され、シミュレーショ
ンが実行される。検証実行状態検査手段１４では、機能
シンボルのシミュレーション実行時の状態を逐次シミュ
レータから取り込み、検証実行状態フラグがオフである
ところの検証項目と比較し検証すべき状態の発生の有無
を検出する。
記述は、シミュレータ１３に入力され、シミュレーショ
ンが実行される。検証実行状態検査手段１４では、機能
シンボルのシミュレーション実行時の状態を逐次シミュ
レータから取り込み、検証実行状態フラグがオフである
ところの検証項目と比較し検証すべき状態の発生の有無
を検出する。
検証すべき状態が発生した場合、該当する検証実行状態
フラグをオンにセットし検証実行状態記憶手段１５で検
証実行状態フラグの状態を記憶する。
フラグをオンにセットし検証実行状態記憶手段１５で検
証実行状態フラグの状態を記憶する。
例えば、第３図に対するシミュレーション実行時の誤動
作検出手段１４の動作としては、初期状態では検証実行
状態フラグは全てオフであるので、第３図中の全ての状
態と比較し、一致したものについては検証実行状態フラ
グをオンに設定する。検証実行状態記憶手段１５では検
証実行状態フラグを記憶する。例えば、初期状態から１
回目のＴＥＲｌとＴＥＲ２のイベント発生時に、ＴＥＲ
１が１１ＴＥＲ２が０の場合検証実行状態記憶手段１５
の状態としては第５図に示す様な状態となる。
作検出手段１４の動作としては、初期状態では検証実行
状態フラグは全てオフであるので、第３図中の全ての状
態と比較し、一致したものについては検証実行状態フラ
グをオンに設定する。検証実行状態記憶手段１５では検
証実行状態フラグを記憶する。例えば、初期状態から１
回目のＴＥＲｌとＴＥＲ２のイベント発生時に、ＴＥＲ
１が１１ＴＥＲ２が０の場合検証実行状態記憶手段１５
の状態としては第５図に示す様な状態となる。
次のＴＥＲ１とＴＥＲ２のイベント発生時では、ＴＥＲ
１とＴＥＲ２の状態を検査し、第５図中の検証実行状態
フラグがオフである状態と比較し、一致したものについ
ては検証実行状態フラグをオンに設定する。検証実行状
態記憶手段１５では検証実行状態フラグの状態を記憶す
る。未検証項目表示手段１６では、シミュレーション終
了後、検証実行状態記憶手段１５に記憶されている検証
実行状態フラグの状態を検査し検証実行状態フラグがオ
フであるところの検証項目を表示する。例えば、シくニ
レ−ジョン終了時の検証実行状態記憶手段１５の状態が
第６図に示すような状態であれば未検証項目表示手段１
６では第７図のように表示される。
１とＴＥＲ２の状態を検査し、第５図中の検証実行状態
フラグがオフである状態と比較し、一致したものについ
ては検証実行状態フラグをオンに設定する。検証実行状
態記憶手段１５では検証実行状態フラグの状態を記憶す
る。未検証項目表示手段１６では、シミュレーション終
了後、検証実行状態記憶手段１５に記憶されている検証
実行状態フラグの状態を検査し検証実行状態フラグがオ
フであるところの検証項目を表示する。例えば、シくニ
レ−ジョン終了時の検証実行状態記憶手段１５の状態が
第６図に示すような状態であれば未検証項目表示手段１
６では第７図のように表示される。
この様な動作が機能記述登録手段１２に登録された全て
のシンボルに対して行われる。
のシンボルに対して行われる。
以上のように本発明の第１の実施例によれば、被検証論
理回路の機能を検証項目登録済み機能シンボルライブラ
リ中の機能シンボルを用いて記述することによって、シ
ミュレーション実行時に検証するべき状態が発生したか
否かが全ての機能シンボルに対して検査され、シミュレ
ーション実行後に上記入力バタンによって検証されなか
った状態が表示されるため、シミュレーション実行後に
、検証されなかった状態を容易に把握できる。
理回路の機能を検証項目登録済み機能シンボルライブラ
リ中の機能シンボルを用いて記述することによって、シ
ミュレーション実行時に検証するべき状態が発生したか
否かが全ての機能シンボルに対して検査され、シミュレ
ーション実行後に上記入力バタンによって検証されなか
った状態が表示されるため、シミュレーション実行後に
、検証されなかった状態を容易に把握できる。
以下、本発明の第２の実施例の論理回路の機能検証方法
について図面を参照しながら説明する。
について図面を参照しながら説明する。
第８図は、本発明の第２の実施例における論理回路の機
能検証方法の構成図である。
能検証方法の構成図である。
第８図において、２１は検証するべき状態があらかじめ
検証項目として登録されている機能シンボル群を記憶し
ている検証項目登録済み機能シンボルライブラリ、２２
は被検証論理回路の機能を検証項目登録済み機能シンボ
ルライブラリ中の機能シンボルを用いて記述し登録する
機能記述登録手段、２３は機能記述を入力しシミュレー
ションを実行するシミュレータ、２４は検証項目登録手
段に登録された任意の機能シンボルに対する検証すべき
状態とシミュレーション実行時における該当する機能シ
ンボルの状態とを比較し検証すべき状態が発生したか否
かを検証し、検証すべき状態が発生した場合、状態ごと
に設定されるい検証実行状態フラグをオンにセットする
検証実行状態検査手段、２５は検証実行状態フラグの状
態を記憶する検証実行状態記憶手段、２６はシミュレー
ション終了後に、検証実行状態記憶手段の検証実行状態
フラグがオフである検証項目を表示する未検証項目表示
手段で、以上は第１図の構成と同様なものである。第１
図の構成と異なるのは機能記述登録手段に記述された検
証項目登録済み機能シンボルのなかで検証状態の検査を
行なう機能シンボルを指定する検証実行状態検査範囲指
定手段２７を設けた点である。
検証項目として登録されている機能シンボル群を記憶し
ている検証項目登録済み機能シンボルライブラリ、２２
は被検証論理回路の機能を検証項目登録済み機能シンボ
ルライブラリ中の機能シンボルを用いて記述し登録する
機能記述登録手段、２３は機能記述を入力しシミュレー
ションを実行するシミュレータ、２４は検証項目登録手
段に登録された任意の機能シンボルに対する検証すべき
状態とシミュレーション実行時における該当する機能シ
ンボルの状態とを比較し検証すべき状態が発生したか否
かを検証し、検証すべき状態が発生した場合、状態ごと
に設定されるい検証実行状態フラグをオンにセットする
検証実行状態検査手段、２５は検証実行状態フラグの状
態を記憶する検証実行状態記憶手段、２６はシミュレー
ション終了後に、検証実行状態記憶手段の検証実行状態
フラグがオフである検証項目を表示する未検証項目表示
手段で、以上は第１図の構成と同様なものである。第１
図の構成と異なるのは機能記述登録手段に記述された検
証項目登録済み機能シンボルのなかで検証状態の検査を
行なう機能シンボルを指定する検証実行状態検査範囲指
定手段２７を設けた点である。
以上のように構成された論理回路の機能検証方法につい
て、以下、第８図、第９図及び第１０図を用いてその動
作を説明する。
て、以下、第８図、第９図及び第１０図を用いてその動
作を説明する。
まず、第９図は機能記述登録手段２２に対する機能記述
の登録例である。３１．３３はフリップフロップ、３２
は加算器、３４は定数倍器である。検証項目登録済み機
能シンボルライブラリ２１中の機能シンボルを用いた図
的言語によって論理回路の機能が記述され登録されてい
る。第１Ｏ図は機能記述登録手段２２に対する検証実行
状態検査範囲指定手段２７の指定例であって、第９図中
のシンボル１が指定されている。第１０図の構成は第９
図と同一である。
の登録例である。３１．３３はフリップフロップ、３２
は加算器、３４は定数倍器である。検証項目登録済み機
能シンボルライブラリ２１中の機能シンボルを用いた図
的言語によって論理回路の機能が記述され登録されてい
る。第１Ｏ図は機能記述登録手段２２に対する検証実行
状態検査範囲指定手段２７の指定例であって、第９図中
のシンボル１が指定されている。第１０図の構成は第９
図と同一である。
第１０図のように点線で囲んだ指定されたシンボルに対
してのみ検証すべき状態を定義した記述は検証実行状態
記憶手段２５に入力され、検証実行状態記憶手段２５で
は検証するべき各状態に対して検証するべき状態が発生
した場合にオン状態にセットされ・る検証実行状態フラ
グを設け、検証実行状態フラグの状態を初期状態として
オフに設定し記憶する。機能記述登録手段２２に第９図
のように登録された機能記述はシミュレータ２３に入力
されシミュレーションが実行される。検証実行状態検査
手段２４では、機能シンボルのシミュレーション実行時
の状態を逐次シミュレータから取り込み、検証すべき状
態と比較し検証すべき状態の発生の有無を検出する。検
証すべき状態が発生した場合、該当する検証実行状態フ
ラグをオンにセントし検証実行状態記憶手段２５で検証
実行状態フラグの状態を記憶する。未検証項目表示手段
２６では、シミュレーション終了後、検証実行状態記憶
手段２５に記憶されている検証実行状態フラグの状態を
検査し検証実行状態フラグがオフであるところの検証項
目を表示する。
してのみ検証すべき状態を定義した記述は検証実行状態
記憶手段２５に入力され、検証実行状態記憶手段２５で
は検証するべき各状態に対して検証するべき状態が発生
した場合にオン状態にセットされ・る検証実行状態フラ
グを設け、検証実行状態フラグの状態を初期状態として
オフに設定し記憶する。機能記述登録手段２２に第９図
のように登録された機能記述はシミュレータ２３に入力
されシミュレーションが実行される。検証実行状態検査
手段２４では、機能シンボルのシミュレーション実行時
の状態を逐次シミュレータから取り込み、検証すべき状
態と比較し検証すべき状態の発生の有無を検出する。検
証すべき状態が発生した場合、該当する検証実行状態フ
ラグをオンにセントし検証実行状態記憶手段２５で検証
実行状態フラグの状態を記憶する。未検証項目表示手段
２６では、シミュレーション終了後、検証実行状態記憶
手段２５に記憶されている検証実行状態フラグの状態を
検査し検証実行状態フラグがオフであるところの検証項
目を表示する。
以上のように本発明の第２の実施例によれば、被検証論
理回路の機能を検証項目登録済み機能シンボルライブラ
リ中の機能シンボルを用いて記述することと、機能記述
中の検証するべき状態の発生の有無を検査したい範囲を
指定することによって、シミュレーション実行時に検証
するべき状態が発生したか否かが指定した範囲に対して
のみ検査され、シミュレーション実行後に検証されなか
った状態が表示されるため、機能記述中の特定の範囲に
対してシミュレーション実行後に入力バタンによって検
証されなかった状態を容易に把握できる。
理回路の機能を検証項目登録済み機能シンボルライブラ
リ中の機能シンボルを用いて記述することと、機能記述
中の検証するべき状態の発生の有無を検査したい範囲を
指定することによって、シミュレーション実行時に検証
するべき状態が発生したか否かが指定した範囲に対して
のみ検査され、シミュレーション実行後に検証されなか
った状態が表示されるため、機能記述中の特定の範囲に
対してシミュレーション実行後に入力バタンによって検
証されなかった状態を容易に把握できる。
発明の効果
以上のように本発明は、検証するべき状態があらかじめ
検証項目として登録されている機能シンボルを登録した
検証項目登録済み機能シンボルライブラリと、検証項目
登録済み機能シンボルライブラリ中の機能シンボルを用
いて論理回路の機能を記述し登録する機能記述登録手段
と、シミュレーション実行時に登録された検証するべき
状態が発生した場合、状態ごとに設定される検証実行状
態フラグをオンにセットする検証実行状態検査手段と、
検証実行状態フラグの状態を記憶する検証実行状態記憶
手段と、シミュレーション終了後に検証実行状態記憶手
段の検証実行状態フラグがオフである検証項目を表示す
る未検証項目表示手段とを設けることにより、検証項目
登録済み機能シンボルライブラリ中の機能シンボルを用
いて論理回路の機能を記述し、シミュレーション中に検
証するべき状態が発生したかを検査し、シミュレーショ
ン終了後に検証されなかった状態を表示することによっ
て、シミュレーション実行後にシ兆ニレージョン人カバ
タンによって検証されなかった状態を容易に把握できる
。
検証項目として登録されている機能シンボルを登録した
検証項目登録済み機能シンボルライブラリと、検証項目
登録済み機能シンボルライブラリ中の機能シンボルを用
いて論理回路の機能を記述し登録する機能記述登録手段
と、シミュレーション実行時に登録された検証するべき
状態が発生した場合、状態ごとに設定される検証実行状
態フラグをオンにセットする検証実行状態検査手段と、
検証実行状態フラグの状態を記憶する検証実行状態記憶
手段と、シミュレーション終了後に検証実行状態記憶手
段の検証実行状態フラグがオフである検証項目を表示す
る未検証項目表示手段とを設けることにより、検証項目
登録済み機能シンボルライブラリ中の機能シンボルを用
いて論理回路の機能を記述し、シミュレーション中に検
証するべき状態が発生したかを検査し、シミュレーショ
ン終了後に検証されなかった状態を表示することによっ
て、シミュレーション実行後にシ兆ニレージョン人カバ
タンによって検証されなかった状態を容易に把握できる
。
第１図は本発明の第一の実施例における論理回路の機能
検証方法の構成図、第２図は検証項目登録済み機能シン
ボルライブラリ中のシンボルを用いた機能の記述の機能
記述登録手段への登録例を示したブロック図、第３図は
機能シンボルであるところの加算器に対するあらかじめ
登録されている検証項目の一例を示した説明図、第４図
は検証実行状態記憶手段の加算器に対する検証実行状態
フラグの初期状態の一例を示した説明図、第５図は検証
実行状態記憶手段の加算器に対する検証実行状態フラグ
のシミュレーション実行中の状態の一例を示した説明図
、第６図は検証実行状態記憶手段の加算器に対する検証
実行状態フラグのシミュレーション実行後の状態の一例
を示した説明図、第７図は未検証項目表示手段に表示さ
れる未検証内容の表示例を示した説明図、第８図は本発
明の第二の実施例における論理回路の機能検証方法の構
成図、第９図は検証項目登録済み機能シンボルライブラ
リ中のシンボルを用いた機能の記述の機能記述登録手段
への登録例を示したブロック図、第１Ｏ図は機能記述登
録手段に対する検証実行状態検査範囲指定手段の指定例
を示したブロック図である。 １１・・・・・・検証項目登録済み機能シンボルライブ
ラリ、１２・・・・・・機能記述登録手段、１３・・・
・・・シミュレータ、１４・・・・・・検証実行状態検
査手段、１５・・・・・・検証実行状態記憶手段、１６
・・・・・・未検証項目表示手段、２１・・・・・・検
証項目登録済み機能シンボルライブラリ、２２・・・・
・・機能記述登録手段、２３・・・・・・シミュレータ
、２４・・・・・・検証実行状態検査手段、２５・・・
・・・検証実行状態記憶手段、２６・・・・・・未検証
項目表示手段、２７・・・・・・検証実行状態検査範囲
指定手段、３１．３３・・・・・・フリップフロップ、
３２・・・・・・加算器、３４・・・・・・定数倍。
検証方法の構成図、第２図は検証項目登録済み機能シン
ボルライブラリ中のシンボルを用いた機能の記述の機能
記述登録手段への登録例を示したブロック図、第３図は
機能シンボルであるところの加算器に対するあらかじめ
登録されている検証項目の一例を示した説明図、第４図
は検証実行状態記憶手段の加算器に対する検証実行状態
フラグの初期状態の一例を示した説明図、第５図は検証
実行状態記憶手段の加算器に対する検証実行状態フラグ
のシミュレーション実行中の状態の一例を示した説明図
、第６図は検証実行状態記憶手段の加算器に対する検証
実行状態フラグのシミュレーション実行後の状態の一例
を示した説明図、第７図は未検証項目表示手段に表示さ
れる未検証内容の表示例を示した説明図、第８図は本発
明の第二の実施例における論理回路の機能検証方法の構
成図、第９図は検証項目登録済み機能シンボルライブラ
リ中のシンボルを用いた機能の記述の機能記述登録手段
への登録例を示したブロック図、第１Ｏ図は機能記述登
録手段に対する検証実行状態検査範囲指定手段の指定例
を示したブロック図である。 １１・・・・・・検証項目登録済み機能シンボルライブ
ラリ、１２・・・・・・機能記述登録手段、１３・・・
・・・シミュレータ、１４・・・・・・検証実行状態検
査手段、１５・・・・・・検証実行状態記憶手段、１６
・・・・・・未検証項目表示手段、２１・・・・・・検
証項目登録済み機能シンボルライブラリ、２２・・・・
・・機能記述登録手段、２３・・・・・・シミュレータ
、２４・・・・・・検証実行状態検査手段、２５・・・
・・・検証実行状態記憶手段、２６・・・・・・未検証
項目表示手段、２７・・・・・・検証実行状態検査範囲
指定手段、３１．３３・・・・・・フリップフロップ、
３２・・・・・・加算器、３４・・・・・・定数倍。
Claims (2)
- （１）シミュレータを備えた論理回路の機能検証方法に
おいて、検証するべき状態があらかじめ検証項目として
登録されている機能シンボルを登録した検証項目登録済
み機能シンボルライブラリと、前記検証項目登録済み機
能シンボルライブラリ中の機能シンボルを用いて論理回
路の機能を記述し登録する機能記述登録手段と、前記登
録された検証するべき状態がシミュレーション実行時に
発生した場合、前記状態ごとに設定される検証実行状態
フラグをオンにセットする検証実行状態検査手段と、前
記検証実行状態フラグの状態を記憶する検証実行状態記
憶手段と、前記検証実行状態記憶手段の検査実行状態フ
ラグがオフである検証項目を表示する未検証項目表示手
段とを備え、前記検証項目登録済み機能シンボルライブ
ラリ中の機能シンボルを用いて論理回路の機能を記述し
て前記機能記述登録手段に登録し、前記検証実行状態記
憶手段において論理回路の機能の記述に用いられている
機能シンボルの検証項目に対する検証実行状態フラグを
オフ状態にセットし記憶し、前記機能記述登録手段の機
能の記述をシミュレータに入力しシミュレーションを実
行し、前記検証実行状態検査手段においてシミュレーシ
ョン実行時の機能シンボルの状態と前記機能シンボルに
対する検証するべき状態とを比較し、検証するべき状態
が発生した場合、検証実行状態フラグをオンにして前記
検証実行状態記憶手段で検証実行状態フラグの状態を記
憶し、前記未検証項目表示手段において前記検証実行状
態記憶手段で記憶されている検証実行状態フラグを検査
し検証実行状態フラグがオフである検証項目を表示する
ことを特徴とする論理回路の機能検証方法。 - （２）シミュレータを備えた論理回路の機能検証方法に
おいて、検証するべき状態があらかじめ検証項目として
登録されている機能シンボルを登録した検証項目登録済
み機能シンボルライブラリと、前記検証項目登録済み機
能シンボルライブラリ中の機能シンボルを用いて論理回
路の機能を記述し登録する機能記述登録手段と、前記機
能記述中の任意の機能シンボルに対して検証実行状態を
検査するか否かを指定する検証実行状態検査範囲指定手
段と、前記登録された検証するべき状態がシミュレーシ
ョン実行時に発生した場合、前記状態ごとに設定される
検証実行状態フラグをオンにセットする検証実行状態検
査手段と、前記検証実行状態フラグの状態を記憶する検
証実行状態記憶手段と、前記検証実行状態記憶手段の検
証実行状態フラグがオフである検証項目を表示する未検
証項目表示手段とを備え、前記検証項目登録済み機能シ
ンボルライブラリ中の機能シンボルを用いて論理回路の
機能を記述して前記機能記述登録手段に登録し、前記機
能記述登録手段に登録された機能シンボルの中で検証実
行状態を検査する機能シンボルを前記検証実行状態検査
範囲指定手段によって指定し前記検証実行状態記憶手段
において前記検証実行状態検査範囲指定手段によって指
定されている機能シンボルの検証項目に対する検証実行
状態フラグをオフ状態にセットして記憶し、前記機能記
述登録手段の機能の記述をシミュレータに入力しシミュ
レーションを実行し、前記検証実行状態検査手段におい
てシミュレーション実行時の前記検証実行状態検査範囲
指定手段によって指定された機能シンボルの状態と前記
機能シンボルに対する検証するべき状態とを比較し、検
証するべき状態が発生した場合、検証実行状態フラグを
オンにし前記検証実行状態記憶手段で検証実行状態フラ
グの状態を記憶し、前記未検証項目表示手段において前
記検証実行状態記憶手段で記憶されている検証実行状態
フラグを検査し、検証実行状態フラグがオフである検証
項目を表示することを特徴とする論理回路の機能検証方
法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1177507A JPH0341565A (ja) | 1989-07-10 | 1989-07-10 | 論理回路の機能検証方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1177507A JPH0341565A (ja) | 1989-07-10 | 1989-07-10 | 論理回路の機能検証方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0341565A true JPH0341565A (ja) | 1991-02-22 |
Family
ID=16032117
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1177507A Pending JPH0341565A (ja) | 1989-07-10 | 1989-07-10 | 論理回路の機能検証方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0341565A (ja) |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63123136A (ja) * | 1986-11-13 | 1988-05-26 | Nec Corp | 論理シミユレ−タ |
| JPS63131238A (ja) * | 1986-11-20 | 1988-06-03 | Nec Corp | 論理シミユレ−タ |
| JPS63133235A (ja) * | 1986-11-26 | 1988-06-06 | Nec Corp | 論理シミユレ−タ |
| JPS6426243A (en) * | 1987-02-25 | 1989-01-27 | Nec Corp | Hardware logical simulator |
-
1989
- 1989-07-10 JP JP1177507A patent/JPH0341565A/ja active Pending
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63123136A (ja) * | 1986-11-13 | 1988-05-26 | Nec Corp | 論理シミユレ−タ |
| JPS63131238A (ja) * | 1986-11-20 | 1988-06-03 | Nec Corp | 論理シミユレ−タ |
| JPS63133235A (ja) * | 1986-11-26 | 1988-06-06 | Nec Corp | 論理シミユレ−タ |
| JPS6426243A (en) * | 1987-02-25 | 1989-01-27 | Nec Corp | Hardware logical simulator |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US20090064111A1 (en) | Formal Verification of Graphical Programs | |
| Tierno et al. | Open issues for the automotive software testing | |
| JPH0341565A (ja) | 論理回路の機能検証方法 | |
| JP2563584B2 (ja) | 論理回路の機能検証方法 | |
| JP3212157B2 (ja) | 論理回路検証装置 | |
| US10261887B1 (en) | Method and system for computerized debugging assertions | |
| Saifan et al. | Using formal methods for test case generation according to transition-based coverage criteria | |
| CN115809199B (zh) | 无人机基于模型的系统开发仿真测试平台、方法、设备 | |
| JPH0719267B2 (ja) | 論理回路の機能検証方法 | |
| JP4194959B2 (ja) | シミュレーション解析システム、アクセラレータ装置及びエミュレータ装置 | |
| JP2563583B2 (ja) | 論理回路の機能検証方法 | |
| JPH10232795A (ja) | ソフトウェア部品組み合わせテスト方法 | |
| Safarpour et al. | Failure triage: The neglected debugging problem | |
| JPH02114383A (ja) | シミュレーション精度改善方法 | |
| JPS63254567A (ja) | 論理回路設計検証用の表示装置 | |
| JPH05324756A (ja) | 論理シミュレーション結果表示システム | |
| CN101802794B (zh) | 飞行器机载系统的运行软件的调试方法和实施该方法的设备 | |
| JPH02105943A (ja) | シミュレーション方式 | |
| JPH0715496B2 (ja) | 論理回路検証方法 | |
| Koochakzadeh | A measurement, detection, and visualization framework for software test redundancy | |
| JPS6160146A (ja) | マイクロプログラムチエツク方式 | |
| JPH029370B2 (ja) | ||
| JPH02230434A (ja) | 試験プログラムの性能検査方法 | |
| JPH03197881A (ja) | インサーキットテスタにおける不良データの出力表示方法 | |
| JPS61138184A (ja) | テストプログラムによる試験機ハ−ドウエア確認方式 |