JP4266226B2 - 選択的に有効にされるチェッカーを用いた設計検証システムおよび方法 - Google Patents
選択的に有効にされるチェッカーを用いた設計検証システムおよび方法 Download PDFInfo
- Publication number
- JP4266226B2 JP4266226B2 JP2006062693A JP2006062693A JP4266226B2 JP 4266226 B2 JP4266226 B2 JP 4266226B2 JP 2006062693 A JP2006062693 A JP 2006062693A JP 2006062693 A JP2006062693 A JP 2006062693A JP 4266226 B2 JP4266226 B2 JP 4266226B2
- Authority
- JP
- Japan
- Prior art keywords
- test case
- design verification
- checker
- characteristic
- test
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
- Logic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Description
Assertion1_for_instruction_loadw
Assertion2_for_instruction_loadw
Assertion3_for_instruction_loadw
}
when instruction_addf_is_used == true enable{
Assertion1_for_instruction_addf
Assertion2_for_instruction_addf
}
when instruction_br_is_used == false disable{
Assertion1_for_instruction_br
Assertion2_for_instruction_br
}。
instruction_addf_is _used := false
instruction_br_is_used := true。
を使用者に提供する。
Claims (18)
- 検査対象のモジュールに実行させる所定の動作の内容を規定するテストケースを分析した結果に基づいて、テストケースを特徴付けるための予め定められた複数のテストケース特性のうちの少なくとも1つと関連付けることを用いて前記テストケースを特徴付け、前記テストケースとこのテストケースを特徴付ける前記テストケース特性との関連を特定可能な情報を含んだテストケース特性情報を生成するように構成されている、テストケース分析部と、
各々が前記モジュールの特定の動作を検証するように構成されている複数の設計検証チェッカー部と、
前記テストケース特性情報から前記テストケースに含まれている前記テストケース特性を特定し、前記特定されたテストケース特性に基づいて前記複数の設計検証チェッカー部のうちの前記テストケースによって実行される動作を検証する第1組を有効にするとともに前記テストケースによって実行される動作を検証しない第2組を無効にするように構成されている、チェッカー選択部と、
を具備する、設計検証システム。 - 前記テストケース特性情報が、前記テストケースが含んでいる特性に対応する前記テストケース特性を特定するテストケース特性識別子を含んでいる、請求項1の設計検証システム。
- 複数の前記設計検証チェッカー部のそれぞれが1つ以上の前記テストケース特性識別子と関連付けされており、
前記チェッカー選択部が、前記テストケース分析部から供給された前記テストケース特性識別子と関連付けされた前記設計検証チェッカー部を有効にするように構成されている、
請求項2の設計検証システム。 - 複数の前記設計検証チェッカー部のうちの前記第1組を特定する情報を含んだ検証カバレージ情報を出力するように構成されている、請求項1の設計検証システム。
- 前記設計検証システムが、集積回路を検査するように構成されている、請求項1の設計検証システム。
- 複数の前記設計検証チェッカー部のうちの前記第1組に対応する動的ローダブルオブジェクトをロードすることによって前記設計検証チェッカー部のうちの前記第1組を有効にするように構成されている、請求項1の設計検証システム。
- コンピュータが、検査対象のモジュールに実行させる所定の動作の内容を規定するテストケースを分析した結果に基づいて、テストケースを特徴付けるための予め定められた複数のテストケース特性のうちの少なくとも1つと関連付けることを用いて前記テストケースを特徴付ける工程と、
コンピュータが、前記テストケースとこのテストケースを特徴付ける前記テストケース特性との関連を特定可能な情報を含んだテストケース特性情報を生成する工程と、
コンピュータが、前記テストケース特性情報から前記テストケースに含まれている前記テストケース特性を特定する工程と、
コンピュータが、前記特定されたテストケース特性に基づいて前記複数の設計検証チェッカー部のうちの前記テストケースによって実行される動作を検証する第1組を有効にするとともに前記テストケースによって実行される動作を検証しない第2組を無効にする工程と、
を具備することを特徴とする、コンピュータ・ソフトウェアによる設計検証方法。 - 前記テストケース特性情報が、前記テストケースが含んでいる特性に対応する前記テストケース特性を特定するテストケース特性識別子を含んでいる、請求項7の設計検証方法。
- 複数の前記設計検証チェッカー部のそれぞれが1つ以上の前記テストケース特性識別子と関連付けされており、
複数の前記設計検証チェッカー部のうちの第1組を有効にするとともに第2組を無効にする工程が、コンピュータが、前記テストケース特性情報内の前記テストケース特性識別子と関連付けられている前記設計検証チェッカー部を有効にする工程を含む、
請求項8の設計検証方法。 - コンピュータが複数の前記設計検証チェッカー部のうちの前記第1組を特定する情報を含んだ検証カバレージ情報を出力する工程をさらに具備することをさらに含む、請求項7の設計検証方法。
- 前記設計検証方法が、集積回路を検査するように構成された設計検証環境内で実施される、請求項7の設計検証方法。
- 複数の前記設計検証チェッカー部のうちの前記第1組および前記第2組が動的ローダブルオブジェクトとして用意されており、
複数の前記設計検証チェッカー部のうちの第1組を有効にするとともに第2組を無効にする工程が、コンピュータが、複数の前記設計検証チェッカー部のうちの前記第1組に対応する前記動的ローダブルオブジェクトをロードする工程を含む、
請求項7の設計検証方法。 - コンピュータに、
検査対象のモジュールに実行させる所定の動作の内容を規定するテストケースを分析した結果に基づいて、テストケースを特徴付けるための予め定められた複数のテストケース特性のうちの少なくとも1つと関連付けることを用いて前記テストケースを特徴付ける工程と、
前記テストケースとこのテストケースを特徴付ける前記テストケース特性との関連を特定可能な情報を含んだテストケース特性情報を生成する工程と、
前記テストケース特性情報から前記テストケースに含まれている前記テストケース特性を特定する工程と、
前記特定されたテストケース特性に基づいて前記複数の設計検証チェッカー部のうちの前記テストケースによって実行される動作を検証する第1組を有効にするとともに前記テストケースによって実行される動作を検証しない第2組を無効にする工程と、
を実現させるためのプログラム。 - 前記テストケース特性情報が、前記テストケースが含んでいる特性に対応する前記テストケース特性を特定するテストケース特性識別子を含んでいる、請求項13のプログラム。
- 複数の前記設計検証チェッカー部のそれぞれが1つ以上の前記テストケース特性識別子と関連付けされており、
コンピュータに複数の前記設計検証チェッカー部のうちの第1組を有効にするとともに第2組を無効にする工程が、コンピュータに、前記テストケース特性情報内の前記テストケース特性識別子と関連付けられている前記設計検証チェッカー部を有効にする工程を実現させることを含む、
請求項14のプログラム。 - 複数の前記設計検証チェッカー部のうちの前記第1組を特定する情報を含んだ検証カバレージ情報を出力する工程をコンピュータに実現させることをさらに含む、請求項13のプログラム。
- 前記プログラムが、集積回路を検査するように構成された設計検証環境内で実行されるように構成されている、請求項13のプログラム。
- 複数の前記設計検証チェッカー部のうちの前記第1組および前記第2組が動的ローダブルオブジェクトとして用意されており、
コンピュータに複数の前記設計検証チェッカー部のうちの第1組を有効にするとともに第2組を無効にする工程が、コンピュータに複数の前記設計検証チェッカー部のうちの前記第1組に対応する前記動的ローダブルオブジェクトをロードする工程を実現させること含む、
請求項13のプログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/074,808 US7383519B2 (en) | 2005-03-08 | 2005-03-08 | Systems and methods for design verification using selectively enabled checkers |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006318447A JP2006318447A (ja) | 2006-11-24 |
JP4266226B2 true JP4266226B2 (ja) | 2009-05-20 |
Family
ID=36972469
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006062693A Expired - Fee Related JP4266226B2 (ja) | 2005-03-08 | 2006-03-08 | 選択的に有効にされるチェッカーを用いた設計検証システムおよび方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US7383519B2 (ja) |
JP (1) | JP4266226B2 (ja) |
Families Citing this family (27)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE112005002149T5 (de) * | 2004-09-01 | 2007-08-09 | Advantest Corp. | Logisches Verifizierungsverfahren, logische Moduldaten, Vorrichtungsdaten und logische Verifizierungsvorrichtung |
US7535861B2 (en) * | 2005-10-07 | 2009-05-19 | Pacific Star Communications Inc. | Self-contained portable broadband communication system |
US7877710B1 (en) | 2005-10-17 | 2011-01-25 | Altera Corporation | Method and apparatus for deriving signal activities for power analysis and optimization |
US8099695B1 (en) * | 2006-08-02 | 2012-01-17 | Cadence Design Systems, Inc. | Automated debugging method and system for over-constrained circuit verification environment |
US20080172651A1 (en) * | 2007-01-15 | 2008-07-17 | Microsoft Corporation | Applying Function Level Ownership to Test Metrics |
US20080172655A1 (en) * | 2007-01-15 | 2008-07-17 | Microsoft Corporation | Saving Code Coverage Data for Analysis |
US20080172652A1 (en) * | 2007-01-15 | 2008-07-17 | Microsoft Corporation | Identifying Redundant Test Cases |
US20080172580A1 (en) * | 2007-01-15 | 2008-07-17 | Microsoft Corporation | Collecting and Reporting Code Coverage Data |
WO2009047685A2 (en) * | 2007-10-10 | 2009-04-16 | Nxp B.V. | Assertion based verification of interconnected subsystems |
US7975248B2 (en) * | 2007-12-03 | 2011-07-05 | Lsi Corporation | Staged scenario generation |
US8103998B2 (en) * | 2008-02-20 | 2012-01-24 | International Business Machines Corporation | Verifying non-deterministic behavior of a design under test |
US7865793B2 (en) * | 2008-04-30 | 2011-01-04 | International Business Machines Corporation | Test case generation with backward propagation of predefined results and operand dependencies |
US8024688B1 (en) * | 2008-12-12 | 2011-09-20 | Xilinx, Inc. | Deterring reverse engineering |
US8661448B2 (en) | 2011-08-26 | 2014-02-25 | International Business Machines Corporation | Logical partition load manager and balancer |
US9057764B2 (en) * | 2011-10-27 | 2015-06-16 | International Business Machines Corporation | Detection of unchecked signals in circuit design verification |
JP2013175082A (ja) * | 2012-02-27 | 2013-09-05 | Hitachi Automotive Systems Ltd | 電子制御装置の検証装置 |
US9720792B2 (en) | 2012-08-28 | 2017-08-01 | Synopsys, Inc. | Information theoretic caching for dynamic problem generation in constraint solving |
US11468218B2 (en) | 2012-08-28 | 2022-10-11 | Synopsys, Inc. | Information theoretic subgraph caching |
JP6102448B2 (ja) * | 2013-04-10 | 2017-03-29 | 富士通株式会社 | 検証支援プログラム、検証支援装置、および検証支援方法 |
CN104181408A (zh) * | 2013-05-27 | 2014-12-03 | 鸿富锦精密工业(深圳)有限公司 | 信号完整性测量系统及方法 |
US8856708B1 (en) * | 2013-07-12 | 2014-10-07 | Hamilton Sundstrand Corporation | Multi-tier field-programmable gate array hardware requirements assessment and verification for airborne electronic systems |
KR102166663B1 (ko) * | 2014-02-14 | 2020-10-19 | 삼성전자주식회사 | 시스템 온 칩의 테스트 시스템 및 그것의 테스트 방법 |
US9922163B2 (en) * | 2016-07-07 | 2018-03-20 | International Business Machines Corporation | Physically aware test patterns in semiconductor fabrication |
US10482006B2 (en) * | 2017-06-16 | 2019-11-19 | Cognizant Technology Solutions India Pvt. Ltd. | System and method for automatically categorizing test cases for model based testing |
CN112613298A (zh) * | 2020-12-29 | 2021-04-06 | 北京嘀嘀无限科技发展有限公司 | 数据校验方法、系统、计算机程序产品和电子设备 |
CN117234591B (zh) * | 2023-09-04 | 2024-04-16 | 上海合芯数字科技有限公司 | 指令验证方法、系统、设备、介质及产品 |
CN117007897B (zh) * | 2023-10-07 | 2023-12-08 | 山西省安装集团股份有限公司 | 一种应用于电仪实验室的电气设备测试系统 |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6810372B1 (en) * | 1999-12-07 | 2004-10-26 | Hewlett-Packard Development Company, L.P. | Multimodal optimization technique in test generation |
US6993470B2 (en) * | 2001-06-26 | 2006-01-31 | International Business Machines Corporation | Method of evaluating test cases in a simulation environment by harvesting |
US6658633B2 (en) * | 2001-10-03 | 2003-12-02 | International Business Machines Corporation | Automated system-on-chip integrated circuit design verification system |
US6883150B2 (en) * | 2003-03-14 | 2005-04-19 | Hewlett-Packard Development Company, L.P. | Automatic manufacturing test case generation method and system |
US7162703B1 (en) * | 2003-06-19 | 2007-01-09 | Altera Corporation | Electrical design rule checking expert traverser system |
-
2005
- 2005-03-08 US US11/074,808 patent/US7383519B2/en not_active Expired - Fee Related
-
2006
- 2006-03-08 JP JP2006062693A patent/JP4266226B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2006318447A (ja) | 2006-11-24 |
US20060206840A1 (en) | 2006-09-14 |
US7383519B2 (en) | 2008-06-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4266226B2 (ja) | 選択的に有効にされるチェッカーを用いた設計検証システムおよび方法 | |
US6212667B1 (en) | Integrated circuit test coverage evaluation and adjustment mechanism and method | |
Katrowitz et al. | I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessor | |
US7900181B2 (en) | Systems, methods, and media for block-based assertion generation, qualification and analysis | |
JP3872954B2 (ja) | 有限状態機械を識別して回路設計を検査するシステムおよび方法 | |
US10936474B2 (en) | Software test program generation | |
US20220253375A1 (en) | Systems and methods for device testing to avoid resource conflicts for a large number of test scenarios | |
JPH05505271A (ja) | コンピュータプログラムをテストし、デバッグする方法 | |
US6707313B1 (en) | Systems and methods for testing integrated circuits | |
WO2020113526A1 (zh) | 一种芯片验证方法和装置 | |
Canizares et al. | An expert system for checking the correctness of memory systems using simulation and metamorphic testing | |
US8412507B2 (en) | Testing the compliance of a design with the synchronization requirements of a memory model | |
US7673288B1 (en) | Bypassing execution of a software test using a file cache | |
US6934656B2 (en) | Auto-linking of function logic state with testcase regression list | |
US10528689B1 (en) | Verification process for IJTAG based test pattern migration | |
Lee et al. | Efficient overdetection elimination of acceptable faults for yield improvement | |
US6748352B1 (en) | Method and apparatus for scan design using a formal verification-based process | |
Marchese et al. | Formal fault propagation analysis that scales to modern automotive SoCs | |
US20080077893A1 (en) | Method for verifying interconnected blocks of IP | |
Condia et al. | Untestable faults identification in GPGPUs for safety-critical applications | |
Ubar et al. | Software-based self-test generation for microprocessors with high-level decision diagrams | |
US7051301B2 (en) | System and method for building a test case including a summary of instructions | |
US10060976B1 (en) | Method and apparatus for automatic diagnosis of mis-compares | |
Merentitis et al. | Directed random SBST generation for on-line testing of pipelined processors | |
Bertacco | Post-silicon debugging for multi-core designs |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20081107 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20081118 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090119 |
|
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: 20090210 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20090213 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120227 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |