JPS63205760A - 論理シミユレ−シヨンのテストカバレ−ジ方式 - Google Patents
論理シミユレ−シヨンのテストカバレ−ジ方式Info
- Publication number
- JPS63205760A JPS63205760A JP62038355A JP3835587A JPS63205760A JP S63205760 A JPS63205760 A JP S63205760A JP 62038355 A JP62038355 A JP 62038355A JP 3835587 A JP3835587 A JP 3835587A JP S63205760 A JPS63205760 A JP S63205760A
- Authority
- JP
- Japan
- Prior art keywords
- test program
- signal
- name
- information
- logic
- 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.)
- Granted
Links
Landscapes
- Logic Circuits (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は論理シミュレーションに係り、特に論理回路の
論理変更に伴う各々の信号の再検証を効率よ〈実施する
のに好適な論理シミュレーションのテストカバレージ方
式に関する。
論理変更に伴う各々の信号の再検証を効率よ〈実施する
のに好適な論理シミュレーションのテストカバレージ方
式に関する。
一般に情報処理装置の開発にあたっては、論理シミュレ
ーションにより、テストプログラムを用いて情報処理装
置の論理検証を行い、論理不良が摘出されると、論理を
変更し、再びテストプログラムを用いて再検証を行う。
ーションにより、テストプログラムを用いて情報処理装
置の論理検証を行い、論理不良が摘出されると、論理を
変更し、再びテストプログラムを用いて再検証を行う。
一方、情報処理装置（論理回路）の大規模化に伴い、そ
の論理シミュレーションに要する計算機時間も増加して
おり、論理変更等に伴う再検証を効率よ〈実施するテス
トカバレージ方式が要望されている。
の論理シミュレーションに要する計算機時間も増加して
おり、論理変更等に伴う再検証を効率よ〈実施するテス
トカバレージ方式が要望されている。
従来、論理シミュレーシＪンのテストカバレージ方式と
しては、例えば特開昭６１−１２７０４２号公報の記載
のように、論理シミュレーションの実行結果から信号状
態の変化を取り出し、論理回路の各信号識別名とその動
作回数の対応表を作成して動作範囲を把握し、未試験部
分等の論理シミュレーションを効率よ〈実施するものが
知られている。
しては、例えば特開昭６１−１２７０４２号公報の記載
のように、論理シミュレーションの実行結果から信号状
態の変化を取り出し、論理回路の各信号識別名とその動
作回数の対応表を作成して動作範囲を把握し、未試験部
分等の論理シミュレーションを効率よ〈実施するものが
知られている。
上記従来技術は、論理シミュレーション時の論理変更に
伴うテストプログラムを用いた再検証において、どのよ
うなテストプログラム識別名を実施するかについては配
慮されておらず、論理変更に伴う再検証を効率よ〈実施
するための最小限のテストプログラム識別名は何である
か容易に把握できない問題があった。
伴うテストプログラムを用いた再検証において、どのよ
うなテストプログラム識別名を実施するかについては配
慮されておらず、論理変更に伴う再検証を効率よ〈実施
するための最小限のテストプログラム識別名は何である
か容易に把握できない問題があった。
本発明の目的は、論理変更に伴う再検証において、最小
限実施すべきテストプログラム識別名を容易に把握でき
、テストプログラムを用いた再検証を効率よ〈実施する
論理シミュレーションのテストカバレージ方式を提供す
ることにある。
限実施すべきテストプログラム識別名を容易に把握でき
、テストプログラムを用いた再検証を効率よ〈実施する
論理シミュレーションのテストカバレージ方式を提供す
ることにある。
上記目的は、論理回路の各々の信号識別名とその動作回
数を表わす情報と共に、その信号を動作させたテストプ
ログラム識別名の情報を格納する記憶手段と、論理シミ
ュレーションの結果として出力された信号識別名ごとの
信号変化を表わす情報を基にして記憶手段内の動作回数
を表わす情報を更新する手段と、論理シミュレーション
の結果として出力されたテストプログラム識別名を表わ
す情報を記憶手段内に格納する手段とを設けることによ
り達成される。
数を表わす情報と共に、その信号を動作させたテストプ
ログラム識別名の情報を格納する記憶手段と、論理シミ
ュレーションの結果として出力された信号識別名ごとの
信号変化を表わす情報を基にして記憶手段内の動作回数
を表わす情報を更新する手段と、論理シミュレーション
の結果として出力されたテストプログラム識別名を表わ
す情報を記憶手段内に格納する手段とを設けることによ
り達成される。
論理シミュレーションの結果は、該シミュレーションを
実施したテストプログラム名と該テストプログラムによ
り動作した信号名情報が出力される。それによってカバ
レージシステムは、動作した信号名情報に基に、テスト
プログラム識別名を信号名単位に蓄積する。これにより
再検証時のテストプログラム実施数を最小限にすること
ができ、効率の良い再検証ができる。
実施したテストプログラム名と該テストプログラムによ
り動作した信号名情報が出力される。それによってカバ
レージシステムは、動作した信号名情報に基に、テスト
プログラム識別名を信号名単位に蓄積する。これにより
再検証時のテストプログラム実施数を最小限にすること
ができ、効率の良い再検証ができる。
以下、本発明の一実施例について図面により詳細に説明
する。
する。
第１図は本発明によるテストカバレージシステムの一実
施例の概括的フローチャートを示したものである。論理
シミュレーション１１では、ゲート論理ファイル９及び
テストプログラムファイル１０を入力として、シミュレ
ーション結果ファイル１２を出力する。第１図中、特に
点線で囲んだ部分が本発明に関係する範囲で、以下、こ
れについて説明する。
施例の概括的フローチャートを示したものである。論理
シミュレーション１１では、ゲート論理ファイル９及び
テストプログラムファイル１０を入力として、シミュレ
ーション結果ファイル１２を出力する。第１図中、特に
点線で囲んだ部分が本発明に関係する範囲で、以下、こ
れについて説明する。
カバレージチェック情報作成処理１では、信号情報ファ
イル８よりカバレージチェック情報ファイル１６を作成
する。最適テストプログラム情報作成処理２では、信号
情報ファイル８より最適テストプログラム情報ファイル
１５を作成する。シミュレーション結果情報解析処理３
では、論理シミュレーション１１の出力であるシミュレ
ーション結果ファイル１２を入力として、トレース情報
ファイル１３を作成する。テストプログラム情報解析処
理４では、シミュレーション結果ファイル１２を入力と
して、シミュレーション実行テストプログラム情報ファ
イル１４を作成する。カバレージチェック情報更新処理
５では、トレース情報ファイル１３とカバレージチェッ
ク情報ファイル１６とのつき合わせを行い、一致信号名
において動作有りの場合、カバレージチェック情報ファ
イルトロの該当項目の動作回数に値１を加算し格納する
。最適テストプログラム情報更新処理６では、最適テス
トプログラム情報ファイル１５の情報とカバレージチェ
ック情報ファイル１６の更新情報とシミュレーション実
行テストプログラム情報ファイル１４のテストプログラ
ム名により、再検証時の最適テストプログラム名を更新
する。カバレージチェック情報／最適テストプログラム
情報表示出力処理７では、カバレージチェック情報ファ
イル１６と最適テストプログラム情報ファイル１５のデ
ータを端末装置１７や印刷袋ｖｉ１８に表示出力する。
イル８よりカバレージチェック情報ファイル１６を作成
する。最適テストプログラム情報作成処理２では、信号
情報ファイル８より最適テストプログラム情報ファイル
１５を作成する。シミュレーション結果情報解析処理３
では、論理シミュレーション１１の出力であるシミュレ
ーション結果ファイル１２を入力として、トレース情報
ファイル１３を作成する。テストプログラム情報解析処
理４では、シミュレーション結果ファイル１２を入力と
して、シミュレーション実行テストプログラム情報ファ
イル１４を作成する。カバレージチェック情報更新処理
５では、トレース情報ファイル１３とカバレージチェッ
ク情報ファイル１６とのつき合わせを行い、一致信号名
において動作有りの場合、カバレージチェック情報ファ
イルトロの該当項目の動作回数に値１を加算し格納する
。最適テストプログラム情報更新処理６では、最適テス
トプログラム情報ファイル１５の情報とカバレージチェ
ック情報ファイル１６の更新情報とシミュレーション実
行テストプログラム情報ファイル１４のテストプログラ
ム名により、再検証時の最適テストプログラム名を更新
する。カバレージチェック情報／最適テストプログラム
情報表示出力処理７では、カバレージチェック情報ファ
イル１６と最適テストプログラム情報ファイル１５のデ
ータを端末装置１７や印刷袋ｖｉ１８に表示出力する。
論理シミュレーション１１が行われる毎に、カバレージ
チェック情報ファイル１６の更新が行われ、又、シミュ
レーション実行テストプログラム情報ファイル１４を作
成し、最適テストプログラム情報ファイル１５の更新が
行われる。
チェック情報ファイル１６の更新が行われ、又、シミュ
レーション実行テストプログラム情報ファイル１４を作
成し、最適テストプログラム情報ファイル１５の更新が
行われる。
第２図は、第１図における各処理の順序を示したもので
ある。
ある。
第３図はカバレージチェック情報作成処理１を説明する
図である。信号情報ファイル８には信号名テーブル３０
１が格納されており、カバレージチェック情報作成処理
１では、この信号名テーブル３０１よりカバレージチェ
ック情報ファイル１６を次のように作成する。信号情報
ファイル８の信号名テーブル３０１より論理回路に付さ
れた各信号名３０２を取り出し、カバレージチェック情
報ファイル１６におけるカバレージテーブル３０３の信
号名３０２へ番号３０４の順に格納する。
図である。信号情報ファイル８には信号名テーブル３０
１が格納されており、カバレージチェック情報作成処理
１では、この信号名テーブル３０１よりカバレージチェ
ック情報ファイル１６を次のように作成する。信号情報
ファイル８の信号名テーブル３０１より論理回路に付さ
れた各信号名３０２を取り出し、カバレージチェック情
報ファイル１６におけるカバレージテーブル３０３の信
号名３０２へ番号３０４の順に格納する。
動作回数３０５は、信号名３０２の信号値がＯ→１．１
→０に変化した場合、順次、１が加算されるものである
が、初期値はＯを格納する。又、更新情報３０６は、動
作回数３０５が更新されたとき′１″となるものである
が、更新される前は０を格納する。
→０に変化した場合、順次、１が加算されるものである
が、初期値はＯを格納する。又、更新情報３０６は、動
作回数３０５が更新されたとき′１″となるものである
が、更新される前は０を格納する。
第４図は最適テストプログラム情報作成処理２を説明す
る図である。即ち、信号情報ファイル８に入力されてい
る信号名テーブル３０１を入力とし、信号名数分の信号
名／テストプログラム名テーブルを最適テストプログラ
ム情報ファイル１５に作成する。最適テストプログラム
情報ファイル１５については後述する。
る図である。即ち、信号情報ファイル８に入力されてい
る信号名テーブル３０１を入力とし、信号名数分の信号
名／テストプログラム名テーブルを最適テストプログラ
ム情報ファイル１５に作成する。最適テストプログラム
情報ファイル１５については後述する。
第５図はシミュレーション結果情報解析処理３及びカバ
レージチェック情報更新処理５を説明する図である。
レージチェック情報更新処理５を説明する図である。
シミュレーション結果情報解析処理３では、シミュレー
ション結果ファイル１２に格納されているシミュレーシ
ョン結果テーブル５０１より、各信号名３０２のサイク
ル５０２に対する信号値の変化Ｏ→１，１→０を検索し
、変化が認められた信号名について、トレース情報ファ
イル１３のトレーステーブル５０３に信号名３０２と動
作有無５０４に値１を格納する。次に、カバレージチェ
ック情報更新処理５では、トレース情報ファイル１３の
トレーステーブル５０３の動作有無５０４の値１を信号
名３０２により、カバレージチェック情報ファイル１６
をサーチし、カバレージテーブル３０３内の一致する信
号名３０２の動作回数３０５に値１を加算し、又、その
更新情帳３０６を値１に更新する。
ション結果ファイル１２に格納されているシミュレーシ
ョン結果テーブル５０１より、各信号名３０２のサイク
ル５０２に対する信号値の変化Ｏ→１，１→０を検索し
、変化が認められた信号名について、トレース情報ファ
イル１３のトレーステーブル５０３に信号名３０２と動
作有無５０４に値１を格納する。次に、カバレージチェ
ック情報更新処理５では、トレース情報ファイル１３の
トレーステーブル５０３の動作有無５０４の値１を信号
名３０２により、カバレージチェック情報ファイル１６
をサーチし、カバレージテーブル３０３内の一致する信
号名３０２の動作回数３０５に値１を加算し、又、その
更新情帳３０６を値１に更新する。
以上の処理で更新されたカバレージチェック情報ファイ
ル１６のデータから、信号名の更新情報がＯの値を持つ
信号は動作していないことを示し、１の値を持つ信号は
動作したことを示す。
ル１６のデータから、信号名の更新情報がＯの値を持つ
信号は動作していないことを示し、１の値を持つ信号は
動作したことを示す。
第６図は、テストプログラム情報解析処理４を説明する
図である。シミュレーション結果テーブル１２は、第５
図に示したシミュレーション結果テーブル５０１の他に
論理シミュレーションを行ったテストプログラムの情報
を保持しており、その一つとしてテストプログラム名テ
ーブル６０１がある。このテストプログラム名テーブル
６０１には、テストプログラム名６０２が入力されてお
り、テストプログラム情報解析処理４では、シミュレー
ション実行テストプログラム情報ファイル１４ヘテスト
プログラム名を格納する。シミュレーション実行テスト
プログラム情報ファイル１４はテストプログラムテーブ
ル６０１と同じものである。本検証のテストプログラム
名はｒ’ｒＥｓ’ｒ１」であったことを示している。
図である。シミュレーション結果テーブル１２は、第５
図に示したシミュレーション結果テーブル５０１の他に
論理シミュレーションを行ったテストプログラムの情報
を保持しており、その一つとしてテストプログラム名テ
ーブル６０１がある。このテストプログラム名テーブル
６０１には、テストプログラム名６０２が入力されてお
り、テストプログラム情報解析処理４では、シミュレー
ション実行テストプログラム情報ファイル１４ヘテスト
プログラム名を格納する。シミュレーション実行テスト
プログラム情報ファイル１４はテストプログラムテーブ
ル６０１と同じものである。本検証のテストプログラム
名はｒ’ｒＥｓ’ｒ１」であったことを示している。
第７図は最適テストプログラム情報更新処理６を説明す
る図である。
る図である。
シミュレーション実行テストプログラム情報ファイル１
４には、テストプログラム名テーブル６０１のテストプ
ログラム名６０２が格納されている。又、カバレージチ
ェック情報ファイル１６には、カバレージテーブル３０
３が入力されている。
４には、テストプログラム名テーブル６０１のテストプ
ログラム名６０２が格納されている。又、カバレージチ
ェック情報ファイル１６には、カバレージテーブル３０
３が入力されている。
最適テストプログラム情報更新処理６では、シミュレー
ション実行テストプログラム情報ファイル１４とカバレ
ージチェック情報ファイル１６と最適テストプログラム
情報ファイル１５の既格納情報により最適テストプログ
ラム名を抽出する。
ション実行テストプログラム情報ファイル１４とカバレ
ージチェック情報ファイル１６と最適テストプログラム
情報ファイル１５の既格納情報により最適テストプログ
ラム名を抽出する。
具体的に、第８図と第９図を用い、既格納情報ｒＴＥｓ
ＴＩＪ 、ｒＴＥｓＴ２Ｊ と現在トレースしたテスト
プロゲラ名をｒＴＥｓＴ３Ｊとし、最適テストプログラ
ム情報解析処理６を説明する。
ＴＩＪ 、ｒＴＥｓＴ２Ｊ と現在トレースしたテスト
プロゲラ名をｒＴＥｓＴ３Ｊとし、最適テストプログラ
ム情報解析処理６を説明する。
まず、シミュレーション実行テストプログラム情報ファ
イル１４のデス１−プログラムテーブル６０１のテスト
プログラム名６０２を最適テストプログラム名情報ファ
イル６の信号名／テストプログラム名テーブル７０１の
テストプログラム名７０４のスペース部に格納する（ス
テップ９０１）。
イル１４のデス１−プログラムテーブル６０１のテスト
プログラム名６０２を最適テストプログラム名情報ファ
イル６の信号名／テストプログラム名テーブル７０１の
テストプログラム名７０４のスペース部に格納する（ス
テップ９０１）。
次に、カバレージチェック情報ファイル１６のカバレー
ジテーブル３０３の更新情報３０６の値１に対応する番
号３０４から最適テストプログラム情報ファイル６の信
号名／テストプログラムテーブル７０１のテストプログ
ラム名７０４のｒＴＥＳＴ３Ｊの信号に対応する番号３
０４の各々に値１を格納する（ステップ９０２）。次に
、各々の番号３０４に対応するテストプログラム負数合
計７０５にテストプログラム名数を格納する（ステップ
９０３）、次に、各々のデス１−プログ５４名７０４に
対応する信号数合計７０２に番号数を格納する（ステッ
プ９０４）、次に、各々のテストプログラム名７０４に
対応する最適情報７０３に値０を格納する（ステップ９
０５）。次に、各々のテストプログラム名７０４に対応
する信号数合計７０２の合計を格納する（ステップ９０
６）。
ジテーブル３０３の更新情報３０６の値１に対応する番
号３０４から最適テストプログラム情報ファイル６の信
号名／テストプログラムテーブル７０１のテストプログ
ラム名７０４のｒＴＥＳＴ３Ｊの信号に対応する番号３
０４の各々に値１を格納する（ステップ９０２）。次に
、各々の番号３０４に対応するテストプログラム負数合
計７０５にテストプログラム名数を格納する（ステップ
９０３）、次に、各々のデス１−プログ５４名７０４に
対応する信号数合計７０２に番号数を格納する（ステッ
プ９０４）、次に、各々のテストプログラム名７０４に
対応する最適情報７０３に値０を格納する（ステップ９
０５）。次に、各々のテストプログラム名７０４に対応
する信号数合計７０２の合計を格納する（ステップ９０
６）。
各々のテストプログラム名に対応する信号数合計７０２
の合計が値Ｏかどうか判定しくステップ９０７）、０で
ない間、以下の処理を行う。
の合計が値Ｏかどうか判定しくステップ９０７）、０で
ない間、以下の処理を行う。
まず、テストプログラム名７０４の中で各々のテストプ
ログラム名７０４に対応する信号数合計７０２の最大値
を検索し、決定する（ステップ９０８）。次に、信号数
合計７０２の最大値を持つテストプログラム名７０４に
対応する最適情報７０３に値１を格納する（ステップ９
０９）、次に。
ログラム名７０４に対応する信号数合計７０２の最大値
を検索し、決定する（ステップ９０８）。次に、信号数
合計７０２の最大値を持つテストプログラム名７０４に
対応する最適情報７０３に値１を格納する（ステップ９
０９）、次に。
各々のテストプログラム名７０４に対応する信号数合計
７０２で最大値を持つテストプログラム名７０４に係る
各々の信号の番号３０４に対応するテストプログラム負
数合計７０５に値Ｏを格納する（ステップ９１０）、次
に最大値の信号数合計７０２に値０を格納する。次に最
大値の信号数合計７０２を持つテストプログラム名７０
４以外の各々のテストプログラム名７０４の信号数合計
７０２に、各々のテストプログラム名７０４の信号数合
計７０２から最大値の信号数合計７０２のテストプログ
ラム名７０４に係る番号３０４と各々のテストプログラ
ム名７０４に係る番号３０４の共通番号数を減算し、格
納する（ステップ９１１）。次に、最大値の信号数合計
７０２に値０を格納する（ステップ９１２）。次に、信
号数合計７０２の合計に、各々の信号数合計７０２を加
算し格納する（ステップ９１３）。
７０２で最大値を持つテストプログラム名７０４に係る
各々の信号の番号３０４に対応するテストプログラム負
数合計７０５に値Ｏを格納する（ステップ９１０）、次
に最大値の信号数合計７０２に値０を格納する。次に最
大値の信号数合計７０２を持つテストプログラム名７０
４以外の各々のテストプログラム名７０４の信号数合計
７０２に、各々のテストプログラム名７０４の信号数合
計７０２から最大値の信号数合計７０２のテストプログ
ラム名７０４に係る番号３０４と各々のテストプログラ
ム名７０４に係る番号３０４の共通番号数を減算し、格
納する（ステップ９１１）。次に、最大値の信号数合計
７０２に値０を格納する（ステップ９１２）。次に、信
号数合計７０２の合計に、各々の信号数合計７０２を加
算し格納する（ステップ９１３）。
これにより、第８図の段階で再検証する場合、最適なテ
ストプログラム名は、１“ＴＥＳＴＩＪ 。
ストプログラム名は、１“ＴＥＳＴＩＪ 。
ｒＴＥｓＴ２Ｊ となる。
カバレージテーブル３０３と信号名／テストプログラム
名テーブル７０１の情報をカバレージチェック情報／最
適テストプログラム情報表示出力処理７により表示出力
することにより、論理回路を再検証する時の最適テスト
プログラム名を把握することができ、この情報を基に効
率良く再検証することができる。
名テーブル７０１の情報をカバレージチェック情報／最
適テストプログラム情報表示出力処理７により表示出力
することにより、論理回路を再検証する時の最適テスト
プログラム名を把握することができ、この情報を基に効
率良く再検証することができる。
又、再検証で用いた最適テストプログラム名の信号動作
と、最適テストプログラム情報内の同一ナス１−プ０１
９４名の信号動作を比較することにより、論理回路の信
号動作の自動検証が可能である。
と、最適テストプログラム情報内の同一ナス１−プ０１
９４名の信号動作を比較することにより、論理回路の信
号動作の自動検証が可能である。
以上説明したように、本発明によれば、論理シミュレー
ション時に行うカバレージチェックにおいて、論理回路
を動作させる最小限の最適テストプログラム名を把握で
きるため、論理変更時の再検証で、重複したテストの論
理シミュレーションの排除ができ、再論理シミュレーシ
ョン時間の低減、有効なテストの実施に優れた効果を有
する。
ション時に行うカバレージチェックにおいて、論理回路
を動作させる最小限の最適テストプログラム名を把握で
きるため、論理変更時の再検証で、重複したテストの論
理シミュレーションの排除ができ、再論理シミュレーシ
ョン時間の低減、有効なテストの実施に優れた効果を有
する。
第１図は本発明によるテストカバレージシステムの概括
的フローチャート、第２図は第１図での処理手順を示す
フローチャート、第３図はカバレージチェック情報作成
処理を説明するための図、第４図は最適テストプログラ
ム情報作成処理を説明するための図、第５図はシミュレ
ーション結果情報解析処理及びカバレージチェック情報
更新処理を説明するための図、第６図はテストプログラ
ム情報解析処理を説明するための図、第７図は最適テス
トプログラム情報更新処理を説明するための図、第８図
は第７図からの処理の遷移を示す図、第９図は最適テス
トプログラム情報、更新処理のフローチャートである。 １・・・カバレージチェック情報作成処理、２・・・最
適テストプログラム情報作成処理、３・・・シミュレー
ション結果情報解析処理、４・・・テストプログラム情
報解析処理、５・・・カバレージチェック情報更新処理
、６・・・最適テストプログラム情報更新処理、７・・
・カバレージチェック情株／最適テストプログラム情報
表示出力処理。 ８・・・信号情報ファイル、 ９・・・ゲート論理ファ
イル、 １０・・・テストプログラムファイル。 １１・・・論理シミュレーション、 １２・・・シミュレーション結果ファイル、１３・・・
トレース情報ファイル。 １４・・・シミュレーション実行テストプログラム端株
ファイル、 １５・・・最適テストプログラム情報フ
ァイル、 １６・・・カバレージチェック情報ファイ
ル、 １７・・・端末装置。 １８・・・印刷装置。 第 ２ 図 シミλヒ勿／ζ町艮何Ｊし 第 ７ 図 第 ８ 図 第 ９ 図
的フローチャート、第２図は第１図での処理手順を示す
フローチャート、第３図はカバレージチェック情報作成
処理を説明するための図、第４図は最適テストプログラ
ム情報作成処理を説明するための図、第５図はシミュレ
ーション結果情報解析処理及びカバレージチェック情報
更新処理を説明するための図、第６図はテストプログラ
ム情報解析処理を説明するための図、第７図は最適テス
トプログラム情報更新処理を説明するための図、第８図
は第７図からの処理の遷移を示す図、第９図は最適テス
トプログラム情報、更新処理のフローチャートである。 １・・・カバレージチェック情報作成処理、２・・・最
適テストプログラム情報作成処理、３・・・シミュレー
ション結果情報解析処理、４・・・テストプログラム情
報解析処理、５・・・カバレージチェック情報更新処理
、６・・・最適テストプログラム情報更新処理、７・・
・カバレージチェック情株／最適テストプログラム情報
表示出力処理。 ８・・・信号情報ファイル、 ９・・・ゲート論理ファ
イル、 １０・・・テストプログラムファイル。 １１・・・論理シミュレーション、 １２・・・シミュレーション結果ファイル、１３・・・
トレース情報ファイル。 １４・・・シミュレーション実行テストプログラム端株
ファイル、 １５・・・最適テストプログラム情報フ
ァイル、 １６・・・カバレージチェック情報ファイ
ル、 １７・・・端末装置。 １８・・・印刷装置。 第 ２ 図 シミλヒ勿／ζ町艮何Ｊし 第 ７ 図 第 ８ 図 第 ９ 図
Claims (1)
- （１）論理回路の各信号の識別名（信号識別名）とその
動作回数及び各信号を動作させたテストプログラムの識
別名（テストプログラム識別名）を格納する記憶手段と
、論理シミュレーションの結果として出力された信号識
別名ごとの信号変化を示す情報を基にして前記記憶手段
中に格納された動作回数を表わす情報を更新する手段と
、論理シミュレーションの結果として出力されたテスト
プログラム識別名と各々の信号識別名の動作回数により
前記記憶手段中のテストプログラム識別名を更新する手
段と、再検証時に各々の信号を動作させ、全信号を動作
させる最小数のテストプログラムに対応する最適テスト
プログラム識別名を決定する手段とを有することを特徴
とする論理シミュレーションのテストカバレージ方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3835587A JP2525393B2 (ja) | 1987-02-21 | 1987-02-21 | 論理シミュレ−ションのテストカバレ−ジ方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3835587A JP2525393B2 (ja) | 1987-02-21 | 1987-02-21 | 論理シミュレ−ションのテストカバレ−ジ方式 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS63205760A true JPS63205760A (ja) | 1988-08-25 |
| JP2525393B2 JP2525393B2 (ja) | 1996-08-21 |
Family
ID=12522972
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3835587A Expired - Lifetime JP2525393B2 (ja) | 1987-02-21 | 1987-02-21 | 論理シミュレ−ションのテストカバレ−ジ方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2525393B2 (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7464015B2 (en) | 2005-01-07 | 2008-12-09 | Fujitsu Limited | Method and apparatus for supporting verification, and computer product |
| JP2013200662A (ja) * | 2012-03-23 | 2013-10-03 | Hitachi Information & Telecommunication Engineering Ltd | 論理検証システム及びプログラム |
-
1987
- 1987-02-21 JP JP3835587A patent/JP2525393B2/ja not_active Expired - Lifetime
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7464015B2 (en) | 2005-01-07 | 2008-12-09 | Fujitsu Limited | Method and apparatus for supporting verification, and computer product |
| JP2013200662A (ja) * | 2012-03-23 | 2013-10-03 | Hitachi Information & Telecommunication Engineering Ltd | 論理検証システム及びプログラム |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2525393B2 (ja) | 1996-08-21 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7917895B2 (en) | Automated software testing and validation system | |
| US6993470B2 (en) | Method of evaluating test cases in a simulation environment by harvesting | |
| US20090012771A1 (en) | Transaction-based system and method for abstraction of hardware designs | |
| JP3173855B2 (ja) | デジタル・テスト・ベクトルの編集方法 | |
| CN102136013A (zh) | 制造步骤信息生成系统和制造步骤信息生成方法 | |
| CN116450197A (zh) | 一种基于需求与代码对应关系库的影响性分析方法及系统 | |
| CN112256576B (zh) | 人机对话语料测试方法、装置、设备及存储介质 | |
| JP3529290B2 (ja) | Ｉ／ｏバッファ動作電源自動チェックシステム | |
| JPS63205760A (ja) | 論理シミユレ−シヨンのテストカバレ−ジ方式 | |
| US6813751B2 (en) | Creating standard VHDL test environments | |
| JP2646304B2 (ja) | コンピュータプログラムのテスト検証方法 | |
| JPH029370B2 (ja) | ||
| JPH01100642A (ja) | 計算機システムのテストカバレージ方式 | |
| JPS6339051A (ja) | 論理シミユレ−シヨンのテストカバレ−ジ方式 | |
| JPH07219980A (ja) | テスト実行方式 | |
| JP2002091763A (ja) | 開発承認支援システム及び記憶媒体 | |
| CN100418067C (zh) | 计算机程序查错辅助方法及系统 | |
| JPH05120069A (ja) | コンピユータプログラムのテスト検証方法 | |
| CN118210703A (zh) | 用于gpu联合仿真的参考模型的功能覆盖率获取系统 | |
| JPH06259495A (ja) | 論理シミュレーション方式 | |
| JP2924222B2 (ja) | 論理シミュレータ | |
| JPH07306881A (ja) | 論理シミュレーション結果解析支援装置 | |
| JPH05134896A (ja) | プログラムテストデータ自動作成装置 | |
| JPH05100907A (ja) | フアームウエアの網羅率測定方式 | |
| CN119806927A (zh) | 一种芯片验证环境中调试汇编和c代码的方法及相关装置 |