JP5625942B2 - 設計検証プログラム,設計検証装置,設計検証方法 - Google Patents
設計検証プログラム,設計検証装置,設計検証方法 Download PDFInfo
- Publication number
- JP5625942B2 JP5625942B2 JP2011010133A JP2011010133A JP5625942B2 JP 5625942 B2 JP5625942 B2 JP 5625942B2 JP 2011010133 A JP2011010133 A JP 2011010133A JP 2011010133 A JP2011010133 A JP 2011010133A JP 5625942 B2 JP5625942 B2 JP 5625942B2
- Authority
- JP
- Japan
- Prior art keywords
- assertion
- request
- test pattern
- executed
- expected
- 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.)
- Expired - Fee Related
Links
Images
Description
ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと適合するかコンピュータに検証させる設計検証プログラムにおいて,
前記コンピュータを,
少なくとも一つの要求を含む試験パターンを生成する試験パターン生成手段,
生成された要求毎に,各要求と各要求に対して実行が期待されるアサーションとを関連付けた期待値情報を生成する期待値情報生成手段,
生成された要求毎に,各要求に対して実行されたアサーションと,各要求に対して設定された前記期待値情報におけるアサーションとの整合性を判定する整合性判定手段,
前記整合性の判定結果を出力する出力手段,
として機能させることを特徴とする設計検証プログラム。
付記1において,
前記整合性判定手段は,各要求に対して,前記期待値情報におけるアサーションと異なるアサーションが実行された場合に,エラー判定することを特徴とする設計検証プログラム。
付記1において,
前記整合性判定手段は,各要求に対して,一定期間内に,前記期待値情報におけるアサーションが実行されない場合に,エラー判定することを特徴とする設計検証プログラム。
付記1において,
前記期待値情報は,各要求に対して実行が期待されるアサーションの実行回数を含み,
前記整合性判定手段は,各要求に対して実行されたアサーションの実行回数と,前記期待値情報におけるアサーションの実行回数とが異なる場合に,エラー判定することを特徴とする設計検証プログラム。
付記1において,
前記試験パターンは,順序付けされた複数の要求を含む試験パターンを生成し,
前記整合性判定手段は,前記試験パターンにおける前記複数の要求の実行順序と,実際に実行された要求の実行順序とが異なる場合,エラー判定することを特徴とする設計検証プログラム。
ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと適合するかコンピュータに検証させる設計検証プログラムにおいて,
前記コンピュータを,
順序付けされた複数の要求を含む試験パターンを生成する試験パターン生成手段,
前記試験パターンにおける前記複数の要求の実行順序と,実際に実行された要求の実行順序との整合性を判定する整合性判定手段,
前記整合性の判定結果を出力する出力手段,
として機能させることを特徴とする設計検証プログラム。
ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと一致するか検証する設計検証装置において,
少なくとも一つの要求を含む試験パターンを生成する試験パターン生成手段と,
生成された要求毎に,各要求に対して実行が期待されるアサーションとを関連付けた期待値情報を生成する期待値情報生成手段と,
生成された要求毎に,各要求に対して実行されたアサーションと,前記期待値情報における各要求に対して実行が期待されるアサーションとの整合性を判定する整合性判定手段と,
前記整合性の判定結果を出力する出力手段とを備えることを特徴とする設計検証装置。
ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと一致するかコンピュータに検証させる設計検証方法において,
前記コンピュータが,
少なくとも一つの要求を含む試験パターンを生成する試験パターン生成工程と,
生成された要求毎に,各要求に対して実行が期待されるアサーションとを関連付けた期待値情報を生成する期待値情報生成工程と,
生成された要求毎に,各要求に対して実行されたアサーションと,前記期待値情報における各要求に対して実行が期待されるアサーションとの整合性を判定する整合性判定工程と,
前記整合性の判定結果を出力する出力工程とを実行することを特徴とする設計検証方法。
ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと適合するかコンピュータに検証させる設計検証装置において,
順序づけされた複数の要求を含む試験パターンを生成する試験パターン生成手段と,
前記試験パターンにおける前記複数の要求の実行順序と,実際に実行された要求の実行順序との整合性を判定する整合性判定手段と,
前記整合性の判定結果を出力する出力手段とを備えることを特徴とする設計検証プログラム。
ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと適合するかコンピュータに検証させる設計検証方法において,
前記コンピュータが,
順序づけされた複数の要求を含む試験パターンを生成する試験パターン生成工程と,
前記試験パターンにおける前記複数の要求の実行順序と,実際に実行された要求の実行順序との整合性を判定する整合性判定工程と,
前記整合性の判定結果を出力する出力工程とを実行することを特徴とする設計検証方法。
Claims (4)
- ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと適合するかコンピュータに検証させる設計検証プログラムにおいて,
前記コンピュータを,
少なくとも一つの要求を含む試験パターンを生成する試験パターン生成手段,
生成された要求毎に,各要求と各要求に対して実行が期待されるアサーションとを関連付けた期待値情報を生成する期待値情報生成手段,
生成された要求毎に,各要求に対して実行されたアサーションと,各要求に対して設定された前記期待値情報におけるアサーションとの整合性を判定する整合性判定手段,
前記整合性の判定結果を出力する出力手段,
として機能させることを特徴とする設計検証プログラム。 - 請求項1において,
前記試験パターンは,順序付けされた複数の要求を含む試験パターンを生成し,
前記整合性判定手段は,前記試験パターンにおける前記複数の要求の実行順序と,論理シミュレーションにおいて実行された要求の実行順序とが異なる場合,エラー判定することを特徴とする設計検証プログラム。 - ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと一致するか検証する設計検証装置において,
少なくとも一つの要求を含む試験パターンを生成する試験パターン生成手段と,
生成された要求毎に,各要求に対して実行が期待されるアサーションとを関連付けた期待値情報を生成する期待値情報生成手段と,
生成された要求毎に,各要求に対して実行されたアサーションと,前記期待値情報における各要求に対して実行が期待されるアサーションとの整合性を判定する整合性判定手段と,
前記整合性の判定結果を出力する出力手段とを備えることを特徴とする設計検証装置。 - ハードウェア記述言語で記述された論理回路の論理シミュレーション実行結果が,前記論理回路の設計仕様として記述されたアサーションと一致するかコンピュータに検証させる設計検証方法において,
前記コンピュータが,
少なくとも一つの要求を含む試験パターンを生成する試験パターン生成工程と,
生成された要求毎に,各要求に対して実行が期待されるアサーションとを関連付けた期待値情報を生成する期待値情報生成工程と,
生成された要求毎に,各要求に対して実行されたアサーションと,前記期待値情報における各要求に対して実行が期待されるアサーションとの整合性を判定する整合性判定工程と,
前記整合性の判定結果を出力する出力工程とを実行することを特徴とする設計検証方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011010133A JP5625942B2 (ja) | 2011-01-20 | 2011-01-20 | 設計検証プログラム,設計検証装置,設計検証方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011010133A JP5625942B2 (ja) | 2011-01-20 | 2011-01-20 | 設計検証プログラム,設計検証装置,設計検証方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012150723A JP2012150723A (ja) | 2012-08-09 |
JP5625942B2 true JP5625942B2 (ja) | 2014-11-19 |
Family
ID=46792895
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2011010133A Expired - Fee Related JP5625942B2 (ja) | 2011-01-20 | 2011-01-20 | 設計検証プログラム,設計検証装置,設計検証方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5625942B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112464174B (zh) * | 2020-10-27 | 2023-09-29 | 华控清交信息科技(北京)有限公司 | 验证多方安全计算软件的方法、装置和用于验证的装置 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2006309576A (ja) * | 2005-04-28 | 2006-11-09 | Canon Inc | 論理システムの検証装置及び検証方法、記憶媒体及びコンピュータプログラム |
JP5308098B2 (ja) * | 2008-08-13 | 2013-10-09 | 株式会社日立情報通信エンジニアリング | 情報処理装置試験プログラム及び方法 |
-
2011
- 2011-01-20 JP JP2011010133A patent/JP5625942B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2012150723A (ja) | 2012-08-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
TWI533123B (zh) | 自動化測試及結果比對方法及系統 | |
US20110083114A1 (en) | Method and system for re-using digital assertions in a mixed signal design | |
JP5308098B2 (ja) | 情報処理装置試験プログラム及び方法 | |
US20110185332A1 (en) | Model based simulation and optimization methodology for design checking | |
US9824169B2 (en) | Regression signature for statistical functional coverage | |
JP4468410B2 (ja) | ソフトウェア実行装置および協調動作方法 | |
US10592623B2 (en) | Assertion statement check and debug | |
CA2811617C (en) | Commit sensitive tests | |
US9811617B2 (en) | Regression nearest neighbor analysis for statistical functional coverage | |
JP5625942B2 (ja) | 設計検証プログラム,設計検証装置,設計検証方法 | |
JP6155050B2 (ja) | 情報処理装置の論理検証方法及びプログラム | |
CN115757099A (zh) | 平台固件保护恢复功能自动测试方法和装置 | |
US7962796B2 (en) | State testing device and methods thereof | |
JP5992107B2 (ja) | プログラム検証装置及びプログラム検証方法及びプログラム | |
US20090293026A1 (en) | Verification device of semiconductor integrated circuit, verification method of semiconductor integrated circuit, and computer readable medium storing verification program of semiconductor integrated circuit | |
JP5310397B2 (ja) | 動作合成検証補助装置、動作合成検証補助方法、プログラム、及び記録媒体 | |
WO2017013783A1 (ja) | 論理回路の検証方法 | |
JP2014071775A (ja) | システム開発支援装置およびシステム開発支援方法 | |
JP6146224B2 (ja) | 判定方法、判定プログラム、および判定装置 | |
JPH10221410A (ja) | Lsiの自動論理検証方式 | |
WO2022239226A1 (ja) | 組込み回路、回路品質確認装置、及び回路品質確認方法 | |
JP5321624B2 (ja) | 論理回路検証装置、論理回路検証方法およびプログラム | |
JP2011048412A (ja) | 情報処理装置及び情報処理方法及びプログラム | |
JP5951130B2 (ja) | プログラム検証装置及びプログラム検証方法及びプログラム | |
Bindu | A Rigorous Approach to Microprocessor Verification using UVM |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20130926 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20140515 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140603 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20140804 |
|
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: 20140902 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140915 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5625942 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
LAPS | Cancellation because of no payment of annual fees |