JP2011028465A - テストポイント挿入方法 - Google Patents
テストポイント挿入方法 Download PDFInfo
- Publication number
- JP2011028465A JP2011028465A JP2009172676A JP2009172676A JP2011028465A JP 2011028465 A JP2011028465 A JP 2011028465A JP 2009172676 A JP2009172676 A JP 2009172676A JP 2009172676 A JP2009172676 A JP 2009172676A JP 2011028465 A JP2011028465 A JP 2011028465A
- Authority
- JP
- Japan
- Prior art keywords
- logic
- test
- test point
- order
- point insertion
- 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.)
- Pending
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/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
-
- 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/333—Design for testability [DFT], e.g. scan chain or built-in self-test [BIST]
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)
- Design And Manufacture Of Integrated Circuits (AREA)
- Semiconductor Integrated Circuits (AREA)
Abstract
【解決手段】テストポイント挿入方法は、ネットリストから複数のロジックコーンを抽出する工程と、複数のロジックコーンの各々に示される論理セルの接続関係に基づいて、複数のロジックコーンに対して一の順序を生成する工程と、その順序に従って順に複数のロジックコーンの各々にテストポイントを設定する工程とを備える。
【選択図】図1
Description
ステップS1:入力されたネットリストからロジックコーンを抽出する。
ステップS2:各ロジックコーンを数値化する。
ステップS3:ロジックコーンリストを作成する。図7はロジックコーンリストの一例を示す。
ステップS4:終了条件を判定する。
ステップS5:テスト回路を挿入する。
ステップS6:ロジックコーンリスト修正の動作を繰り返す。
ステップS1:ロジックコーン抽出
予め記憶装置に保存したネットリストから全ての外部入出力端子、全てのFFのデータ入力端子、出力端子を始点、終点として複数のロジックコーンを抽出する。図5に示された(A)、(B)、(C)、(D)の4つのロジックコーンのみを抽出できたと仮定する。
抽出された(A)、(B)、(C)、(D)の複数のロジックコーンの各々に示される論理セルの接続関係(接続関係の情報はネットリストから得ることができる)に基づいて、複数のロジックコーンの各々に対してロジックコーン値CornVを与える。この処理により各ロジックコーンが数値化される。
CornV(Corn名)=(P(L)×α)×(P(G)×β)
P(L)は当該ロジックコーンを構成する全てのPathの論理段数の総和、P(G)は当該ロジックコーンを構成するPathの総数を示す。このような全てのPathの論理段数の総和とPathの総数との積は、各ロジックコーンについてのテストの必要性を表すために好適な指標である。
ロジックコーン(A)は、論理段数2段のPath“IN1→FF1”、論理段数3段のPath“IN1→FF2”及び論理段数4段のPath“IN1→FF3”の3つのPathで構成されている。即ちP(L)=2+3+4=9、P(G)=3
である。従ってロジックコーン値は以下のようになる。
CornV(A)=9α×3β=27
CornV(B)=(4+4)α×2β=8α×2β=16
CornV(C)=(1+1+4+6)α×4β=12α×4β=48
CornV(D)=(4+4+8)α×3β=12α×3β=48
ステップS2の計算結果より、数値化されたロジックコーンの値の大きい順に並べてリスト化することにより、複数のロジックコーンに対して一の順序(ロジックコーン間ランキング)が生成される。同じ数値同士のロジックコーンについては、その中での順番付けは予め設定された任意のアルゴリズムにより自動的に行われる。本例ではロジックコーン(C)とロジックコーン(D)の数値が共に48となる。その為、この2つのロジックコーン間で順番付けを行う必要がある。以下の説明においては、図7に示すようにロジックコーン(C)の方がロジックコーン(D)よりも順序が上であるようにロジックコーンリストを作成する事とした。
予め決められたテスト回路挿入可能数をN1とし、1回の処理で挿入されるテストポイント(テスト回路)の数をN2とし、既に設定され挿入されたテストポイント数をN3とする。N1−N2<N3が満たされる場合はステップS5に進む。N1−N2≧N3の場合は、テストポイント挿入処理が終了される。
ステップS3で作成されたリストの順序に従って順に、複数のロジックコーンの各々にテストポイントが設定される。具体的には、ロジックコーンリストの一番上(順序が最上位)のロジックコーンがテスト回路挿入対象のロジックコーンとして選択され設定される。本例ではロジックコーン(C)がテスト回路の挿入対象として設定される。
ロジックコーンリストから、ステップS5でテスト回路を挿入したロジックコーンを削除する。つまり図8のように最上位のロジックコーンを削除し、第2位以下のロジックコーンの順序を繰り上げる。
6−3 制御性・観測性テスト回路
10 テストポイント挿入システム
10−1 抽出部
10−2 生成部
10−3 設定部
10−4 終了判定部
Claims (6)
- ネットリストから複数のロジックコーンを抽出する工程と、
前記複数のロジックコーンの各々に示される論理セルの接続関係に基づいて、前記複数のロジックコーンに対して一の順序を生成する工程と、
前記順序に従って順に前記複数のロジックコーンの各々にテストポイントを設定する工程
とを具備するテストポイント挿入方法。 - 請求項1に記載されたテストポイント挿入方法であって、
前記順序は、前記複数のロジックコーンの各々を構成する少なくとも一つのパスの総数と前記少なくとも一つのパスの各々の論理段数の総和とに基づいて生成される
テストポイント挿入方法。 - 請求項2に記載されたテストポイント挿入方法であって、
前記順序は、前記複数のロジックコーンの各々を構成する少なくとも一つのパスの総数をP(G)とし、前記少なくとも一つのパスの各々の論理段数の総和をP(L)とし、α及びβを係数として、以下の式:
(P(L)×α)×(P(G)×β)
によって生成される数値によって決定される
テストポイント挿入方法。 - 請求項1から3のいずれかに記載されたテストポイント挿入方法であって、
更に、予め決められたテスト回路挿入可能数N1と、1回の処理で設定される前記テストポイントの数N2と、既に設定された前記テストポイントの数N3とに基づいて、N1−N2≧N3が満たされた場合にテストポイントの挿入を終了する工程を具備し、
前記設定する工程において、N1−N2<N3が満たされている間、前記順序に従った前記テストポイントの設定が繰り返される
テストポイント挿入方法。 - 請求項1から4のいずれかに記載されたテストポイント挿入方法をコンピュータに実行させるためのプログラム。
- ネットリストから複数のロジックコーンを抽出する抽出部と、
前記複数のロジックコーンの各々に示される論理セルの接続関係に基づいて、前記複数のロジックコーンの各々に対して一の順序を生成する生成部と、
前記順序に従って順に前記複数のロジックコーンの各々にテストポイントを設定する設定部
とを具備するテストポイント挿入システム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009172676A JP2011028465A (ja) | 2009-07-24 | 2009-07-24 | テストポイント挿入方法 |
US12/825,848 US8266573B2 (en) | 2009-07-24 | 2010-06-29 | Method and system for test point insertion |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009172676A JP2011028465A (ja) | 2009-07-24 | 2009-07-24 | テストポイント挿入方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2011028465A true JP2011028465A (ja) | 2011-02-10 |
JP2011028465A5 JP2011028465A5 (ja) | 2012-03-29 |
Family
ID=43498325
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009172676A Pending JP2011028465A (ja) | 2009-07-24 | 2009-07-24 | テストポイント挿入方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US8266573B2 (ja) |
JP (1) | JP2011028465A (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2014075085A (ja) * | 2012-10-05 | 2014-04-24 | Fujitsu Ltd | 設計支援装置、設計支援方法、および設計支援プログラム |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5899781B2 (ja) * | 2011-10-11 | 2016-04-06 | 富士通株式会社 | 設計支援装置、設計支援方法および設計支援プログラム |
TWI509408B (zh) * | 2013-01-23 | 2015-11-21 | Realtek Semiconductor Corp | 死結偵測方法以及機器可讀媒體 |
WO2015087825A1 (ja) * | 2013-12-09 | 2015-06-18 | 株式会社フジシールインターナショナル | パウチ容器及びパウチ容器の製造方法 |
CN105631077B (zh) | 2014-11-07 | 2020-05-15 | 恩智浦美国有限公司 | 具有增大的故障覆盖率的集成电路 |
US11947887B1 (en) * | 2022-09-27 | 2024-04-02 | Cadence Design Systems, Inc. | Test-point flop sharing with improved testability in a circuit design |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000250946A (ja) * | 1999-02-25 | 2000-09-14 | Toshiba Corp | Lsi回路のテスト容易化設計方法および装置ならびにテスト容易化設計処理プログラムを記録したコンピュータ読取り可能な記録媒体 |
JP2004185550A (ja) * | 2002-12-06 | 2004-07-02 | Matsushita Electric Ind Co Ltd | 半導体集積回路のテスト容易化設計方法および装置 |
JP2006259820A (ja) * | 2005-03-15 | 2006-09-28 | Fujitsu Ltd | 故障検出改善装置、故障検出改善プログラム、故障検出改善方法 |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3777129A (en) * | 1972-05-22 | 1973-12-04 | Gte Automatic Electric Lab Inc | Fault detection and localization in digital systems |
US5225771A (en) * | 1988-05-16 | 1993-07-06 | Dri Technology Corp. | Making and testing an integrated circuit using high density probe points |
JP2005135226A (ja) * | 2003-10-31 | 2005-05-26 | Matsushita Electric Ind Co Ltd | 半導体集積回路のテスト回路挿入方法及び装置 |
US7376875B2 (en) * | 2005-07-14 | 2008-05-20 | International Business Machines Corporation | Method of improving logical built-in self test (LBIST) AC fault isolations |
US7562321B2 (en) * | 2005-12-12 | 2009-07-14 | Nec Laboratories America, Inc. | Method and apparatus for structured ASIC test point insertion |
-
2009
- 2009-07-24 JP JP2009172676A patent/JP2011028465A/ja active Pending
-
2010
- 2010-06-29 US US12/825,848 patent/US8266573B2/en not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000250946A (ja) * | 1999-02-25 | 2000-09-14 | Toshiba Corp | Lsi回路のテスト容易化設計方法および装置ならびにテスト容易化設計処理プログラムを記録したコンピュータ読取り可能な記録媒体 |
JP2004185550A (ja) * | 2002-12-06 | 2004-07-02 | Matsushita Electric Ind Co Ltd | 半導体集積回路のテスト容易化設計方法および装置 |
JP2006259820A (ja) * | 2005-03-15 | 2006-09-28 | Fujitsu Ltd | 故障検出改善装置、故障検出改善プログラム、故障検出改善方法 |
Non-Patent Citations (2)
Title |
---|
CSNG200200030033; 小沢明 他: 'システムLSIにおける順序回路ATPGの効果的な適用手法' DAシンポジウム2000 第8号, 20000717, p.209-212, 社団法人情報処理学会 * |
JPN6012062242; 小沢明 他: 'システムLSIにおける順序回路ATPGの効果的な適用手法' DAシンポジウム2000 第8号, 20000717, p.209-212, 社団法人情報処理学会 * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2014075085A (ja) * | 2012-10-05 | 2014-04-24 | Fujitsu Ltd | 設計支援装置、設計支援方法、および設計支援プログラム |
Also Published As
Publication number | Publication date |
---|---|
US20110022906A1 (en) | 2011-01-27 |
US8266573B2 (en) | 2012-09-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8762912B2 (en) | Tiered schematic-driven layout synchronization in electronic design automation | |
JP2011028465A (ja) | テストポイント挿入方法 | |
US20100042396A1 (en) | Automated Method for Validating Manufacturing Test Rules Pertaining to an Electronic Component | |
JPH07306882A (ja) | ディレイ・レーシング・エラーリスト出力装置 | |
JP2000148808A (ja) | スケジュ―リングされた動作記述に対するストラクチュラルrtlの正当性検証方法 | |
WO2012124117A1 (ja) | タイミングエラー除去方法、設計支援装置、及びプログラム | |
US8898602B2 (en) | Apparatus for design assist and method for selecting signal line onto which test point for test controlling is to be inserted in circuit to be designed | |
CN111553120A (zh) | 一种数字电路局部时钟网络spice网表的生成方法 | |
JP2004013720A (ja) | 論理回路のタイミング制約モデル生成方法、論理回路のタイミング制約モデル生成プログラム、およびタイミング制約モデルを用いるタイミングドリブンレイアウト方法 | |
US10891411B2 (en) | Hierarchy-driven logical and physical synthesis co-optimization | |
JP5444985B2 (ja) | 情報処理装置 | |
JP2008293088A (ja) | 半導体集積回路及びその設計方法 | |
TWI488063B (zh) | 最佳化並驗證第一電路的設備,方法及電腦可讀取儲存媒體 | |
US8443314B1 (en) | Abstraction level-preserving conversion of flip-flop-inferred hardware description language (HDL) to instantiated HDL | |
US8181146B1 (en) | Equivalence checker | |
JP2008243092A (ja) | マルチサイクルパス検出装置、マルチサイクルパス検出方法及びマルチサイクルパス検出プログラム | |
Yao et al. | Path selection based on static timing analysis considering input necessary assignments | |
JP2012207993A (ja) | テストパタン生成システム、テストパタン生成方法、およびテストパタン生成プログラム | |
JP2008269585A (ja) | プロパティ記述のカバレッジ測定装置及びプログラム | |
JP2008153489A (ja) | 半導体集積回路の設計方法及び設計プログラム | |
Ashar et al. | Verification of scheduling in the presence of loops using uninterpreted symbolic simulation | |
JP2008059032A (ja) | 半導体集積回路の回路検証方法および回路検証装置 | |
JP6394278B2 (ja) | 有限状態機械の設計検証装置、設計検証方法、及び設計検証プログラム | |
Pomeranz et al. | On diagnosis and diagnostic test generation for pattern-dependent transition faults | |
Pomeranz | Test Generation for Functionally-Possible Subpaths |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120213 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20120213 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20121115 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20121128 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20130325 |