JP4541196B2 - 故障検出改善装置、故障検出改善プログラム、故障検出改善方法 - Google Patents
故障検出改善装置、故障検出改善プログラム、故障検出改善方法 Download PDFInfo
- Publication number
- JP4541196B2 JP4541196B2 JP2005072631A JP2005072631A JP4541196B2 JP 4541196 B2 JP4541196 B2 JP 4541196B2 JP 2005072631 A JP2005072631 A JP 2005072631A JP 2005072631 A JP2005072631 A JP 2005072631A JP 4541196 B2 JP4541196 B2 JP 4541196B2
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- netlist
- failure detection
- improvement
- observation
- 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
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
- Semiconductor Integrated Circuits (AREA)
Description
前記ネットリストを入力するネットリスト入力部と、
前記ネットリストにおいて、適所に観測用FFを追加する回路修正部と、
前記回路修正部により変更されたネットリストを出力するネットリスト出力部と、
を備えてなる故障検出改善装置。
(付記2) 付記1に記載の故障検出改善装置において、
前記適所は、テストモード信号により出力の値が固定される回路であることを特徴とする故障検出改善装置。
(付記3) 付記1に記載の故障検出改善装置において、
前記適所は、論理段数がATPGツールの限界を超える回路であることを特徴とする故障検出改善装置。
(付記4) 付記2に記載の故障検出改善装置において、
前記テストモード信号により出力の値が固定される回路は、イネーブル付きクロックバッファのイネーブル信号の生成回路であり、
前記回路修正部は、前記イネーブル信号の生成回路において、テストモード信号以外の入力端子に観測用FFを接続することを特徴とする故障検出改善装置。
(付記5) 付記2に記載の故障検出改善装置において、
前記テストモード信号により出力の値が固定される回路は、前記テストモード信号をセレクト信号として入力するセレクタであり、
前記回路修正部は、前記セレクタの入力端子に観測用FFを接続することを特徴とする故障検出改善装置。
(付記6) 付記3に記載の故障検出改善装置において、
前記回路修正部は、前記ATPGツールが出力する故障リストに基づいて、前記論理段数が前記ATPGツールの限界を超える回路を抽出し、前記論理段数を2等分する観測ポイントに前記観測用FFを含む回路を挿入することを特徴とする故障検出改善装置。
(付記7) 付記3または付記6に記載の故障検出改善装置において、
前記回路修正部は、タイミング検証ツールを用いて前記ネットリストのタイミング検証を行った結果に基づいて、前記観測用FFを含む回路の複数の候補の中から選択し、選択した回路を前記観測ポイントに挿入することを特徴とする故障検出改善装置。
(付記8) ネットリストを修正する故障検出改善方法をコンピュータに実行させる故障検出改善プログラムであって、
ネットリストを入力するネットリスト入力ステップと、
前記ネットリストにおいて、適所に観測用FFを追加する回路修正ステップと、
前記回路修正ステップにより変更されたネットリストを出力するネットリスト出力ステップと、
をコンピュータに実行させる故障検出改善プログラム。
(付記9) 付記8に記載の故障検出改善プログラムにおいて、
前記適所は、テストモード信号により出力の値が固定される回路であることを特徴とする故障検出改善プログラム。
(付記10) 付記8に記載の故障検出改善プログラムにおいて、
前記適所は、論理段数がATPGツールの限界を超える回路であることを特徴とする故障検出改善プログラム。
(付記11) 付記9に記載の故障検出改善プログラムにおいて、
前記テストモード信号により出力の値が固定される回路は、イネーブル付きクロックバッファのイネーブル信号の生成回路であり、
前記回路修正ステップは、前記イネーブル信号の生成回路において、テストモード信号以外の入力端子に観測用FFを接続することを特徴とする故障検出改善プログラム。
(付記12) 付記9に記載の故障検出改善プログラムにおいて、
前記テストモード信号により出力の値が固定される回路は、前記テストモード信号をセレクト信号として入力するセレクタであり、
前記回路修正ステップは、前記セレクタの入力端子に観測用FFを接続することを特徴とする故障検出改善プログラム。
(付記13) 付記10に記載の故障検出改善プログラムにおいて、
前記回路修正ステップは、前記ATPGツールが出力する故障リストに基づいて、前記論理段数が前記ATPGツールの限界を超える回路を抽出し、前記論理段数を2等分する観測ポイントに前記観測用FFを含む回路を挿入することを特徴とする故障検出改善プログラム。
(付記14) 付記10または付記13に記載の故障検出改善プログラムにおいて、
前記回路修正ステップは、タイミング検証ツールを用いて前記ネットリストのタイミング検証を行った結果に基づいて、前記観測用FFを含む回路の複数の候補の中から選択し、選択した回路を前記観測ポイントに挿入することを特徴とする故障検出改善プログラム。
(付記15) ネットリストを修正する故障検出改善方法であって、
ネットリストを入力するネットリスト入力ステップと、
前記ネットリストにおいて、適所に観測用FFを追加する回路修正ステップと、
前記回路修正ステップにより変更されたネットリストを出力するネットリスト出力ステップと、
を実行する故障検出改善方法。
(付記16) 付記15に記載の故障検出改善方法において、
前記適所は、テストモード信号により出力の値が固定される回路であることを特徴とする故障検出改善方法。
(付記17) 付記15に記載の故障検出改善方法において、
前記適所は、論理段数がATPGツールの限界を超える回路であることを特徴とする故障検出改善方法。
(付記18) 付記16に記載の故障検出改善方法において、
前記テストモード信号により出力の値が固定される回路は、イネーブル付きクロックバッファのイネーブル信号の生成回路であり、
前記回路修正ステップは、前記イネーブル信号の生成回路において、テストモード信号以外の入力端子に観測用FFを接続することを特徴とする故障検出改善方法。
(付記19) 付記16に記載の故障検出改善方法において、
前記テストモード信号により出力の値が固定される回路は、前記テストモード信号をセレクト信号として入力するセレクタであり、
前記回路修正ステップは、前記セレクタの入力端子に観測用FFを接続することを特徴とする故障検出改善方法。
(付記20) 付記17に記載の故障検出改善方法において、
前記回路修正ステップは、前記ATPGツールが出力する故障リストに基づいて、前記論理段数が前記ATPGツールの限界を超える回路を抽出し、前記論理段数を2等分する観測ポイントに前記観測用FFを含む回路を挿入することを特徴とする故障検出改善方法。
Claims (5)
- ネットリストを修正する故障検出改善装置であって、
前記ネットリストを入力するネットリスト入力部と、
前記ネットリストにおいて、適所に、タイミング検証ツールを用いて前記ネットリストのタイミング検証を行い、タイミングに余裕がある場合には、観測用FFを含む挿入回路の複数の候補の中から故障検出率の改善効果が大きい挿入回路を選択し、選択した挿入回路を挿入する回路修正部と、
前記回路修正部により変更されたネットリストを出力するネットリスト出力部と、
を備えてなる故障検出改善装置。 - 請求項1に記載の故障検出改善装置において、
前記適所は、テストモード信号により出力の値が固定される回路であることを特徴とする故障検出改善装置。 - 請求項1に記載の故障検出改善装置において、
前記適所は、論理段数がATPGツールの限界を超える回路であることを特徴とする故障検出改善装置。 - ネットリストを修正する故障検出改善方法をコンピュータに実行させる故障検出改善プログラムであって、
ネットリストを入力するネットリスト入力ステップと、
前記ネットリストにおいて、適所に、タイミング検証ツールを用いて前記ネットリストのタイミング検証を行い、タイミングに余裕がある場合には、観測用FFを含む挿入回路の複数の候補の中から故障検出率の改善効果が大きい挿入回路を選択し、選択した挿入回路を挿入する回路修正ステップと、
前記回路修正ステップにより変更されたネットリストを出力するネットリスト出力ステップと、
をコンピュータに実行させる故障検出改善プログラム。 - ネットリストの修正をコンピュータにより実行する故障検出改善方法であって、
ネットリストを入力するネットリスト入力ステップと、
前記ネットリストにおいて、適所に、タイミング検証ツールを用いて前記ネットリストのタイミング検証を行い、タイミングに余裕がある場合には、観測用FFを含む挿入回路の複数の候補の中から故障検出率の改善効果が大きい挿入回路を選択し、選択した挿入回路を挿入する回路修正ステップと、
前記回路修正ステップにより変更されたネットリストを出力するネットリスト出力ステップと、
を実行する故障検出改善方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005072631A JP4541196B2 (ja) | 2005-03-15 | 2005-03-15 | 故障検出改善装置、故障検出改善プログラム、故障検出改善方法 |
US11/167,281 US7467362B2 (en) | 2005-03-15 | 2005-06-28 | Failure detection improvement apparatus, failure detection improvement program, failure detection improvement method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005072631A JP4541196B2 (ja) | 2005-03-15 | 2005-03-15 | 故障検出改善装置、故障検出改善プログラム、故障検出改善方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006259820A JP2006259820A (ja) | 2006-09-28 |
JP4541196B2 true JP4541196B2 (ja) | 2010-09-08 |
Family
ID=37099053
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005072631A Expired - Fee Related JP4541196B2 (ja) | 2005-03-15 | 2005-03-15 | 故障検出改善装置、故障検出改善プログラム、故障検出改善方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US7467362B2 (ja) |
JP (1) | JP4541196B2 (ja) |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2011028465A (ja) * | 2009-07-24 | 2011-02-10 | Renesas Electronics Corp | テストポイント挿入方法 |
JP2011112434A (ja) * | 2009-11-25 | 2011-06-09 | Renesas Electronics Corp | 論理回路用テストポイント挿入方法、論理回路試験装置 |
JP2015106594A (ja) * | 2013-11-28 | 2015-06-08 | 富士通株式会社 | 診断装置、診断装置の制御方法、および診断装置の制御プログラム |
US10060976B1 (en) * | 2016-05-10 | 2018-08-28 | Cadence Design Systems, Inc. | Method and apparatus for automatic diagnosis of mis-compares |
US10267857B2 (en) * | 2016-11-28 | 2019-04-23 | Taiwan Semiconductor Manufacturing Co., Ltd. | Method and system for functional safety verification |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH10124564A (ja) * | 1996-08-28 | 1998-05-15 | Matsushita Electric Ind Co Ltd | 検査容易化設計方法、バスエラー回避設計方法及び集積回路 |
JP2000148813A (ja) * | 1998-11-09 | 2000-05-30 | Ricoh Co Ltd | テスト容易化設計ルール検査装置 |
JP2001004710A (ja) * | 1999-06-21 | 2001-01-12 | Mitsubishi Electric Corp | スキャンテスト回路、自動テストパターン生成装置、スキャンテスト方法、スキャンテスト回路設計方法、自動テストパターン生成方法、スキャンテスト回路設計方法をコンピュータに実行させるプログラムを記録したコンピュータ読み取り可能な記録媒体および自動テストパターン生成方法をコンピュータに実行させるプログラムを記録したコンピュータ読み取り可能な記録媒体 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2773148B2 (ja) | 1988-08-26 | 1998-07-09 | 日本電気株式会社 | テスト容易化回路設計方法 |
JPH04271437A (ja) | 1991-02-27 | 1992-09-28 | Nec Corp | テストパタン生成方式 |
US5812561A (en) * | 1996-09-03 | 1998-09-22 | Motorola, Inc. | Scan based testing of an integrated circuit for compliance with timing specifications |
US6957403B2 (en) * | 2001-03-30 | 2005-10-18 | Syntest Technologies, Inc. | Computer-aided design system to automate scan synthesis at register-transfer level |
-
2005
- 2005-03-15 JP JP2005072631A patent/JP4541196B2/ja not_active Expired - Fee Related
- 2005-06-28 US US11/167,281 patent/US7467362B2/en not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH10124564A (ja) * | 1996-08-28 | 1998-05-15 | Matsushita Electric Ind Co Ltd | 検査容易化設計方法、バスエラー回避設計方法及び集積回路 |
JP2000148813A (ja) * | 1998-11-09 | 2000-05-30 | Ricoh Co Ltd | テスト容易化設計ルール検査装置 |
JP2001004710A (ja) * | 1999-06-21 | 2001-01-12 | Mitsubishi Electric Corp | スキャンテスト回路、自動テストパターン生成装置、スキャンテスト方法、スキャンテスト回路設計方法、自動テストパターン生成方法、スキャンテスト回路設計方法をコンピュータに実行させるプログラムを記録したコンピュータ読み取り可能な記録媒体および自動テストパターン生成方法をコンピュータに実行させるプログラムを記録したコンピュータ読み取り可能な記録媒体 |
Also Published As
Publication number | Publication date |
---|---|
JP2006259820A (ja) | 2006-09-28 |
US7467362B2 (en) | 2008-12-16 |
US20060236154A1 (en) | 2006-10-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7308660B2 (en) | Calculation system of fault coverage and calculation method of the same | |
US20020176288A1 (en) | Semiconductor integrated circuit device and test method thereof | |
US10936474B2 (en) | Software test program generation | |
US20090319246A1 (en) | Detection program, detecting device, and detecting method | |
JP4541196B2 (ja) | 故障検出改善装置、故障検出改善プログラム、故障検出改善方法 | |
US8266573B2 (en) | Method and system for test point insertion | |
US7380228B2 (en) | Method of associating timing violations with critical structures in an integrated circuit design | |
US10867093B1 (en) | System and method for an electronic design tool providing automated guidance and interface for circuit design processing | |
CN113609804A (zh) | 用例生成方法及装置、测试方法、可测试性设计方法 | |
Kumar et al. | Notice of Retraction: Generation of efficient test data using path selection strategy with elitist GA in regression testing | |
JP5292164B2 (ja) | 故障診断方法および故障診断システム | |
US8015523B2 (en) | Method and system for sequential netlist reduction through trace-containment | |
JP4453592B2 (ja) | Rtl入力プログラムの不具合解析支援装置及びその方法ならびに部分rtl生成装置 | |
US6968523B2 (en) | Design method of logic circuit using data flow graph | |
JP6242170B2 (ja) | 回路設計支援装置及びプログラム | |
JP5755861B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
Collini et al. | C2HLSC: Can LLMs Bridge the Software-to-Hardware Design Gap? | |
US20120066542A1 (en) | Method for Node Addition and Removal of a Circuit | |
JP6201382B2 (ja) | 論理検証装置及び論理検証方法 | |
JP4587754B2 (ja) | クロック合成方法、半導体装置及びプログラム | |
US11983478B2 (en) | Selection of full or incremental implementation flows in processing circuit designs | |
JP7274063B2 (ja) | テストケース生成装置、テストケース生成方法及びテストケース生成プログラム | |
JP2012033091A (ja) | 半導体回路およびそのテスト方法 | |
CN116340145A (zh) | 一种基于休眠区变异的仿真软件测试方法 | |
US20190286778A1 (en) | Circuit description generation apparatus and circuit description generation method |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20071120 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20091006 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20091207 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100316 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100517 |
|
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: 20100622 |
|
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: 20100623 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130702 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |