JP6291242B2 - 情報処理装置の論理検証方法及びプログラム - Google Patents
情報処理装置の論理検証方法及びプログラム Download PDFInfo
- Publication number
- JP6291242B2 JP6291242B2 JP2013257573A JP2013257573A JP6291242B2 JP 6291242 B2 JP6291242 B2 JP 6291242B2 JP 2013257573 A JP2013257573 A JP 2013257573A JP 2013257573 A JP2013257573 A JP 2013257573A JP 6291242 B2 JP6291242 B2 JP 6291242B2
- Authority
- JP
- Japan
- Prior art keywords
- test
- determined
- test data
- information
- generated
- 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.)
- Active
Links
- 238000012795 verification Methods 0.000 title claims description 85
- 238000000034 method Methods 0.000 title claims description 64
- 230000010365 information processing Effects 0.000 title claims description 45
- 238000012360 testing method Methods 0.000 claims description 430
- 230000005856 abnormality Effects 0.000 claims description 69
- 230000002159 abnormal effect Effects 0.000 claims description 48
- 238000010200 validation analysis Methods 0.000 claims 1
- 238000012545 processing Methods 0.000 description 22
- 238000004088 simulation Methods 0.000 description 19
- 230000008569 process Effects 0.000 description 13
- 238000003860 storage Methods 0.000 description 10
- 238000010586 diagram Methods 0.000 description 8
- 239000011159 matrix material Substances 0.000 description 6
- 230000008929 regeneration Effects 0.000 description 6
- 238000011069 regeneration method Methods 0.000 description 6
- 238000012937 correction Methods 0.000 description 4
- 230000002093 peripheral effect Effects 0.000 description 4
- 230000006870 function Effects 0.000 description 3
- 230000007547 defect Effects 0.000 description 2
- 238000004904 shortening Methods 0.000 description 2
- 230000008901 benefit Effects 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 238000002360 preparation method Methods 0.000 description 1
- 230000001172 regenerating effect Effects 0.000 description 1
- 230000003252 repetitive effect Effects 0.000 description 1
- 230000008685 targeting Effects 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
Images
Description
(1)情報処理装置の論理検証方法であって、
前記情報処理装置に対して実行されるテストデータのテスト結果が正常と判定された場合の情報を管理するカバレッジ情報と前記テストデータのテスト結果が異常と判定された場合の情報を管理するテスト結果異常情報とを初期化するステップと、
前記カバレッジ情報および前記テスト結果異常情報を参照してテストデータを生成するステップと、
前記生成テストデータがテスト済みかどうかを判断し、テスト済みであれば前記生成テストデータを妥当でないと判定し、前記生成テストデータがテスト済みでなければ前記生成テストデータを妥当であると判定するステップと、
前記生成テストデータのテスト結果が異常判定済みかどうかを判断し、テスト結果異常判定済みと判断された場合は、前記生成テストデータを妥当でないと判定し、生成テストデータがテスト結果異常判定済みでないと判断された場合は、前記生成テストデータを妥当であると判定するステップと、
前記両ステップで妥当であると判定された生成テストデータについて前記情報処理装置のシミュレータを用いて擬似テストを実行し、前記擬似テストによる期待値を生成するステップと、
前記両ステップで妥当であると判定された生成テストデータについて前記情報処理装置に対し本テストを実行するステップと、
前記情報処理装置に対して実行した前記本テストのテスト結果と前記期待値とを比較し、前記テスト結果が正常かどうかを判定するステップと、
前記テスト結果の判定が異常と判定された場合は前記テスト結果異常情報を更新し、また前記テスト結果の判定が正常と判定された場合は前記カバレッジ情報を更新して終了判定を行い、前記終了判定において終了条件を満たす場合は論理検証を終了し、終了条件を満たさない場合は前記テストデータを生成するステップ以降の各ステップを繰り返すことを特徴とする、方法。
(2)前記生成テストデータを妥当でない又は妥当であると判定する2つの前記ステップのうち少なくとも一方において、前記生成テストデータが妥当でないと判定された場合、前記生成テストデータに係るテストパラメータを修正し、前記カバレッジ情報および前記テスト結果異常情報を参照してテストデータを生成するステップを再度実行することを特徴とする、上記(1)に記載の方法。
(3)コンピュータに、
情報処理装置に対して実行されるテストデータのテスト結果が正常と判定された場合の情報を管理するカバレッジ情報と前記テストデータのテスト結果が異常と判定された場合の情報を管理するテスト結果異常情報とを初期化する手順、
前記カバレッジ情報および前記テスト結果異常情報を参照してテストデータを生成する手順、
前記生成テストデータがテスト済みかどうかを判断し、テスト済みであれば前記生成テストデータを妥当でないと判定し、前記生成テストデータがテスト済みでなければ前記生成テストデータを妥当であると判定する手順、
前記生成テストデータのテスト結果が異常判定済みかどうかを判断し、テスト結果異常判定済みと判断された場合は、前記生成テストデータを妥当でないと判定し、生成テストデータがテスト結果異常判定済みでないと判断された場合は、前記生成テストデータを妥当であると判定する手順、
前記両手順で妥当であると判定された生成テストデータについて前記情報処理装置のシミュレータを用いて擬似テストを実行し、前記擬似テストによる期待値を生成する手順、
前記両手順で妥当であると判定された生成テストデータについて前記情報処理装置に対し本テストを実行する手順、
前記情報処理装置に対して実行した前記本テストのテスト結果と前記期待値とを比較し、前記テスト結果が正常かどうかを判定する手順、
前記テスト結果の判定が異常と判定された場合は前記テスト結果異常情報を更新し、また前記テスト結果の判定が正常と判定された場合は前記カバレッジ情報を更新して終了判定を行い、前記終了判定において終了条件を満たす場合は論理検証を終了し、終了条件を満たさない場合は前記テストデータを生成する手順以降の各手順を繰り返す手順、を実行させるためのプログラム。
論理シミュレーションの結果の判定は、シミュレータ210の出力結果である、レジスタ、及びメモリの値や、その他の検証対象装置のリソースの値を対象として、検証対象装置での論理シミュレーションの実行結果と比較を行い、比較結果が等しければ正常、異なっていれば異常と判断し、論理シミュレーションのテスト判定結果とする。
101 ・・・検証対象装置
102 ・・・検証プログラム
111 ・・・プロセッサ
120 ・・・システムバス
121 ・・・主記憶装置
201 ・・・テストデータ生成部
202 ・・・カバレッジ情報取得処理部
203 ・・・テスト結果異常情報取得処理部
204 ・・・テストデータ生成処理部
205 ・・・擬似テスト実行処理部
211 ・・・妥当性チェック部
212 ・・・カバレッジ情報参照部
213 ・・・テスト結果異常情報参照部
214 ・・・生成テストデータチェック部
215 ・・・期待値生成部
216 ・・・擬似テスト実行部
220 ・・・論理シミュレーション環境
230 ・・・カバレッジ情報
240 ・・・本テスト実行部
241 ・・・本テスト実行処理部
242 ・・・テスト結果判定処理部
243 ・・・カバレッジ情報更新処理部
244 ・・・テスト結果異常情報更新処理部
245 ・・・期待値
246 ・・・カバー項目
250 ・・・テスト結果異常情報
301 ・・・テストパタン更新
302 ・・・テストデータ生成
303 ・・・妥当性判定
304 ・・・擬似テスト実行
305 ・・・本テスト実行
306 ・・・テスト結果判定
307 ・・・終了判定
308 ・・・テストパラメータの修正
309 ・・・エラーメッセージ出力
312 ・・・カバレッジ情報更新
313 ・・・テスト結果異常情報更新
414 ・・・カバレッジ情報
415 ・・・カバレッジ情報マトリクス
416 ・・・テスト結果異常情報
417 ・・・テスト結果異常情報マトリクス
Claims (3)
- 情報処理装置の論理検証方法であって、コンピュータにより実行される、
前記情報処理装置に対して実行されるテストデータのテスト結果が正常と判定された場合の情報を管理するカバレッジ情報と前記テストデータのテスト結果が異常と判定された場合の情報を管理するテスト結果異常情報とを初期化するステップと、
前記カバレッジ情報および前記テスト結果異常情報を参照してテストデータを生成するステップと、
前記生成テストデータがテスト済みかどうかを判断し、テスト済みであれば前記生成テストデータを妥当でないと判定し、前記生成テストデータがテスト済みでなければ前記生成テストデータを妥当であると判定する妥当性判定のステップと、
前記生成テストデータのテスト結果が異常判定済みかどうかを判断し、テスト結果異常判定済みと判断された場合は、前記生成テストデータを妥当でないと判定し、生成テストデータがテスト結果異常判定済みでないと判断された場合は、前記生成テストデータを妥当であると判定する妥当性判定のステップと、
前記両妥当性判定のステップで妥当であると判定された生成テストデータについて前記情報処理装置のシミュレータを用いて擬似テストを実行し、前記擬似テストによる期待値を生成するステップと、
前記両妥当性判定のステップで妥当であると判定された生成テストデータについて前記情報処理装置に対し本テストを実行するステップと、
前記情報処理装置に対して実行した前記本テストのテスト結果と前記期待値とを比較し、前記テスト結果が正常かどうかを判定するステップと、
前記テスト結果の判定が異常と判定された場合は前記テスト結果異常情報を更新し、また前記テスト結果の判定が正常と判定された場合は前記カバレッジ情報を更新して終了判定を行い、前記終了判定において終了条件を満たす場合は論理検証を終了し、終了条件を満たさない場合は前記テストデータを生成するステップ以降の各ステップを繰り返すステップと、
を備えたことを特徴とする、方法。 - 前記生成テストデータを妥当でない又は妥当であると判定する2つの前記妥当性判定のステップのうち少なくとも一方において、前記生成テストデータが妥当でないと判定された場合、前記生成テストデータに係るテストパラメータを修正し、前記カバレッジ情報および前記テスト結果異常情報を参照してテストデータを生成するステップを再度実行することを特徴とする、請求項1に記載の方法。
- コンピュータに、
情報処理装置に対して実行されるテストデータのテスト結果が正常と判定された場合の情報を管理するカバレッジ情報と前記テストデータのテスト結果が異常と判定された場合の情報を管理するテスト結果異常情報とを初期化する手順、
前記カバレッジ情報および前記テスト結果異常情報を参照してテストデータを生成する手順、
前記生成テストデータがテスト済みかどうかを判断し、テスト済みであれば前記生成テストデータを妥当でないと判定し、前記生成テストデータがテスト済みでなければ前記生成テストデータを妥当であると判定する妥当性判定の手順、
前記生成テストデータのテスト結果が異常判定済みかどうかを判断し、テスト結果異常判定済みと判断された場合は、前記生成テストデータを妥当でないと判定し、生成テストデータがテスト結果異常判定済みでないと判断された場合は、前記生成テストデータを妥当であると判定する妥当性判定の手順、
前記両妥当性判定の手順で妥当であると判定された生成テストデータについて前記情報処理装置のシミュレータを用いて擬似テストを実行し、前記擬似テストによる期待値を生成する手順、
前記両妥当性判定の手順で妥当であると判定された生成テストデータについて前記情報処理装置に対し本テストを実行する手順、
前記情報処理装置に対して実行した前記本テストのテスト結果と前記期待値とを比較し、前記テスト結果が正常かどうかを判定する手順、
前記テスト結果の判定が異常と判定された場合は前記テスト結果異常情報を更新し、また前記テスト結果の判定が正常と判定された場合は前記カバレッジ情報を更新して終了判定を行い、前記終了判定において終了条件を満たす場合は論理検証を終了し、終了条件を満たさない場合は前記テストデータを生成する手順以降の各手順を繰り返す手順、を実行させるためのプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013257573A JP6291242B2 (ja) | 2013-12-13 | 2013-12-13 | 情報処理装置の論理検証方法及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013257573A JP6291242B2 (ja) | 2013-12-13 | 2013-12-13 | 情報処理装置の論理検証方法及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015114923A JP2015114923A (ja) | 2015-06-22 |
JP6291242B2 true JP6291242B2 (ja) | 2018-03-14 |
Family
ID=53528648
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013257573A Active JP6291242B2 (ja) | 2013-12-13 | 2013-12-13 | 情報処理装置の論理検証方法及びプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6291242B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2021261003A1 (ja) * | 2020-06-25 | 2021-12-30 | 日立Astemo株式会社 | 電子制御装置 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2002149440A (ja) * | 2000-11-08 | 2002-05-24 | Matsushita Electric Ind Co Ltd | 論理回路検証方法、及び論理回路検証装置 |
JP5308098B2 (ja) * | 2008-08-13 | 2013-10-09 | 株式会社日立情報通信エンジニアリング | 情報処理装置試験プログラム及び方法 |
JP2010267209A (ja) * | 2009-05-18 | 2010-11-25 | Fujitsu Semiconductor Ltd | 検証支援プログラム、検証支援装置および検証支援方法 |
JP2011242888A (ja) * | 2010-05-14 | 2011-12-01 | Toshiba Corp | システム開発支援装置及びプログラム並びに方法 |
JP5876344B2 (ja) * | 2012-03-23 | 2016-03-02 | 株式会社日立情報通信エンジニアリング | 論理検証システム及びプログラム |
JP6155050B2 (ja) * | 2013-02-27 | 2017-06-28 | 株式会社日立情報通信エンジニアリング | 情報処理装置の論理検証方法及びプログラム |
-
2013
- 2013-12-13 JP JP2013257573A patent/JP6291242B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2015114923A (ja) | 2015-06-22 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP7270764B2 (ja) | 人工知能チップ検証 | |
CN110633200A (zh) | 用于测试智能合约的方法和设备 | |
CN111859832B (zh) | 一种芯片仿真验证方法、装置及相关设备 | |
CN111045933A (zh) | 一种回归策略更新方法、装置、存储介质及终端设备 | |
CN111936998B (zh) | 数据变换流水线的硬件设计的验证 | |
CN110599341A (zh) | 交易调用方法及系统 | |
CN109299530A (zh) | 一种仿真测试案例生成方法、系统、存储介质和终端 | |
US7124383B2 (en) | Integrated proof flow system and method | |
US10592623B2 (en) | Assertion statement check and debug | |
US10592703B1 (en) | Method and system for processing verification tests for testing a design under test | |
JP6155050B2 (ja) | 情報処理装置の論理検証方法及びプログラム | |
JP6291242B2 (ja) | 情報処理装置の論理検証方法及びプログラム | |
JP2019091144A (ja) | シミュレーション装置、シミュレーションシステム、シミュレーション方法及びシミュレーションプログラム | |
CN112731117A (zh) | 芯片的自动验证方法和系统,及存储介质 | |
CN111913858A (zh) | 一种压力测试系统和方法 | |
US20120291019A1 (en) | Program verification apparatus based on model verifying and storage medium | |
CN113821898A (zh) | 芯片子系统的随机验证方法、装置、设备和存储介质 | |
CN114721922B (zh) | 一种服务器集群的性能评估方法、计算设备及存储介质 | |
CN115034165A (zh) | 一种芯片仿真验证方法、系统、设备以及存储介质 | |
CN115562931A (zh) | 处理器调试模块验证方法、装置、电子设备和存储介质 | |
CN115034164A (zh) | 验证方法、电子设备及存储介质 | |
CN110991129A (zh) | 一种基于fpga的密码协处理器全自动仿真验证方法 | |
JP6949440B2 (ja) | ベクタ生成装置及びベクタ生成用プログラム | |
US11847393B2 (en) | Computing device and method for developing a system model utilizing a simulation assessment module | |
JP2011034517A (ja) | 等価性検証装置、そのデータ処理方法、およびプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20161028 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20171026 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20171107 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20171225 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20180206 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20180209 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6291242 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |