JP2007155339A - 変換装置、変換方法、変換方法をコンピュータに実行させることが可能なプログラム、及び、このプログラムを記録した記録媒体 - Google Patents
変換装置、変換方法、変換方法をコンピュータに実行させることが可能なプログラム、及び、このプログラムを記録した記録媒体 Download PDFInfo
- Publication number
- JP2007155339A JP2007155339A JP2005346613A JP2005346613A JP2007155339A JP 2007155339 A JP2007155339 A JP 2007155339A JP 2005346613 A JP2005346613 A JP 2005346613A JP 2005346613 A JP2005346613 A JP 2005346613A JP 2007155339 A JP2007155339 A JP 2007155339A
- Authority
- JP
- Japan
- Prior art keywords
- don
- bit
- care
- bits
- test vector
- 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
Images
Classifications
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3185—Reconfiguring for testing, e.g. LSSD, partitioning
- G01R31/318533—Reconfiguring for testing, e.g. LSSD, partitioning using scanning techniques, e.g. LSSD, Boundary Scan, JTAG
- G01R31/318544—Scanning methods, algorithms and patterns
- G01R31/318547—Data generators or compressors
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequences
- G01R31/318335—Test pattern compression or decompression
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3185—Reconfiguring for testing, e.g. LSSD, partitioning
- G01R31/318502—Test of Combinational circuits
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
【解決手段】 フルスキャン順序回路に対するテストベクトル集合を変換する変換装置400であって、テストベクトル集合の各テストベクトルからドントケアとできるドントケアビットを特定するために、所定の制約条件であって論理回路における入出力関係に基づく条件によりドントケアビットにしてもよい候補ビット、及び、ドントケアビットにしてはならない固定ビットを設定する設定部402と、前記設定部402により特定されたドントケアビットを含むテストキューブに対して、複数のビットペア間の関係を考慮して、論理値をドントケアビットに決定する論理値決定部404とを備える。
【選択図】 図2
Description
その埋め込みに際しては、何らかの目的を達成するために必要な論理値(0又は1)をドントケアビットに決定することが一般的に行われる。非特許文献4はスキャンキャプチャ消費電力の低減を目的として、テストキューブのドントケアビットに論理値を決定する技術である。
402 設定部
404 論理値決定部
Claims (16)
- 論理回路に対するテストベクトル集合を変換する変換装置であって、
前記テストベクトル集合の各テストベクトルを構成する論理ビットのうちの一部のみからドントケアとできるドントケアビットを特定するようにするために、所定の制約条件であって前記論理回路における入出力関係に基づく条件によりドントケアビットにしてもよい候補ビット、及び、ドントケアビットにしてはならない固定ビットを設定する設定手段と、
前記設定手段が設定した候補ビットのみから特定されたドントケアビットを含むテストキューブに対して、入力ビットと出力ビットからなる複数のビットペア間の関係を考慮して、所定の目的を達成するために必要な論理値をドントケアビットに決定する決定手段とを備えた、変換装置。 - 前記決定手段は、前記設定手段が設定した候補ビットのみから特定されたドントケアビットを含むテストキューブに代えて他の手段で得られたドントケアビットを含むテストキューブに対して、入力ビットと出力ビットからなる複数のビットペア間の関係を考慮して、所定の目的を達成するために必要な論理値をドントケアビットに決定する、請求項1記載の変換装置。
- 論理回路に対するテストベクトル集合を変換する変換装置であって、
前記テストベクトル集合の各テストベクトルを構成する論理ビットのうちからドントケアとできるドントケアビットを特定するようにするために、所定の制約条件であって前記論理回路における入出力関係に基づく条件によりドントケアビットにしてもよい候補ビットを設定する設定手段を備えた、変換装置。 - 前記設定手段は、前記テストベクトル集合の各テストベクトルを構成する論理ビットのうちの一部のみからドントケアとできるドントケアビットを特定するようにするために、前記候補ビットを設定することに加えて、ドントケアビットにしてはならない固定ビットを設定する、請求項3記載の変換装置。
- 前記論理回路はフルスキャン順序回路であり、
前記制約条件は、前記フルスキャン順序回路に含まれるスキャンセルの出力において、スキャンキャプチャの前と後の論理値の相違数が削減されるように定められる条件である、請求項1から4のいずれかに記載の変換装置。 - 論理回路に対するテストベクトル集合を変換する変換装置であって、
前記テストベクトル集合の各テストベクトルを構成する論理ビットのうちからドントケアとできるドントケアビットを含むテストキューブに対して、入力ビットと出力ビットからなる複数のビットペア間の関係を考慮して、所定の目的を達成するために必要な論理値をドントケアビットに決定する決定手段を備えた、変換装置。 - 前記論理回路はフルスキャン順序回路であり、
前記目的は、前記フルスキャン順序回路に含まれるスキャンセルの出力において、スキャンキャプチャの前と後の論理値の相違数が効果的に削減されることである、請求項1、2又は6記載の変換装置。 - 論理回路に対するテストベクトル集合を変換する変換方法であって、
設定手段が、前記テストベクトル集合の各テストベクトルを構成する論理ビットのうちの一部のみからドントケアとできるドントケアビットを特定するようにするために、所定の制約条件であって前記論理回路における入出力関係に基づく条件によりドントケアビットにしてもよい候補ビット、及び、ドントケアビットにしてはならない固定ビットを設定する設定ステップと、
決定手段が、前記設定手段が設定した候補ビットのみから特定されたドントケアビットを含むテストキューブ、またはその他の手段で得られたドントケアビットを含むテストキューブに対して、入力ビットと出力ビットからなる複数のビットペア間の関係を考慮して、所定の目的を達成するために必要な論理値をドントケアビットに決定する決定ステップとを含む、変換方法。 - 論理回路に対するテストベクトル集合を変換する変換方法であって、
設定手段が、前記テストベクトル集合の各テストベクトルを構成する論理ビットのうちからドントケアとできるドントケアビットを特定するようにするために、所定の制約条件であって前記論理回路における入出力関係に基づく条件によりドントケアビットにしてもよい候補ビットを設定する設定ステップを含む、変換方法。 - 前記設定ステップは、前記設定手段が、前記テストベクトル集合の各テストベクトルを構成する論理ビットのうちの一部のみからドントケアとできるドントケアビットを特定するようにするために、前記候補ビットを設定することに加えて、ドントケアビットにしてはならない固定ビットを設定するステップを含む、請求項9記載の変換方法。
- 前記論理回路はフルスキャン順序回路であり、
前記設定ステップは、
前記テストベクトル集合の各テストベクトルに対して、前記フルスキャン順序回路に含まれるスキャンセルの出力において、スキャンキャプチャの前と後で論理値の相違が発生するビットと相違が発生しないビットとを識別する第1のステップと、
前記相違が発生しないビットを固定ビットとする第2のステップと、
前記相違が発生するビットのうちから所定の条件を満たした前記候補ビットを特定するとともに前記候補ビットに特定されなかった残余の前記相違が発生するビットを固定ビットとする第3のステップとを含み、
前記候補ビットからドントケアとできるドントケアビットを特定し、前記固定ビットからドントケアビットを特定しないことを特徴とする、請求項8又は10に記載の変換方法。 - 前記第3のステップは、
各テストベクトルにおける候補ビットの予定総数を決定するステップと、
前記相違が発生するすべてのビットに対してドントケアを割り当て、3値論理シミュレーションを行って、その結果によって、入力ビットにドントケアがありそれに対応する出力ビットにドントケアがないタイプ1のドントケアビットペア、及び、入力ビットとそれに対応する出力ビットの両方にドントケアがあるタイプ2のドントケアビットペアを特定するステップと、
前記特定されたタイプ1のドントケアビットペアを優先的に候補ビットとして選択し、タイプ1のドントケアビットペアがなくなりかつ既に選択された候補ビットの数が予定総数に達していない場合、タイプ2のドントケアビットペアを所定の基準に従って候補ビットとして選択するステップを含む、請求項11記載の変換方法。 - 論理回路に対するテストベクトル集合を変換する変換方法であって、
前記テストベクトル集合の各テストベクトルを構成する論理ビットのうちからドントケアとできるドントケアビットを含むテストキューブに対して、入力ビットと出力ビットからなる複数のビットペア間の関係を考慮して、所定の目的を達成するために必要な論理値をドントケアビットに決定する決定ステップを含む、変換方法。 - 前記論理回路はフルスキャン順序回路であって、
前記決定ステップは、
前記テストキューブにおいて、前記フルスキャン順序回路に含まれるスキャンセルの出力に対応するドントケアビットをそれぞれ異なるものと見なし、このような個々のドントケアビット及びその反転が前記フルスキャン順序回路に含まれるスキャンセルの入力への出現状況を調べるステップと、
前記フルスキャン順序回路に含まれるスキャンセルの出力に対応するドントケアビットと、前記フルスキャン順序回路に含まれるスキャンセルの入力への前記ドントケアビット又はその反転の出現状況に基づいて、スキャンキャプチャの前と後で論理値の相違数が最小化することを実現させる論理値を前記ドントケアビットに決定するステップとを含む、請求項8又は13に記載の変換方法。 - 請求項8から14のいずれかに記載の変換方法をコンピュータに実行させることが可能なプログラム。
- 請求項15記載のプログラムをコンピュータが実行することが可能にて記録した記録媒体。
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005346613A JP5017603B2 (ja) | 2005-11-30 | 2005-11-30 | 変換装置、変換方法、変換方法をコンピュータに実行させることが可能なプログラム、及び、このプログラムを記録した記録媒体 |
TW095143885A TW200734662A (en) | 2005-11-30 | 2006-11-28 | Transforming device, transforming method, program run by computer for executing this transforming method, and recording medium storing this program |
PCT/JP2006/323862 WO2007063924A1 (ja) | 2005-11-30 | 2006-11-29 | 変換装置、変換方法、プログラム、及び、記録媒体 |
US12/129,746 US7971118B2 (en) | 2005-11-30 | 2008-05-30 | Conversion device, conversion method, program, and recording medium |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005346613A JP5017603B2 (ja) | 2005-11-30 | 2005-11-30 | 変換装置、変換方法、変換方法をコンピュータに実行させることが可能なプログラム、及び、このプログラムを記録した記録媒体 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007155339A true JP2007155339A (ja) | 2007-06-21 |
JP5017603B2 JP5017603B2 (ja) | 2012-09-05 |
Family
ID=38092259
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005346613A Active JP5017603B2 (ja) | 2005-11-30 | 2005-11-30 | 変換装置、変換方法、変換方法をコンピュータに実行させることが可能なプログラム、及び、このプログラムを記録した記録媒体 |
Country Status (4)
Country | Link |
---|---|
US (1) | US7971118B2 (ja) |
JP (1) | JP5017603B2 (ja) |
TW (1) | TW200734662A (ja) |
WO (1) | WO2007063924A1 (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2010021233A1 (ja) * | 2008-08-20 | 2010-02-25 | 国立大学法人 九州工業大学 | 生成装置、生成方法及びプログラム |
JP2014112375A (ja) * | 2008-10-23 | 2014-06-19 | Kyushu Institute Of Technology | 生成装置、判別方法、生成方法及びプログラム |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2009051191A1 (ja) * | 2007-10-19 | 2009-04-23 | Kyushu Institute Of Technology | ドントケアビット抽出方法及びドントケアビット抽出プログラム |
US7779320B2 (en) * | 2008-02-21 | 2010-08-17 | Lsi Corporation | Low power scan shifting with random-like test patterns |
US7966536B2 (en) * | 2008-04-11 | 2011-06-21 | International Business Machines Corporation | Method and apparatus for automatic scan completion in the event of a system checkstop |
US7930610B2 (en) * | 2008-09-09 | 2011-04-19 | International Business Machines Corporation | System and method for power reduction through power aware latch weighting of complex sub-circuits |
US7925948B2 (en) * | 2008-09-09 | 2011-04-12 | International Business Machines Corporation | System and method for power reduction through power aware latch weighting |
US8370809B2 (en) * | 2010-03-18 | 2013-02-05 | Salesforce.Com, Inc. | System, method and computer program product for automated test case generation and scheduling |
JP2023137993A (ja) * | 2022-03-18 | 2023-09-29 | キオクシア株式会社 | メモリテスタ及びメモリテスタを用いたテスト方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04244979A (ja) * | 1991-01-31 | 1992-09-01 | Hitachi Ltd | 遅延テストパターン及びその作成方法 |
JP2001099901A (ja) * | 1999-09-29 | 2001-04-13 | Nec Corp | テストパタン圧縮方法とテストパタン圧縮装置及びシステム並びに記録媒体 |
JP2002311111A (ja) * | 2001-03-09 | 2002-10-23 | Agilent Technol Inc | テストベクトルの圧縮方法 |
JP2004317505A (ja) * | 2003-04-03 | 2004-11-11 | Fujitsu Ltd | プログラム、記憶媒体、テストパターン作成方法及び装置 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP3429082B2 (ja) * | 1994-09-30 | 2003-07-22 | 株式会社リコー | テストベクタ編集装置 |
US6067651A (en) * | 1998-02-20 | 2000-05-23 | Hewlett-Packard Company | Test pattern generator having improved test sequence compaction |
US6611933B1 (en) * | 2000-04-12 | 2003-08-26 | International Business Machines Corporation | Real-time decoder for scan test patterns |
US7027947B2 (en) * | 2003-04-03 | 2006-04-11 | Fujitsu Limited | Integrated circuit testing method, program, storing medium, and apparatus |
-
2005
- 2005-11-30 JP JP2005346613A patent/JP5017603B2/ja active Active
-
2006
- 2006-11-28 TW TW095143885A patent/TW200734662A/zh not_active IP Right Cessation
- 2006-11-29 WO PCT/JP2006/323862 patent/WO2007063924A1/ja active Application Filing
-
2008
- 2008-05-30 US US12/129,746 patent/US7971118B2/en not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04244979A (ja) * | 1991-01-31 | 1992-09-01 | Hitachi Ltd | 遅延テストパターン及びその作成方法 |
JP2001099901A (ja) * | 1999-09-29 | 2001-04-13 | Nec Corp | テストパタン圧縮方法とテストパタン圧縮装置及びシステム並びに記録媒体 |
JP2002311111A (ja) * | 2001-03-09 | 2002-10-23 | Agilent Technol Inc | テストベクトルの圧縮方法 |
JP2004317505A (ja) * | 2003-04-03 | 2004-11-11 | Fujitsu Ltd | プログラム、記憶媒体、テストパターン作成方法及び装置 |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2010021233A1 (ja) * | 2008-08-20 | 2010-02-25 | 国立大学法人 九州工業大学 | 生成装置、生成方法及びプログラム |
JP5311351B2 (ja) * | 2008-08-20 | 2013-10-09 | 国立大学法人九州工業大学 | 生成装置、生成方法及びプログラム |
KR101555736B1 (ko) | 2008-08-20 | 2015-10-06 | 고쿠리츠 다이가쿠 호진 큐슈 코교 다이가쿠 | 생성 장치, 생성 방법 및 프로그램 |
JP2014112375A (ja) * | 2008-10-23 | 2014-06-19 | Kyushu Institute Of Technology | 生成装置、判別方法、生成方法及びプログラム |
Also Published As
Publication number | Publication date |
---|---|
TWI368042B (ja) | 2012-07-11 |
US20080235543A1 (en) | 2008-09-25 |
WO2007063924A1 (ja) | 2007-06-07 |
JP5017603B2 (ja) | 2012-09-05 |
TW200734662A (en) | 2007-09-16 |
US7971118B2 (en) | 2011-06-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5017603B2 (ja) | 変換装置、変換方法、変換方法をコンピュータに実行させることが可能なプログラム、及び、このプログラムを記録した記録媒体 | |
JP4752030B2 (ja) | 半導体論理回路装置のテストベクトル生成方法及びテストベクトル生成プログラム | |
JP5066684B2 (ja) | 生成装置、生成方法、生成方法をコンピュータに実行させることが可能なプログラム、及び、このプログラムを記録した記録媒体 | |
JP4482622B2 (ja) | 変換装置、変換方法、変換方法をコンピュータに実行させることが可能なプログラム、及び、このプログラムを記録した記録媒体 | |
US7779320B2 (en) | Low power scan shifting with random-like test patterns | |
US11293980B2 (en) | Customer-transparent logic redundancy for improved yield | |
JP5141988B2 (ja) | 半導体集積回路の2パターンテストにおける誤テスト回避型テスト入力生成方法 | |
WO2008041537A1 (fr) | Dispositif de génération, procédé de génération, programme et support d'enregistrement | |
Seo et al. | Scan chain reordering-aware X-filling and stitching for scan shift power reduction | |
Asami et al. | A multiple target test generation method for gate-exhaustive faults to reduce the number of test patterns using partial MaxSAT | |
Hsieh et al. | A physical-location-aware X-filling method for IR-drop reduction in at-speed scan test | |
JP4752029B2 (ja) | 半導体論理回路装置のテスト方法及びテストプログラム | |
JP5311351B2 (ja) | 生成装置、生成方法及びプログラム | |
US6708315B2 (en) | Method of design for testability, method of design for integrated circuits and integrated circuits | |
Anita et al. | Genetic algorithm based test pattern generation for multiple stuck-at faults and test power reduction in VLSI circuits | |
US6070258A (en) | Logic synthesis for testability system which enables improvement in testability and effective selection of center state and logic synthesis method thereof | |
Lin et al. | Simultaneous capture and shift power reduction test pattern generator for scan testing | |
Dhotre et al. | Constraint-based pattern retargeting for reducing localized power activity during testing | |
REDDY et al. | Power Safe Test Pattern Determination and Refinement for Transition Fault Coverage | |
KR20150018551A (ko) | 고장 검출 시스템, 생성 회로 및 프로그램 | |
BALAJI et al. | Power Safe Test Pattern Refinement for Transition Fault Coverage for At Speed Scan Based Testing | |
Rau et al. | A novel gated scan-cell scheme for low Capture Power (LCP) in at-speed testing | |
Devta-Prasanna et al. | Clock Gate Test Points | |
Chen et al. | New Scheme of Reducing Shift and Capture Power Using the X-Filling Methodology | |
Garimella | Redundant Faults |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20071121 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110208 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110408 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20120111 |
|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A711 Effective date: 20120327 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A821 Effective date: 20120327 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |