JPH1049567A - 回路設計の可試験性を向上させる方法 - Google Patents
回路設計の可試験性を向上させる方法Info
- Publication number
- JPH1049567A JPH1049567A JP9095433A JP9543397A JPH1049567A JP H1049567 A JPH1049567 A JP H1049567A JP 9095433 A JP9095433 A JP 9095433A JP 9543397 A JP9543397 A JP 9543397A JP H1049567 A JPH1049567 A JP H1049567A
- Authority
- JP
- Japan
- Prior art keywords
- flip
- flops
- circuit
- flop
- clock
- 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
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/318552—Clock circuits details
-
- 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/318583—Design for test
- G01R31/318586—Design for test with partial scan or non-scannable parts
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)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
(57)【要約】
【課題】 クロック変換による可試験性の向上
【解決手段】 本発明は、クロック変換技術を用いて、
順序回路設計の可試験性を向上させる方法である。回路
の故障を少なくとも一つ検出するため必要とされる回路
状態が自動的に識別される。結合線確率の推定値は、あ
らかじめ選択されたしきい値と比較され、到達困難な状
態を識別する。そこで、当該識別された状態に到達する
ため同時に値を割り当てられなくてはならない、共通の
クロックが送り込まれたフリップフロップは、独立にク
ロックが送り込まれたフリップフロップのグループへと
分割される。このような手法で、到達困難な回路状態
は、到達容易な状態へと変換され、一方では、検出困難
な故障を検出容易な故障へと変換する結果となるのであ
る。
順序回路設計の可試験性を向上させる方法である。回路
の故障を少なくとも一つ検出するため必要とされる回路
状態が自動的に識別される。結合線確率の推定値は、あ
らかじめ選択されたしきい値と比較され、到達困難な状
態を識別する。そこで、当該識別された状態に到達する
ため同時に値を割り当てられなくてはならない、共通の
クロックが送り込まれたフリップフロップは、独立にク
ロックが送り込まれたフリップフロップのグループへと
分割される。このような手法で、到達困難な回路状態
は、到達容易な状態へと変換され、一方では、検出困難
な故障を検出容易な故障へと変換する結果となるのであ
る。
Description
【0001】
【発明の属する技術分野】本発明は、一般的には、デジ
タル順序回路用自動試験生成(ATG,automatictest g
eneration)(すなわち、逐次的試験生成(STG,seq
uential test generation))の領域に関するものであ
り、より特定するに、そのような回路の可試験性を向上
させる試験容易設計(DFT,design for testabilit
y)に関するものである。
タル順序回路用自動試験生成(ATG,automatictest g
eneration)(すなわち、逐次的試験生成(STG,seq
uential test generation))の領域に関するものであ
り、より特定するに、そのような回路の可試験性を向上
させる試験容易設計(DFT,design for testabilit
y)に関するものである。
【0002】
【従来の技術】デジタル論理回路を適切に試験するとい
う問題は、設計され、組み立てられる論理回路の複雑さ
の急速な増加とともに、多年にわたって、実質的により
複雑になってきている。この問題に対するもっとも新し
いアプローチは、所与の順序回路設計に対して、包括的
な試験プラン(テストプラン)を自動的に生成するタス
クを負う逐次的試験生成(STG,sequential test ge
neration)システムの利用を伴うものである。
う問題は、設計され、組み立てられる論理回路の複雑さ
の急速な増加とともに、多年にわたって、実質的により
複雑になってきている。この問題に対するもっとも新し
いアプローチは、所与の順序回路設計に対して、包括的
な試験プラン(テストプラン)を自動的に生成するタス
クを負う逐次的試験生成(STG,sequential test ge
neration)システムの利用を伴うものである。
【0003】そのようなSTGシステムには、回路設計
についての記述が与えられ、これは典型的には、構成要
素たる回路素子(例えば、論理ゲート及びフリップフロ
ップ)と、これらの素子間、及び回路の主入力(一次入
力)と主出力(一次出力)への相互接続という形式をと
っている。さらに、STGシステムは、自動的に回路刺
激を生成し、これは、所与の回路設計の組立例の主入力
(一次入力)へ印加されると、当該回路の主入力(一次
入力)における応答となり、これにより、当該組み立て
られた回路が所与の回路設計に従って動作しているかを
(合理的な確度をもって)確認することとなろう。
についての記述が与えられ、これは典型的には、構成要
素たる回路素子(例えば、論理ゲート及びフリップフロ
ップ)と、これらの素子間、及び回路の主入力(一次入
力)と主出力(一次出力)への相互接続という形式をと
っている。さらに、STGシステムは、自動的に回路刺
激を生成し、これは、所与の回路設計の組立例の主入力
(一次入力)へ印加されると、当該回路の主入力(一次
入力)における応答となり、これにより、当該組み立て
られた回路が所与の回路設計に従って動作しているかを
(合理的な確度をもって)確認することとなろう。
【0004】組み立てられた回路が理論的に示しうる、
考えられる機能不良の数は、極めて大きいことから、S
TGシステムは、典型的には、考えられる機能不良の数
が比較的小さい場合のみが考えられる故障「モデル」を
元に、自らのタスクを実行する。(さらに、その結果の
質をを評価する。)最も一般的な、その種のモデルであ
る、縮退(固着)故障モデルは、各回路リード線(導
線)(すなわち、回路素子への各入力及び回路素子から
の各出力)が、考えられる値(例えば、論理値0あるい
は論理値1)の一つにおいてそれぞれ縮退(スタック)
されうる機能不良の集合を列挙するものである。
考えられる機能不良の数は、極めて大きいことから、S
TGシステムは、典型的には、考えられる機能不良の数
が比較的小さい場合のみが考えられる故障「モデル」を
元に、自らのタスクを実行する。(さらに、その結果の
質をを評価する。)最も一般的な、その種のモデルであ
る、縮退(固着)故障モデルは、各回路リード線(導
線)(すなわち、回路素子への各入力及び回路素子から
の各出力)が、考えられる値(例えば、論理値0あるい
は論理値1)の一つにおいてそれぞれ縮退(スタック)
されうる機能不良の集合を列挙するものである。
【0005】このような手法で、考慮されるべき考えら
れる故障の数は、回路リード線の数の2倍に制限され
る。縮退故障モデルは、典型的には組立プロセスの結果
生じる、ありうる物理的エラーと合理的な対応関係を提
供するものとして、よく認められるようになってきた。
れる故障の数は、回路リード線の数の2倍に制限され
る。縮退故障モデルは、典型的には組立プロセスの結果
生じる、ありうる物理的エラーと合理的な対応関係を提
供するものとして、よく認められるようになってきた。
【0006】ほとんどのSTGシステムでは、モデル化
された故障の一つを一度ずつ選択し、当該故障を検出す
ることが可能となる試験(回路刺激)を生成しようとす
る。すなわち、システムの目的は、いわば「欠陥のあ
る」回路(つまり、所与の故障を有しているもの)の主
入力(一次入力)に印加された際、当該回路の主出力
(一次出力)において、適切に動作している回路の応答
とは異なる応答を生じる結果となる回路刺激を見つけだ
すということにある。
された故障の一つを一度ずつ選択し、当該故障を検出す
ることが可能となる試験(回路刺激)を生成しようとす
る。すなわち、システムの目的は、いわば「欠陥のあ
る」回路(つまり、所与の故障を有しているもの)の主
入力(一次入力)に印加された際、当該回路の主出力
(一次出力)において、適切に動作している回路の応答
とは異なる応答を生じる結果となる回路刺激を見つけだ
すということにある。
【0007】大抵の場合、これらの回路刺激は、かなり
の試行錯誤を要する網羅的な検索手順の結果として生成
される。しかしながら、最も典型的な回路設計について
は、かなりの量の故障について、検出が極めて困難であ
りうるといえ、STGを非常に複雑かつ時間のかかる問
題としているのである。
の試行錯誤を要する網羅的な検索手順の結果として生成
される。しかしながら、最も典型的な回路設計について
は、かなりの量の故障について、検出が極めて困難であ
りうるといえ、STGを非常に複雑かつ時間のかかる問
題としているのである。
【0008】
【発明が解決しようとする課題】そのようなことから、
試験生成の領域における関心の多くは、回路の「可試験
性(試験容易性)」の問題について向けられてきたので
ある。言い換えれば、試験されるべき回路を、その可試
験性を改良するように修正することで、STGは、当該
回路の(通常の)動作に影響を及ぼすことなしに、より
容易なものとされることができるのである。すなわち、
可試験性の問題は、回路設計において一定の試験容易
(化)設計(DFT)技術を適用することである程度解
決されることが可能である。最もよく普及した2つのD
FT技術は、「フルスキャン(完全スキャン)」設計及
び「パーシャルスキャン(部分スキャン)」設計と呼ば
れている。
試験生成の領域における関心の多くは、回路の「可試験
性(試験容易性)」の問題について向けられてきたので
ある。言い換えれば、試験されるべき回路を、その可試
験性を改良するように修正することで、STGは、当該
回路の(通常の)動作に影響を及ぼすことなしに、より
容易なものとされることができるのである。すなわち、
可試験性の問題は、回路設計において一定の試験容易
(化)設計(DFT)技術を適用することである程度解
決されることが可能である。最もよく普及した2つのD
FT技術は、「フルスキャン(完全スキャン)」設計及
び「パーシャルスキャン(部分スキャン)」設計と呼ば
れている。
【0009】フルスキャンを用いると、回路のフリップ
フロップのすべては、走査可能な(スキャン可能な)フ
リップフロップで置き換えられ、この走査可能なフリッ
プフロップは、試験を行う間はシフトレジスターのよう
に動作するよう接続されている。パーシャルスキャンで
は、フリップフロップの一部のみが、走査される(スキ
ャン)フリップフロップへと変換され、組み立てられた
回路の面積におけるオーバーヘッドを減少させ、できれ
ばクリティカルパス上のフリップフロップを走査しない
ようにすることで遅延による不利益を避けるものであ
る。
フロップのすべては、走査可能な(スキャン可能な)フ
リップフロップで置き換えられ、この走査可能なフリッ
プフロップは、試験を行う間はシフトレジスターのよう
に動作するよう接続されている。パーシャルスキャンで
は、フリップフロップの一部のみが、走査される(スキ
ャン)フリップフロップへと変換され、組み立てられた
回路の面積におけるオーバーヘッドを減少させ、できれ
ばクリティカルパス上のフリップフロップを走査しない
ようにすることで遅延による不利益を避けるものであ
る。
【0010】しかし多くの回路においては、故障につい
ての高い有効範囲を実現するため、大部分のフリップフ
ロップについて走査される必要がある。そして、合成さ
れた回路においては、パスのかなりの割合(かなりのパ
ーセンテージ)が、クリティカルなものとなっている。
さらに、高価な逐次的試験発生器(ゼネレータ)が用い
られる必要がある。スキャン技術のもう一つの欠点は、
試験適用時間が大きいということである。これは、適用
されることとなるすべての試験ベクトルが、一連のフリ
ップフロップを通じて走査される必要がある結果、生じ
るものである。
ての高い有効範囲を実現するため、大部分のフリップフ
ロップについて走査される必要がある。そして、合成さ
れた回路においては、パスのかなりの割合(かなりのパ
ーセンテージ)が、クリティカルなものとなっている。
さらに、高価な逐次的試験発生器(ゼネレータ)が用い
られる必要がある。スキャン技術のもう一つの欠点は、
試験適用時間が大きいということである。これは、適用
されることとなるすべての試験ベクトルが、一連のフリ
ップフロップを通じて走査される必要がある結果、生じ
るものである。
【0011】最近では、クロックを制御することを基本
とした、DFT技術が幾つか提示されている。例えば、
V.D.Agrawal,S.C.Seth,及びJ.S.Deogunによる、"Design
forTestability and Test Generation with Two Clock
s",Proc.4th Int'l.Symp.onVLSI Design,pp.44-51,Janu
ary 1991では、フリップフロップは、試験の間、独立し
たクロックにより制御された2つのグループに分割され
ている。
とした、DFT技術が幾つか提示されている。例えば、
V.D.Agrawal,S.C.Seth,及びJ.S.Deogunによる、"Design
forTestability and Test Generation with Two Clock
s",Proc.4th Int'l.Symp.onVLSI Design,pp.44-51,Janu
ary 1991では、フリップフロップは、試験の間、独立し
たクロックにより制御された2つのグループに分割され
ている。
【0012】すなわち、通常の回路動作の間は、フリッ
プフロップの共通のクロックは共通に動作可能なままで
ある一方で、当該回路が試験動作モードにある場合に
は、フリップフロップのグループは、独立にクロックが
送り込まれうる。K.L.Einspahr,S.C.Seth,及びV.D.Agra
walによる、"Clock Partitioning for Testability",Pr
oc.3rd Great Lakes Symp.on VLSI,pp.42-46,March 199
3では、上記の概念が、複数のグループへと一般化され
ている。
プフロップの共通のクロックは共通に動作可能なままで
ある一方で、当該回路が試験動作モードにある場合に
は、フリップフロップのグループは、独立にクロックが
送り込まれうる。K.L.Einspahr,S.C.Seth,及びV.D.Agra
walによる、"Clock Partitioning for Testability",Pr
oc.3rd Great Lakes Symp.on VLSI,pp.42-46,March 199
3では、上記の概念が、複数のグループへと一般化され
ている。
【0013】とりわけ、(一つよりもより長い)ループ
状をしたフリップフロップは複数のグループ間に分けら
れるように、フリップフロップは分割されている。この
ような方法の主たる利点は、対応するクロックを不活性
化(作動させないように)しておくことで、全体的なフ
ィードバックが論理的にはカットされることが可能とな
るということである。しかしながら、このような技術
は、回路の周期的構造のみを目標としていることから、
回路全体について一致するものではない。さらに、自己
ループのみしか有していない回路については適用不可能
である。
状をしたフリップフロップは複数のグループ間に分けら
れるように、フリップフロップは分割されている。この
ような方法の主たる利点は、対応するクロックを不活性
化(作動させないように)しておくことで、全体的なフ
ィードバックが論理的にはカットされることが可能とな
るということである。しかしながら、このような技術
は、回路の周期的構造のみを目標としていることから、
回路全体について一致するものではない。さらに、自己
ループのみしか有していない回路については適用不可能
である。
【0014】また、K.L.Einspahr,S.C.Seth,及びV.D.Ag
rawalによる、"Improving CircuitTestability by Cloc
k Control",Proc.6th Great Lakes Symp.on VLSI,1996
においても、同一の著者が、独立したクロックのグルー
プにパーシャルスキャンを組み合わせることで、すべて
のフリップフロップについての完全な可制御性を実現し
ている。
rawalによる、"Improving CircuitTestability by Cloc
k Control",Proc.6th Great Lakes Symp.on VLSI,1996
においても、同一の著者が、独立したクロックのグルー
プにパーシャルスキャンを組み合わせることで、すべて
のフリップフロップについての完全な可制御性を実現し
ている。
【0015】S.H.Baeg及びW.A.Rogersによる、"A New D
esign for Testability Method:Clock Line Control De
sign",Proc.Custom Integrated Circuits Conf.,pp.26.
2.1-26.2.4,1993でも、フリップフロップはまた、試験
の間に独立したクロックを有する異なるグループへと分
割されているが、ここでの意味としては ループ内にあ
るすべてのフリップフロップは、同一のグループ内に維
持されるのである。従って、グループ内にはループが存
在しないことから、試験生成は単純化される。残念なこ
とに、このようなアプローチには幾つかの欠点がある。
esign for Testability Method:Clock Line Control De
sign",Proc.Custom Integrated Circuits Conf.,pp.26.
2.1-26.2.4,1993でも、フリップフロップはまた、試験
の間に独立したクロックを有する異なるグループへと分
割されているが、ここでの意味としては ループ内にあ
るすべてのフリップフロップは、同一のグループ内に維
持されるのである。従って、グループ内にはループが存
在しないことから、試験生成は単純化される。残念なこ
とに、このようなアプローチには幾つかの欠点がある。
【0016】一方では、回路が多くの自己ループを有し
ている場合には、分割の数も増え、従って面積のオーバ
ーヘッド及び試験適用時間もそれに比例して増加する。
他方で、すべてのフリップフロップをカバーしているル
ープが存在しているという場合には、結果として、分割
が全く行われなくなり、当該技術が適用不能となってし
まう。分割の目的があるために、設計者は適用可能なD
FTの量を制御することはできないのである。また、当
該分割を利用するために、専用の試験発生器が必要であ
る。
ている場合には、分割の数も増え、従って面積のオーバ
ーヘッド及び試験適用時間もそれに比例して増加する。
他方で、すべてのフリップフロップをカバーしているル
ープが存在しているという場合には、結果として、分割
が全く行われなくなり、当該技術が適用不能となってし
まう。分割の目的があるために、設計者は適用可能なD
FTの量を制御することはできないのである。また、当
該分割を利用するために、専用の試験発生器が必要であ
る。
【0017】
【課題を解決するための手段】本発明は、クロック変換
を用いて順序回路設計の可試験性を向上させる方法を提
供するものであり、これは、先行技術の限界を避けるも
のである。すなわち、本発明に従って、到達が困難であ
るにもかかわらず、当該回路について少なくとも一つの
故障を検出するのに必要とされる回路状態が識別され
る。本発明の例示的な一実施例に従うと、そのような到
達困難な状態は、当該回路におけるフリップフロップの
各対に対する結合線確率を推定し、さらにこれらの確率
の推定値を予め選択されたしきい値と比較することで識
別される。
を用いて順序回路設計の可試験性を向上させる方法を提
供するものであり、これは、先行技術の限界を避けるも
のである。すなわち、本発明に従って、到達が困難であ
るにもかかわらず、当該回路について少なくとも一つの
故障を検出するのに必要とされる回路状態が識別され
る。本発明の例示的な一実施例に従うと、そのような到
達困難な状態は、当該回路におけるフリップフロップの
各対に対する結合線確率を推定し、さらにこれらの確率
の推定値を予め選択されたしきい値と比較することで識
別される。
【0018】到達困難だが必要とされる状態が一旦識別
されると、共通のクロック線により制御されており、こ
れらの状態に到達するため同時に割り当てられた値とな
らなくてはならないフリップフロップは、独立にクロッ
クが送り込まれるフリップフロップのグループへと分割
される。このような手法で、これらの到達困難だが必要
とされる状態は、到達容易な状態へと変換され、さらに
は、検出困難な故障を検出容易な故障へと変換する結果
となるのである。
されると、共通のクロック線により制御されており、こ
れらの状態に到達するため同時に割り当てられた値とな
らなくてはならないフリップフロップは、独立にクロッ
クが送り込まれるフリップフロップのグループへと分割
される。このような手法で、これらの到達困難だが必要
とされる状態は、到達容易な状態へと変換され、さらに
は、検出困難な故障を検出容易な故障へと変換する結果
となるのである。
【0019】
【発明の実施の形態】図1は、順序論理回路用の例示的
な試験プロセスを示しており、これは、本発明の方法に
ついての例示的な実施例を用いて、可試験性の向上のた
めうまく再設計されたものである。とりわけ、試験発生
器11は、試験される順序回路の回路記述に基づいて、
入力刺激及び対応する期待された出力応答を生成してい
る。特に、回路設計は、例えば、以下の図4において示
されているように、本発明の方法についての例示的実施
例に従いうまく修正されている。
な試験プロセスを示しており、これは、本発明の方法に
ついての例示的な実施例を用いて、可試験性の向上のた
めうまく再設計されたものである。とりわけ、試験発生
器11は、試験される順序回路の回路記述に基づいて、
入力刺激及び対応する期待された出力応答を生成してい
る。特に、回路設計は、例えば、以下の図4において示
されているように、本発明の方法についての例示的実施
例に従いうまく修正されている。
【0020】例えば、試験発生器11は、汎用目的のコ
ンピュータシステムと、当該システム上で実行されるソ
フトウエアからなりうる。回路12の各組立例は、相互
接続された複数の回路素子(例えば、ゲート13及びフ
リップフロップ18)、一つ以上の主入力(一次入力)
14、及び一つ以上の主出力(一次出力)15から成っ
ている。
ンピュータシステムと、当該システム上で実行されるソ
フトウエアからなりうる。回路12の各組立例は、相互
接続された複数の回路素子(例えば、ゲート13及びフ
リップフロップ18)、一つ以上の主入力(一次入力)
14、及び一つ以上の主出力(一次出力)15から成っ
ている。
【0021】回路12の所与の組立例が試験される際に
は、試験発生器11により生成された入力刺激は、回路
12の主入力(一次入力)14へ印加され、結果として
の出力応答は、主出力(一次出力)15上で測定され
る。結果としての出力応答は、比較回路16により、期
待された出力応答(これは、試験発生器11により生成
されたものである。)と比較され、それにより当該回路
の故障例を識別する。
は、試験発生器11により生成された入力刺激は、回路
12の主入力(一次入力)14へ印加され、結果として
の出力応答は、主出力(一次出力)15上で測定され
る。結果としての出力応答は、比較回路16により、期
待された出力応答(これは、試験発生器11により生成
されたものである。)と比較され、それにより当該回路
の故障例を識別する。
【0022】ここで記述された試験プロセスは、もっと
も一般的には、自動試験装置(ATE,Automatic Test
Equipment)として一般に知られる、コンピュータによ
り制御されたシステムにより実行される。典型的なAT
Eシステムは、回路の組立例に刺激を印加し、当該回路
の組立例からの応答を測定し、測定された応答を所定の
期待された応答と比較するように適応されているハード
ウエア構成要素(制御コンピュータに加えて)から成っ
ている。試験される当該回路の組立例は、大抵の場合、
標準化されたインタフェースにより当該ATEシステム
へ、いわば「差し込まれて(プラグインされて)」いる
のである。
も一般的には、自動試験装置(ATE,Automatic Test
Equipment)として一般に知られる、コンピュータによ
り制御されたシステムにより実行される。典型的なAT
Eシステムは、回路の組立例に刺激を印加し、当該回路
の組立例からの応答を測定し、測定された応答を所定の
期待された応答と比較するように適応されているハード
ウエア構成要素(制御コンピュータに加えて)から成っ
ている。試験される当該回路の組立例は、大抵の場合、
標準化されたインタフェースにより当該ATEシステム
へ、いわば「差し込まれて(プラグインされて)」いる
のである。
【0023】本発明に従い、回路12の元の設計は、回
路素子17、3つの「試験制御入力」、及びそれに伴っ
た相互接続を加えるように修正された。(元の回路設計
では、「CLOCK」という主入力(一次入力)は、フ
リップフロップ18のクロック入力へ直接接続されてい
た。)このような手法で、加えられたN/Tバー(注:
以下バーとは、Tの否定の意、通常は、Tの上部に直線
を引くことで表記する。))(すなわち、通常モード/
非試験モード)という主入力(一次入力)を用いて、当
該回路が特別な「試験モード」に置かれている際には、
2つのフリップフロップ(18)は、独立に制御可能と
なされうるのである。
路素子17、3つの「試験制御入力」、及びそれに伴っ
た相互接続を加えるように修正された。(元の回路設計
では、「CLOCK」という主入力(一次入力)は、フ
リップフロップ18のクロック入力へ直接接続されてい
た。)このような手法で、加えられたN/Tバー(注:
以下バーとは、Tの否定の意、通常は、Tの上部に直線
を引くことで表記する。))(すなわち、通常モード/
非試験モード)という主入力(一次入力)を用いて、当
該回路が特別な「試験モード」に置かれている際には、
2つのフリップフロップ(18)は、独立に制御可能と
なされうるのである。
【0024】特に、試験発生器11により生成された入
力刺激は、当該回路を試験モードに置き、さらに、試験
生成プロセスにより決められたように、この入力刺激
は、フリップフロップについての独立したクロックを可
能とするよう「イネーブル」な主入力(一次入力)を動
作させる。本発明に従って、そのような修正された回路
を提供することで、試験発生器11は、順序回路12用
の有効かつ高品質な試験をより効率的に生成することが
可能である。
力刺激は、当該回路を試験モードに置き、さらに、試験
生成プロセスにより決められたように、この入力刺激
は、フリップフロップについての独立したクロックを可
能とするよう「イネーブル」な主入力(一次入力)を動
作させる。本発明に従って、そのような修正された回路
を提供することで、試験発生器11は、順序回路12用
の有効かつ高品質な試験をより効率的に生成することが
可能である。
【0025】図1の回路12のような、任意の順序回路
においては、フリップフロップは、幾つかの(組み合わ
せ)論理により駆動されており、その入力は、主入力
(一次入力)あるいは他のフリップフロップの出力から
成っている。当該回路におけるすべてのフリップフロッ
プの値は、当該回路の「状態」と称されるものを定義し
ている。一般に、他の状態よりも到達がより困難な状態
が存在する。(すなわち、フリップフロップの値の組み
合わせの一部は、実現困難であり得るのである。)極端
な場合は、到達不可能な状態も存在しうるのであって、
これはまた、いわば「違法な」状態と称される。到達困
難な状態及び違法な状態は、ここではひとまとめにし
て、困難な状態と称されよう。
においては、フリップフロップは、幾つかの(組み合わ
せ)論理により駆動されており、その入力は、主入力
(一次入力)あるいは他のフリップフロップの出力から
成っている。当該回路におけるすべてのフリップフロッ
プの値は、当該回路の「状態」と称されるものを定義し
ている。一般に、他の状態よりも到達がより困難な状態
が存在する。(すなわち、フリップフロップの値の組み
合わせの一部は、実現困難であり得るのである。)極端
な場合は、到達不可能な状態も存在しうるのであって、
これはまた、いわば「違法な」状態と称される。到達困
難な状態及び違法な状態は、ここではひとまとめにし
て、困難な状態と称されよう。
【0026】すなわち、困難な状態とは、相関関係のあ
る値を、共通のクロックにより制御されているフリップ
フロップへと押し込む必要があることにより生じるもの
である。明らかに、検出を行うのに、当該回路が困難な
状態を扱うことを必要とするような故障は、いずれも検
出するのが必然的に困難となる。すなわち、そのような
故障についての試験を生成することは難しいのである。
実際、困難な状態が違法な状態である場合には、当該故
障は検出不可能である。(すなわち、当該故障について
の試験を生成することは不可能である。)本発明のDF
Tの方法によると、検出困難な故障となる結果へ結び付
く、フリップフロップ間における有害な相関関係は、試
験を行う間は共通のクロックを独立したクロックへと変
換することで、うまくキャンセルされる。
る値を、共通のクロックにより制御されているフリップ
フロップへと押し込む必要があることにより生じるもの
である。明らかに、検出を行うのに、当該回路が困難な
状態を扱うことを必要とするような故障は、いずれも検
出するのが必然的に困難となる。すなわち、そのような
故障についての試験を生成することは難しいのである。
実際、困難な状態が違法な状態である場合には、当該故
障は検出不可能である。(すなわち、当該故障について
の試験を生成することは不可能である。)本発明のDF
Tの方法によると、検出困難な故障となる結果へ結び付
く、フリップフロップ間における有害な相関関係は、試
験を行う間は共通のクロックを独立したクロックへと変
換することで、うまくキャンセルされる。
【0027】さらなる例示により、図2で示された、簡
単な例としての回路を考慮されたい。図におけるよう
に、両方のフリップフロップ(フリップフロップ21及
びフリップフロップ22)が、共通のクロックを共有し
ているとき、(Q1,Q2)=(1,0)とは違法な状
態である。しかしながら、このような状態の実現は、Q
2が1に縮退(固着)する故障(Q2−1として表記さ
れる。)を検出するのに必要な条件である。それ故に、
たとえ(Q1,Q2)=(1,0)が困難な(実際、こ
の場合では、違法な)状態であっても、少なくとも一つ
の故障の検出のためには必要とされるのであり、それに
より当該故障の検出は困難になる(実際、この場合で
は、不可能)のである。
単な例としての回路を考慮されたい。図におけるよう
に、両方のフリップフロップ(フリップフロップ21及
びフリップフロップ22)が、共通のクロックを共有し
ているとき、(Q1,Q2)=(1,0)とは違法な状
態である。しかしながら、このような状態の実現は、Q
2が1に縮退(固着)する故障(Q2−1として表記さ
れる。)を検出するのに必要な条件である。それ故に、
たとえ(Q1,Q2)=(1,0)が困難な(実際、こ
の場合では、違法な)状態であっても、少なくとも一つ
の故障の検出のためには必要とされるのであり、それに
より当該故障の検出は困難になる(実際、この場合で
は、不可能)のである。
【0028】しかしながら、図2の回路が、図3で示さ
れたように修正されているとすれば、問題は解決される
のである。すなわち、試験の間に、(独立の)CLOC
K1によりフリップフロップ21を、及び(独立の)C
LOCK2によりフリップフロップ22を制御すること
で、状態(Q1,Q2)=(1,0)は容易に到達可能
となり、故障Q2−1も検出可能となる。
れたように修正されているとすれば、問題は解決される
のである。すなわち、試験の間に、(独立の)CLOC
K1によりフリップフロップ21を、及び(独立の)C
LOCK2によりフリップフロップ22を制御すること
で、状態(Q1,Q2)=(1,0)は容易に到達可能
となり、故障Q2−1も検出可能となる。
【0029】例えば、状態(Q1,Q2)=(1,0)
に到達する一つの方法は、主入力(一次入力)「A」上
に論理値1を印加し、CLOCK2を不活性に維持する
一方で、CLOCK1を活性化し、さらに、主入力(一
次入力)「A」上に論理値0を印加し、CLOCK1を
不活性に維持する一方でCLOCK2を活性化するとい
うものである。このようにして、2つのフリップフロッ
プのクロックを分離することで、これらのフリップフロ
ップが異なるときにロードされることを可能にし、困難
な状態の存在を生じさせていた有害な相関関係をキャン
セルしている。
に到達する一つの方法は、主入力(一次入力)「A」上
に論理値1を印加し、CLOCK2を不活性に維持する
一方で、CLOCK1を活性化し、さらに、主入力(一
次入力)「A」上に論理値0を印加し、CLOCK1を
不活性に維持する一方でCLOCK2を活性化するとい
うものである。このようにして、2つのフリップフロッ
プのクロックを分離することで、これらのフリップフロ
ップが異なるときにロードされることを可能にし、困難
な状態の存在を生じさせていた有害な相関関係をキャン
セルしている。
【0030】本発明に従い、フリップフロップ内の有害
な関係は、故障の検出に必要とされる困難な状態を見つ
けだすことで識別される。一つの例示的実施例では、困
難な状態は、同一クロックにより制御されているフリッ
プフロップの各対を解析し、以下に記述された手順によ
り、論理値についての4つの考えられる組み合わせ(0
0,01,10,11)のそれぞれを得る確率を推定す
ることで識別される。(回路の複数の線が所与の値の組
を有する、そのような確率は、「結合線確率」として知
られている。)確率の程度が、あらかじめ選択されたし
きい値以下である状態は、困難な状態として、うまく特
徴付けられる。
な関係は、故障の検出に必要とされる困難な状態を見つ
けだすことで識別される。一つの例示的実施例では、困
難な状態は、同一クロックにより制御されているフリッ
プフロップの各対を解析し、以下に記述された手順によ
り、論理値についての4つの考えられる組み合わせ(0
0,01,10,11)のそれぞれを得る確率を推定す
ることで識別される。(回路の複数の線が所与の値の組
を有する、そのような確率は、「結合線確率」として知
られている。)確率の程度が、あらかじめ選択されたし
きい値以下である状態は、困難な状態として、うまく特
徴付けられる。
【0031】n個のフリップフロップを有する回路で
は、2つのフリップフロップの値の組み合わせにより定
義される状態は、実際には、同じ特性を有する2n-2の
考えられる回路状態のグループを表しているということ
に留意すべきである。(すなわち、すべての状態は、他
のn−2個のフリップフロップについての考えられる値
の集合の一つと組み合わせて、所与の2つのフリップフ
ロップについて特定の2つの値を有している。)「状
態」という言葉は、ここでは、状態についてのそのよう
なグループを表記するのに用いられることになろう。こ
のような状態の概念(実際には状態のグループであ
る。)を用いることで、当該回路の2n個の状態のそれ
ぞれを明示的に扱う必要はなくなるのである。
は、2つのフリップフロップの値の組み合わせにより定
義される状態は、実際には、同じ特性を有する2n-2の
考えられる回路状態のグループを表しているということ
に留意すべきである。(すなわち、すべての状態は、他
のn−2個のフリップフロップについての考えられる値
の集合の一つと組み合わせて、所与の2つのフリップフ
ロップについて特定の2つの値を有している。)「状
態」という言葉は、ここでは、状態についてのそのよう
なグループを表記するのに用いられることになろう。こ
のような状態の概念(実際には状態のグループであ
る。)を用いることで、当該回路の2n個の状態のそれ
ぞれを明示的に扱う必要はなくなるのである。
【0032】一般には、3つの(あるいはそれ以上の)
フリップフロップの値の組み合わせにより定義される状
態で、実際には困難なものは存在しうるが、一方で、こ
れらのフリップフロップの任意の対により定義された状
態で、それ自体が困難なものは存在していないというこ
とに留意されたい。詳細に記述された本発明の特定の例
示的実施例に従うと、フリップフロップの対のみが解析
されることから、そのような困難な状態は識別されない
ことになろう。
フリップフロップの値の組み合わせにより定義される状
態で、実際には困難なものは存在しうるが、一方で、こ
れらのフリップフロップの任意の対により定義された状
態で、それ自体が困難なものは存在していないというこ
とに留意されたい。詳細に記述された本発明の特定の例
示的実施例に従うと、フリップフロップの対のみが解析
されることから、そのような困難な状態は識別されない
ことになろう。
【0033】しかしながら、フリップフロップの対のみ
(さらに、3組あるいはそれ以上のn組でもない)を扱
うことで、解析の複雑さは合理的な範囲(すなわち、考
えられるすべてのn組のフリップフロップを解析する際
の結果としての複雑さとなると考えられる、O(2n)
という複雑さの程度よりもO(n2)という複雑さの程
度である。)内にうまく維持されている。ここで記述さ
れた例示的実施例が、より高次のn組のフリップフロッ
プをも解析するように拡張される、本発明に関する選択
的実施例については、当該技術分野の当業者にとって自
明であろう。
(さらに、3組あるいはそれ以上のn組でもない)を扱
うことで、解析の複雑さは合理的な範囲(すなわち、考
えられるすべてのn組のフリップフロップを解析する際
の結果としての複雑さとなると考えられる、O(2n)
という複雑さの程度よりもO(n2)という複雑さの程
度である。)内にうまく維持されている。ここで記述さ
れた例示的実施例が、より高次のn組のフリップフロッ
プをも解析するように拡張される、本発明に関する選択
的実施例については、当該技術分野の当業者にとって自
明であろう。
【0034】試験生成プロセスにおいて、どの困難な状
態が実際に必要とされているのかを見出すには、一つ以
上の故障を検出するのに必要とされる困難な状態を判断
する必要がある。従来の手順は、そのような判断をする
のに利用可能である。例えば、D.E.Long,M.A.Iyer及び
M.Abramoviciによる、"Identifying Sequentially Un-t
estable Faults Using Illegal States",VLSI Test Sym
posium,pp.4-11,May 1995では、(例えば、フリップフ
ロップの)値の組み合わせが与えられたとき、当該回路
における故障を発見する手順が記述されており、当該回
路は、故障の検出に必要な条件として、値のこのような
組み合わせを必要とするものである。
態が実際に必要とされているのかを見出すには、一つ以
上の故障を検出するのに必要とされる困難な状態を判断
する必要がある。従来の手順は、そのような判断をする
のに利用可能である。例えば、D.E.Long,M.A.Iyer及び
M.Abramoviciによる、"Identifying Sequentially Un-t
estable Faults Using Illegal States",VLSI Test Sym
posium,pp.4-11,May 1995では、(例えば、フリップフ
ロップの)値の組み合わせが与えられたとき、当該回路
における故障を発見する手順が記述されており、当該回
路は、故障の検出に必要な条件として、値のこのような
組み合わせを必要とするものである。
【0035】このような方法は、当該技術分野の当業者
にとってはありふれたものといえる、制御不能性及び観
測不能性の値についての単純な含意に基づくものであ
り、ここでの含意は幾つかの時間枠にわたって実行され
る。とりわけ、このような方法は、大規模な回路にとっ
て効果的かつ実用的であることが示された。このよう
に、ここで記述された本発明の例示的実施例に従った場
合、文献"Identifying Sequentially Untestable Fault
s Using Illegal States"で記述された方法は、検出を
行うには(到達)困難な状態の設定が必要とされること
を理由として、検出困難な故障を識別するのに用いられ
るのである。
にとってはありふれたものといえる、制御不能性及び観
測不能性の値についての単純な含意に基づくものであ
り、ここでの含意は幾つかの時間枠にわたって実行され
る。とりわけ、このような方法は、大規模な回路にとっ
て効果的かつ実用的であることが示された。このよう
に、ここで記述された本発明の例示的実施例に従った場
合、文献"Identifying Sequentially Untestable Fault
s Using Illegal States"で記述された方法は、検出を
行うには(到達)困難な状態の設定が必要とされること
を理由として、検出困難な故障を識別するのに用いられ
るのである。
【0036】少なくとも一つの故障を検出するのに必要
とされる任意の困難な状態は、「困難かつ必要とされ
る」ものであると考えられる。(ここで認められるよう
に、文献"Identifying Sequentially Untestable Fault
s Using Illegal States"で記述された方法はまた、共
通に譲渡された米国特許出願番号08/599,289
号(U.S.Patent application Ser.No.08/599,289)の"M
ethod for IdentifyingUn-testable and Redundant Fau
lts in Sequential Logic Circuits"においても記述さ
れている。ここで、米国特許出願番号08/599,2
89号(U.S.Patent application Ser.No.08/599,289)
は、十分に示されたものとして引用される。)
とされる任意の困難な状態は、「困難かつ必要とされ
る」ものであると考えられる。(ここで認められるよう
に、文献"Identifying Sequentially Untestable Fault
s Using Illegal States"で記述された方法はまた、共
通に譲渡された米国特許出願番号08/599,289
号(U.S.Patent application Ser.No.08/599,289)の"M
ethod for IdentifyingUn-testable and Redundant Fau
lts in Sequential Logic Circuits"においても記述さ
れている。ここで、米国特許出願番号08/599,2
89号(U.S.Patent application Ser.No.08/599,289)
は、十分に示されたものとして引用される。)
【0037】同一のクロックがフリップフロップの対に
送り込まれていることの「有害な影響」は、2つのフリ
ップフロップを含む、困難かつ必要とされる状態につい
ての確率と、これらの状態を要する困難な故障の数の両
方に依存している。本発明の例示的実施例に従い、分割
手順では、このような情報を用いてフリップフロップを
異なるグループへ割り当て、そこで、任意の共通なクロ
ックについての全体としての有害な影響は、うまく最小
化される。特に、このような例示的実施例では、逐次的
に再収斂(再収束)するファンアウトにより生じる、困
難かつ必要とされる状態をうまく識別する。(困難かつ
必要とされる状態はまた、ループによっても生じうる。
すなわち、本発明の選択的実施例においては、これらの
状態もまた、うまく識別されうるのである。)
送り込まれていることの「有害な影響」は、2つのフリ
ップフロップを含む、困難かつ必要とされる状態につい
ての確率と、これらの状態を要する困難な故障の数の両
方に依存している。本発明の例示的実施例に従い、分割
手順では、このような情報を用いてフリップフロップを
異なるグループへ割り当て、そこで、任意の共通なクロ
ックについての全体としての有害な影響は、うまく最小
化される。特に、このような例示的実施例では、逐次的
に再収斂(再収束)するファンアウトにより生じる、困
難かつ必要とされる状態をうまく識別する。(困難かつ
必要とされる状態はまた、ループによっても生じうる。
すなわち、本発明の選択的実施例においては、これらの
状態もまた、うまく識別されうるのである。)
【0038】すなわち、同一のクロックをフリップフロ
ップへ送り込む共通の論理は、困難な状態へ導きうる相
関関係を作りだし、再収斂(再収束)するパス間での相
互作用が、一定の故障の検出をこれらの困難な状態に依
存させるようにしうるのである。逐次的再収斂(再収
束)のすべてが有害というわけではなく、むしろ困難か
つ必要とされる状態を引き起こすもののみであるという
ことに留意されたい。従って、困難かつ必要とされる状
態の識別とは、例えば、逐次的に再収斂(再収束)する
パスについてコストのかかる明示的な解析を行う必要な
しに、有害な逐次的再収斂(再収束)を暗に識別すると
いうことである。
ップへ送り込む共通の論理は、困難な状態へ導きうる相
関関係を作りだし、再収斂(再収束)するパス間での相
互作用が、一定の故障の検出をこれらの困難な状態に依
存させるようにしうるのである。逐次的再収斂(再収
束)のすべてが有害というわけではなく、むしろ困難か
つ必要とされる状態を引き起こすもののみであるという
ことに留意されたい。従って、困難かつ必要とされる状
態の識別とは、例えば、逐次的に再収斂(再収束)する
パスについてコストのかかる明示的な解析を行う必要な
しに、有害な逐次的再収斂(再収束)を暗に識別すると
いうことである。
【0039】フリップフロップをクロックのグループへ
と分割する際に用いられ得る、フリップフロップ間の相
関関係の評価について注目すると、本発明の一つの例示
的実施例に従った場合、当該相関関係の評価はフリップ
フロップの出力の対に対する結合線確率に基づくもので
あるといえる。しかしながら、結合線確率を正確に演算
するには、計算上複雑となることから、以下のような近
似的方法が用いられる。
と分割する際に用いられ得る、フリップフロップ間の相
関関係の評価について注目すると、本発明の一つの例示
的実施例に従った場合、当該相関関係の評価はフリップ
フロップの出力の対に対する結合線確率に基づくもので
あるといえる。しかしながら、結合線確率を正確に演算
するには、計算上複雑となることから、以下のような近
似的方法が用いられる。
【0040】fをブール関数であるとしよう。fが従属
している各変数x(fの従属変数である各x)には、ラ
ンダムな値が独立に割り当てられているとせよ。pxと
は、xに論理値1が割り当てられる確率であるとしよ
う。そのようなランダムに選択された変数の見積もりに
ついて、fが論理値1と評価される特定の確率が存在し
ている。このような確率を、|f|と表記し、「fの確
率」と呼ぶこととする。fが、当該技術分野の当業者に
はなじみのある、二分決定グラフ(BDD)として表さ
れているとすれば、fの確率は、以下の関係(数1)を
用いてBDD上の一つのパスにおいて演算可能である。
している各変数x(fの従属変数である各x)には、ラ
ンダムな値が独立に割り当てられているとせよ。pxと
は、xに論理値1が割り当てられる確率であるとしよ
う。そのようなランダムに選択された変数の見積もりに
ついて、fが論理値1と評価される特定の確率が存在し
ている。このような確率を、|f|と表記し、「fの確
率」と呼ぶこととする。fが、当該技術分野の当業者に
はなじみのある、二分決定グラフ(BDD)として表さ
れているとすれば、fの確率は、以下の関係(数1)を
用いてBDD上の一つのパスにおいて演算可能である。
【数1】
【0041】本発明の例示的実施例に従い、fが回路に
おけるフリップフロップの一つを駆動している論理であ
る場合には、このような演算はうまく実行されうる。演
算については、主入力(一次入力)及びフリップフロッ
プ出力についての結線確率は入力としての役割をする。
主入力(一次入力)確率は与えられているものとされう
る(例えば、付加的な情報がないと、主入力(一次入
力)確率は、独立かつ均一なものとされうる。従って、
xが主入力(一次入力)である場合には、pxは0.5
という値が割り当てられうる。)のである。
おけるフリップフロップの一つを駆動している論理であ
る場合には、このような演算はうまく実行されうる。演
算については、主入力(一次入力)及びフリップフロッ
プ出力についての結線確率は入力としての役割をする。
主入力(一次入力)確率は与えられているものとされう
る(例えば、付加的な情報がないと、主入力(一次入
力)確率は、独立かつ均一なものとされうる。従って、
xが主入力(一次入力)である場合には、pxは0.5
という値が割り当てられうる。)のである。
【0042】さらに、フリップフロップの出力確率は、
J.Monteiro,S.Devadas及びB.Linによる、"A Methodolog
y for Efficient Estimation of Switching Activity i
nSequential Logic Circuits",Proc.31st Design Autom
ation Conf.,pp.12-17,1994で提示され、及び以下で記
述されたような従来技術を用いてうまく推定されうるの
である。
J.Monteiro,S.Devadas及びB.Linによる、"A Methodolog
y for Efficient Estimation of Switching Activity i
nSequential Logic Circuits",Proc.31st Design Autom
ation Conf.,pp.12-17,1994で提示され、及び以下で記
述されたような従来技術を用いてうまく推定されうるの
である。
【0043】とりわけ、文献"A Methodology for Effic
ient Estimation of SwitchingActivity in Sequential
Logic Circuits"における技術は、以下のようなものか
ら成る。
ient Estimation of SwitchingActivity in Sequential
Logic Circuits"における技術は、以下のようなものか
ら成る。
【0044】フリップフロップの確率pqの候補となる
集合が与えられているとすると、当該所与の集合が自己
矛盾のないものであるかは、以下のようにして判断され
ることが可能である。fを、qで表されたフリップフロ
ップを駆動する論理についてのブール関数であるとす
る。そこで、pq=|f|である。すべてのフリップフ
ロップについて、このような要件を表現することで、結
線確率を含む(非線形な)等式系が得られる。
集合が与えられているとすると、当該所与の集合が自己
矛盾のないものであるかは、以下のようにして判断され
ることが可能である。fを、qで表されたフリップフロ
ップを駆動する論理についてのブール関数であるとす
る。そこで、pq=|f|である。すべてのフリップフ
ロップについて、このような要件を表現することで、結
線確率を含む(非線形な)等式系が得られる。
【0045】そこで、当該技術分野の当業者にとっては
なじみのある、従来の反復的方法の任意の一つが、結果
として得られた等式系の解を求めるのに利用されうるの
であって、その結果、フリップフロップについての推定
された結線確率の完全な集合が得られる。しかしなが
ら、主入力(一次入力)が独立であり、さらに、たとえ
主入力(一次入力)についての独立性について、そのよ
うな推定が正しいとしても、実際の結線確率は、このよ
うな等式系に対する正しい解ではないかもしれない。そ
れにもかかわらず、上に記述した方法を用いて推定され
た結線確率は、合理的な程度に正確なもので、本発明の
例示的方法において利用される適切な推定値を生成して
いるといえるのである。
なじみのある、従来の反復的方法の任意の一つが、結果
として得られた等式系の解を求めるのに利用されうるの
であって、その結果、フリップフロップについての推定
された結線確率の完全な集合が得られる。しかしなが
ら、主入力(一次入力)が独立であり、さらに、たとえ
主入力(一次入力)についての独立性について、そのよ
うな推定が正しいとしても、実際の結線確率は、このよ
うな等式系に対する正しい解ではないかもしれない。そ
れにもかかわらず、上に記述した方法を用いて推定され
た結線確率は、合理的な程度に正確なもので、本発明の
例示的方法において利用される適切な推定値を生成して
いるといえるのである。
【0046】例として、図4で示されたモジュロ3(3
を法とする)計数器を考える。(Q1,Q2)=(1,
1)は違法な状態であり、pa及びpbの実際の(すなわ
ち正確な)値は、pa=pb=1/3ということが明らか
にわかる。本発明の例示的実施例に従って、当該回路に
対応する等式系が決定されうるのであり、その等式は、
pa=(1−pa)pb、pb=(1−pa)(1−pb)と
なる。このような等式系から以下のような解が得られう
る。すなわち、pa=1−(21/2/2)、pb=21/2−
1である。
を法とする)計数器を考える。(Q1,Q2)=(1,
1)は違法な状態であり、pa及びpbの実際の(すなわ
ち正確な)値は、pa=pb=1/3ということが明らか
にわかる。本発明の例示的実施例に従って、当該回路に
対応する等式系が決定されうるのであり、その等式は、
pa=(1−pa)pb、pb=(1−pa)(1−pb)と
なる。このような等式系から以下のような解が得られう
る。すなわち、pa=1−(21/2/2)、pb=21/2−
1である。
【0047】上で記述された手法で、結線確率が計算さ
れてきたものとする。f及びgは、2つのフリップフロ
ップへの入力を表している関数であるとする。そこで、
これらのフリップフロップの両方が同時に論理値1とな
る結合確率は、|f.g|により近似されうる。このよ
うな近似においては、フリップフロップを駆動する組み
合わせ論理における相関関係からは、フリップフロップ
間の相関関係のみが生じる。(しかしながら、当該回路
の逐次的ビヘイビア(動作)は、フリップフロップの確
率についての演算により捕捉されるということに留意さ
れたい。)
れてきたものとする。f及びgは、2つのフリップフロ
ップへの入力を表している関数であるとする。そこで、
これらのフリップフロップの両方が同時に論理値1とな
る結合確率は、|f.g|により近似されうる。このよ
うな近似においては、フリップフロップを駆動する組み
合わせ論理における相関関係からは、フリップフロップ
間の相関関係のみが生じる。(しかしながら、当該回路
の逐次的ビヘイビア(動作)は、フリップフロップの確
率についての演算により捕捉されるということに留意さ
れたい。)
【0048】類似の演算は、値の他の組み合わせについ
ても実行されうる。(例えば、2つのフリップフロップ
が値1及び0をそれぞれ有する結合確率は、数2の式に
より近似されうる。)
ても実行されうる。(例えば、2つのフリップフロップ
が値1及び0をそれぞれ有する結合確率は、数2の式に
より近似されうる。)
【数2】 組み合わせ論理が、ある組み合わせを生成できないとき
には、その確率は、結果として0という推定値になろ
う。それにより、当該回路における違法な状態の一部に
ついての識別が可能となる。
には、その確率は、結果として0という推定値になろ
う。それにより、当該回路における違法な状態の一部に
ついての識別が可能となる。
【0049】図4で示された例としての回路について、
結合確率は、以下のようにして計算されうる。すなわ
ち、違法な状態である(Q1,Q2)=(1,1)は確
率0を有し、(Q1,Q2)=(0,1)は、確率2
1/2−1を有し、(Q1,Q2)=(1,0)及び(Q
1,Q2)=(0,0)はそれぞれ、確率1−(21/2
/2)を有している。
結合確率は、以下のようにして計算されうる。すなわ
ち、違法な状態である(Q1,Q2)=(1,1)は確
率0を有し、(Q1,Q2)=(0,1)は、確率2
1/2−1を有し、(Q1,Q2)=(1,0)及び(Q
1,Q2)=(0,0)はそれぞれ、確率1−(21/2
/2)を有している。
【0050】後者の3つの組み合わせのそれぞれの確率
の正確な値は、実際は1/3であるが、上記確率の最初
のもの(すなわち0)は、正しい値である。一般に、所
与の回路におけるフリップフロップの一部についてBD
Dが構築できない状況が存在しうる。そしてそのような
場合には、0.5というフリップフロップの確率が、適
宜仮定されうる。もっともこのような仮定は、結果とし
ては困難な状態の一部を識別しないということになる可
能性がある。
の正確な値は、実際は1/3であるが、上記確率の最初
のもの(すなわち0)は、正しい値である。一般に、所
与の回路におけるフリップフロップの一部についてBD
Dが構築できない状況が存在しうる。そしてそのような
場合には、0.5というフリップフロップの確率が、適
宜仮定されうる。もっともこのような仮定は、結果とし
ては困難な状態の一部を識別しないということになる可
能性がある。
【0051】本発明の一つの選択的実施例においては、
フリップフロップの確率は、ランダム入力ベクトルを用
いる従来のシミュレーション技術により演算されうる。
すなわち、多数のランダムに選択された入力ベクトルが
回路に印加され、各フリップフロップにつき、当該フリ
ップフロップが2つの論理値のそれぞれを得る頻度が決
定される。そのようなシミュレーション技術は、当該技
術分野の当業者にとってありふれたものであるといえよ
う。
フリップフロップの確率は、ランダム入力ベクトルを用
いる従来のシミュレーション技術により演算されうる。
すなわち、多数のランダムに選択された入力ベクトルが
回路に印加され、各フリップフロップにつき、当該フリ
ップフロップが2つの論理値のそれぞれを得る頻度が決
定される。そのようなシミュレーション技術は、当該技
術分野の当業者にとってありふれたものであるといえよ
う。
【0052】状態Sについての確率Psが推定されたと
すると、それは、状態Sに到達する困難性の尺度として
用いられうる。例えば、Ps=0である場合には、Sは
違法な状態である。Psが、例えば0.1といったよう
に、あらかじめ選択されたしきい値以下である場合に
は、Sは困難である(すなわち、到達困難である)とい
われる。困難な状態Sについて、故障検出のためSを必
要とする故障の数をNsで表記するものとしよう。
すると、それは、状態Sに到達する困難性の尺度として
用いられうる。例えば、Ps=0である場合には、Sは
違法な状態である。Psが、例えば0.1といったよう
に、あらかじめ選択されたしきい値以下である場合に
は、Sは困難である(すなわち、到達困難である)とい
われる。困難な状態Sについて、故障検出のためSを必
要とする故障の数をNsで表記するものとしよう。
【0053】Ns>0である場合には、Sは困難かつ必
要とされる状態である。困難かつ必要とされる状態Sに
ついての有害な影響は、値DES=(1−Ps)Nsを演
算することで評価されうる。つまり、状態Sを必要とす
るNs個の故障のそれぞれは、確率1−Psで検出され得
ない可能性がある訳である。Sが違法である場合、DE
sは最大値つまりはNsとなる。そこで、任意の2つのフ
リップフロップA及びBについて、困難かつ必要とされ
る状態を生じる有害な影響は、以下の数3の式により与
えられる。
要とされる状態である。困難かつ必要とされる状態Sに
ついての有害な影響は、値DES=(1−Ps)Nsを演
算することで評価されうる。つまり、状態Sを必要とす
るNs個の故障のそれぞれは、確率1−Psで検出され得
ない可能性がある訳である。Sが違法である場合、DE
sは最大値つまりはNsとなる。そこで、任意の2つのフ
リップフロップA及びBについて、困難かつ必要とされ
る状態を生じる有害な影響は、以下の数3の式により与
えられる。
【数3】
【0054】ここでSは、A及びBを含むすべての困難
かつ必要とされる状態にわたるものである。共通のクロ
ックを有するフリップフロップのグループGの全体とし
ての有害な影響は、以下の数4の式となる。
かつ必要とされる状態にわたるものである。共通のクロ
ックを有するフリップフロップのグループGの全体とし
ての有害な影響は、以下の数4の式となる。
【数4】 ここで、困難かつ必要とされる状態を生じさせる、Gに
おけるすべてのフリップフロップの対にわたって、合計
(総和)が求められる。Fが当該回路における全フリッ
プフロップの集合である場合には、DEFとは、共通の
クロックを送り込むことの結果生じる、当該回路の全体
としての有害な影響となる。
おけるすべてのフリップフロップの対にわたって、合計
(総和)が求められる。Fが当該回路における全フリッ
プフロップの集合である場合には、DEFとは、共通の
クロックを送り込むことの結果生じる、当該回路の全体
としての有害な影響となる。
【0055】図5は、本発明の一実施例に従った例示的
な分割手順を示している。このような分割手順は、2つ
のモードのいずれかで動作可能である。第一のモードで
は、DEFを0に減少させるのに必要とされるのと同数
の、独立したクロックを有するグループを生成しようと
試みている。それ故に、グループの数Kは、当該回路に
おけるフリップフロップの数によってのみ制限される。
特に、このモードにおける手順では、Kの最小値をもっ
てDEF=0としようと試みている。
な分割手順を示している。このような分割手順は、2つ
のモードのいずれかで動作可能である。第一のモードで
は、DEFを0に減少させるのに必要とされるのと同数
の、独立したクロックを有するグループを生成しようと
試みている。それ故に、グループの数Kは、当該回路に
おけるフリップフロップの数によってのみ制限される。
特に、このモードにおける手順では、Kの最小値をもっ
てDEF=0としようと試みている。
【0056】得られたKが、余りに大き過ぎると考えら
れる(ユーザーによって、あるいは、自動化された判断
に基づいて)場合には、第二の分割モードが利用されう
る。そこでは、グループの数は、例えば4といったよう
に、ユーザーが特定したK(また、これについても自動
化された判断に基づいてなされうる。)より制限され
る。このような場合は目的とするところは、DEFを最
小化するということである。もちろん、選択的には、ユ
ーザーの特定したKは、アプリオリに(前もって)備え
られ(あるいは、決定され)得るのであって、第一のモ
ードは、全く避けされることが可能である。
れる(ユーザーによって、あるいは、自動化された判断
に基づいて)場合には、第二の分割モードが利用されう
る。そこでは、グループの数は、例えば4といったよう
に、ユーザーが特定したK(また、これについても自動
化された判断に基づいてなされうる。)より制限され
る。このような場合は目的とするところは、DEFを最
小化するということである。もちろん、選択的には、ユ
ーザーの特定したKは、アプリオリに(前もって)備え
られ(あるいは、決定され)得るのであって、第一のモ
ードは、全く避けされることが可能である。
【0057】分割を実現するため、各頂点(すなわち、
節点)が、回路における一つのフリップフロップを表し
ているグラフにより、当該回路はうまくモデル化されう
る。DEAB>0すなわち、フリップフロップA及びBの
組み合わせが、困難かつ必要とされる状態に寄与してい
る場合及びその場合にのみ、辺(エッジ)(A,B)
は、2つのフリップフロップA及びBの間に存在してい
る。さらに、DEABの重み(ウエイト)が各辺(エッ
ジ)に割り当てられる。最初は、各グループとも空とな
っている。しかし当該手順の完了の際には、当該回路に
おける各フリップフロップは、あるグループへと割り当
てられている。
節点)が、回路における一つのフリップフロップを表し
ているグラフにより、当該回路はうまくモデル化されう
る。DEAB>0すなわち、フリップフロップA及びBの
組み合わせが、困難かつ必要とされる状態に寄与してい
る場合及びその場合にのみ、辺(エッジ)(A,B)
は、2つのフリップフロップA及びBの間に存在してい
る。さらに、DEABの重み(ウエイト)が各辺(エッ
ジ)に割り当てられる。最初は、各グループとも空とな
っている。しかし当該手順の完了の際には、当該回路に
おける各フリップフロップは、あるグループへと割り当
てられている。
【0058】図5の例示的な手順では、以下のようにし
て、重み(ウエイト)が減少する順に、グラフの各辺
(エッジ)を処理する。辺(エッジ)についての未だ割
り当てられていないフリップフロップのそれぞれが処理
されるため、当該手順では、当該(未だ割り当てられて
いない)フリップフロップを「もっとも適切な」グルー
プへと配置する。(既に割り当てられていない場合に)
フリップフロップAをグループGに配置すると、Aを他
のグループに配置する場合に比べて、DEGにおいて最
小限の増加しか持ち込まないとすれば、当該グループG
は、当該フリップフロップAにとって、「もっとも適切
である」といえよう。
て、重み(ウエイト)が減少する順に、グラフの各辺
(エッジ)を処理する。辺(エッジ)についての未だ割
り当てられていないフリップフロップのそれぞれが処理
されるため、当該手順では、当該(未だ割り当てられて
いない)フリップフロップを「もっとも適切な」グルー
プへと配置する。(既に割り当てられていない場合に)
フリップフロップAをグループGに配置すると、Aを他
のグループに配置する場合に比べて、DEGにおいて最
小限の増加しか持ち込まないとすれば、当該グループG
は、当該フリップフロップAにとって、「もっとも適切
である」といえよう。
【0059】ユーザーが最大グループ数を特定していな
い場合である、前述のモードの第一のものにおいては、
何らの増加も認められず(すなわち、「最小」の増加と
は、0に等しくなくてはならない。)、このモードで
は、目的とするところは、DEFを0に減少させること
にあることから、そのようなグループが見つからない場
合は、新たなグループが生成され、当該フリップフロッ
プは、そこに配置される。いずれのモードでにおいて
も、グラフの各エッジについて、このようなプロセスが
繰り返される。
い場合である、前述のモードの第一のものにおいては、
何らの増加も認められず(すなわち、「最小」の増加と
は、0に等しくなくてはならない。)、このモードで
は、目的とするところは、DEFを0に減少させること
にあることから、そのようなグループが見つからない場
合は、新たなグループが生成され、当該フリップフロッ
プは、そこに配置される。いずれのモードでにおいて
も、グラフの各エッジについて、このようなプロセスが
繰り返される。
【0060】当該手順の完了に際して、付随した辺(エ
ッジ)を何ら有していないフリップフロップが、いずれ
のグループにも割り当てられないという場合があり得る
ことに留意されたい。これらのフリップフロップは、他
のいずれのフリップフロップとの間に、何らの(認識さ
れる)有害な関係を有しておらず、そこで、それらにつ
いては、有害な影響なく、任意のいずれかのグループへ
と割り当て可能である。
ッジ)を何ら有していないフリップフロップが、いずれ
のグループにも割り当てられないという場合があり得る
ことに留意されたい。これらのフリップフロップは、他
のいずれのフリップフロップとの間に、何らの(認識さ
れる)有害な関係を有しておらず、そこで、それらにつ
いては、有害な影響なく、任意のいずれかのグループへ
と割り当て可能である。
【0061】すなわち、図5に関して、判断40では、
最初に前述の2つのモードのいずれが利用されているの
かを判断している。ユーザーがグループの最大数を特定
してないモードで、当該手順が動作している場合には、
ステップ41で、一つの初期グループを生成する。そう
でない場合には、ステップ42で、ユーザーが特定した
数であるK個のグループを生成する。そこで、ステップ
43では、グラフの辺(エッジ)が、その重み(ウエイ
ト)により順に配列され、主(一次)実行ループの第一
の反復が開始する。
最初に前述の2つのモードのいずれが利用されているの
かを判断している。ユーザーがグループの最大数を特定
してないモードで、当該手順が動作している場合には、
ステップ41で、一つの初期グループを生成する。そう
でない場合には、ステップ42で、ユーザーが特定した
数であるK個のグループを生成する。そこで、ステップ
43では、グラフの辺(エッジ)が、その重み(ウエイ
ト)により順に配列され、主(一次)実行ループの第一
の反復が開始する。
【0062】最大の重み(ウエイト)を有する辺(エッ
ジ)は、ステップ44で選択され、当該エッジは、まだ
グループに割り当てられていない、当該辺(エッジ)の
フリップフロップiを識別するようにチェックされる。
(判断45)そのようなフリップフロップが識別される
とすると、当該プロセスが動作しているモードに基づい
て、異なった処理が続いていく。(判断46)グループ
数が、ユーザーにより特定されていなかった場合には、
ステップ48で、フリップフロップiは、あるグループ
Gに配置される。
ジ)は、ステップ44で選択され、当該エッジは、まだ
グループに割り当てられていない、当該辺(エッジ)の
フリップフロップiを識別するようにチェックされる。
(判断45)そのようなフリップフロップが識別される
とすると、当該プロセスが動作しているモードに基づい
て、異なった処理が続いていく。(判断46)グループ
数が、ユーザーにより特定されていなかった場合には、
ステップ48で、フリップフロップiは、あるグループ
Gに配置される。
【0063】グループGについて、そのような何らかの
グループが見つけだされることが可能な場合は、当該グ
ループの有害な影響についての値DEGにおける何らの
増加も結果として生じない。そのようなグループが存在
しない場合には(判断49)、ステップ50において、
フリップフロップiについての新たなグループが生成さ
れる。グループ数がユーザーにより特定されている場合
には、ステップ47で、フリップフロップiは「もっと
も適切な」グループ−すなわち、フリップフロップiを
加えることの結果、有害な影響についての値DEGにお
ける最小限の増加が生じるグループに配置される。
グループが見つけだされることが可能な場合は、当該グ
ループの有害な影響についての値DEGにおける何らの
増加も結果として生じない。そのようなグループが存在
しない場合には(判断49)、ステップ50において、
フリップフロップiについての新たなグループが生成さ
れる。グループ数がユーザーにより特定されている場合
には、ステップ47で、フリップフロップiは「もっと
も適切な」グループ−すなわち、フリップフロップiを
加えることの結果、有害な影響についての値DEGにお
ける最小限の増加が生じるグループに配置される。
【0064】フリップフロップiがグループに割り当て
られた後には、流れは判断45へと戻り、所与の辺(エ
ッジ)についての、他の割り当てられていない任意のフ
リップフロップがもし存在すれば、それについての処理
を続ける。当該辺(エッジ)についてのフリップフロッ
プすべて(すなわち両方)が、割り当てられてしまって
いる場合には、ステップ51において、当該辺(エッ
ジ)は除去され、判断52において、処理すべきさらな
る辺(エッジ)が存在しているかを判断する。そのよう
な場合(処理すべき辺が存在している場合)には、制御
は主(一次)ループの始め(すなわち、ステップ44)
へと戻る。そうでない場合には、ステップ53で、任意
の残りの(割り当てられていない)フリップフロップを
任意のグループへと配置する。
られた後には、流れは判断45へと戻り、所与の辺(エ
ッジ)についての、他の割り当てられていない任意のフ
リップフロップがもし存在すれば、それについての処理
を続ける。当該辺(エッジ)についてのフリップフロッ
プすべて(すなわち両方)が、割り当てられてしまって
いる場合には、ステップ51において、当該辺(エッ
ジ)は除去され、判断52において、処理すべきさらな
る辺(エッジ)が存在しているかを判断する。そのよう
な場合(処理すべき辺が存在している場合)には、制御
は主(一次)ループの始め(すなわち、ステップ44)
へと戻る。そうでない場合には、ステップ53で、任意
の残りの(割り当てられていない)フリップフロップを
任意のグループへと配置する。
【0065】上に記述した例示的手順の結果、試験の
間、各グループは独立したクロックによりうまく制御さ
れうるように、所与の回路のフリップフロップは、幾つ
かのグループへと分割される。本発明の一つの例示的実
施例に従い、図6に示されたような第一の例示的実施に
基づいて、元のクロック信号をゲートで制御することで
これは実現されうる。
間、各グループは独立したクロックによりうまく制御さ
れうるように、所与の回路のフリップフロップは、幾つ
かのグループへと分割される。本発明の一つの例示的実
施例に従い、図6に示されたような第一の例示的実施に
基づいて、元のクロック信号をゲートで制御することで
これは実現されうる。
【0066】この第一の例示的実施は、以下のように動
作する。「通常の」(試験に対するものとして)動作モ
ードでは、信号N/Tバーは、論理値1に保持されてい
る。このような手法で、各フリップフロップ(図では示
されていない)は、共通のシステムクロック(すなわ
ち、CLOCKi=CLOCK)を受け取る。ところ
が、試験モードにおいては、信号N/Tバーは、論理値
0に設定され、それにより、各クロック信号であるCL
OCKiに対応するイネーブル信号、ENABLEiに基
づいて、これらのクロック信号の独立した動作を可能と
している。
作する。「通常の」(試験に対するものとして)動作モ
ードでは、信号N/Tバーは、論理値1に保持されてい
る。このような手法で、各フリップフロップ(図では示
されていない)は、共通のシステムクロック(すなわ
ち、CLOCKi=CLOCK)を受け取る。ところ
が、試験モードにおいては、信号N/Tバーは、論理値
0に設定され、それにより、各クロック信号であるCL
OCKiに対応するイネーブル信号、ENABLEiに基
づいて、これらのクロック信号の独立した動作を可能と
している。
【0067】このようなDFT技術は、有利なことに何
らの遅延をも取り込むものでないということに留意され
たい。しかしながら、幾つかの場合においては、このよ
うな実施は、クロックスキューの問題へと結び付きう
る。というのは、元のクロック分配は、ゲート57、5
8、59及びそこからのファンアウトの添加により修正
されているからである。
らの遅延をも取り込むものでないということに留意され
たい。しかしながら、幾つかの場合においては、このよ
うな実施は、クロックスキューの問題へと結び付きう
る。というのは、元のクロック分配は、ゲート57、5
8、59及びそこからのファンアウトの添加により修正
されているからである。
【0068】図7は、本発明の例示的実施例に従った、
第二の例示的実施を示しており、当該実施では、ゲート
で制御されたクロックよりもイネーブル信号を分配し、
さらに、制御されたフリップフロップに隣接しており、
クロックがゲート制御を行っているANDゲート64、
65、66を配置することで、潜在的なクロックスキュ
ーの問題を克服している。すなわち、この場合は、イネ
ーブルな(使用可能な)ゲート61、62、63は、対
応するフリップフロップのグループそれぞれに対してフ
ァンアウトを提供している。
第二の例示的実施を示しており、当該実施では、ゲート
で制御されたクロックよりもイネーブル信号を分配し、
さらに、制御されたフリップフロップに隣接しており、
クロックがゲート制御を行っているANDゲート64、
65、66を配置することで、潜在的なクロックスキュ
ーの問題を克服している。すなわち、この場合は、イネ
ーブルな(使用可能な)ゲート61、62、63は、対
応するフリップフロップのグループそれぞれに対してフ
ァンアウトを提供している。
【0069】それ故に、元のCLOCK信号の経路(選
択)は変えられる必要はなく、それによって、潜在的な
クロックスキューの問題はうまく回避されうるのであ
る。標準セルによるASIC(特定用途向けIC、Appl
ication Specific IntegratedCircuit)での実施では、
フリップフロップセルそのものの一部としてクロック制
御ゲートを備えることが有利な場合もありうるというこ
とに留意すべきである。
択)は変えられる必要はなく、それによって、潜在的な
クロックスキューの問題はうまく回避されうるのであ
る。標準セルによるASIC(特定用途向けIC、Appl
ication Specific IntegratedCircuit)での実施では、
フリップフロップセルそのものの一部としてクロック制
御ゲートを備えることが有利な場合もありうるというこ
とに留意すべきである。
【0070】上述の本発明の例示的実施例に従い判断さ
れた、ENABLE信号の数Kが、添加された外部接続
(すなわち、試験モードでの主入力(一次入力))にと
って利用可能なピンの数よりも大きい場合には、回路設
計者は付加的な問題に直面しうる。図8は、本発明の例
示的実施例に従った、クロックによりゲート制御を行う
ものに対するアプローチについての第三の例示的実施を
示しており、当該実施では、イネーブルな値が一時的に
保存されうるK個の付加的なフリップフロップ(図で
は、フリップフロップ71、72、73)を導入するこ
とで、この問題をうまく克服している。
れた、ENABLE信号の数Kが、添加された外部接続
(すなわち、試験モードでの主入力(一次入力))にと
って利用可能なピンの数よりも大きい場合には、回路設
計者は付加的な問題に直面しうる。図8は、本発明の例
示的実施例に従った、クロックによりゲート制御を行う
ものに対するアプローチについての第三の例示的実施を
示しており、当該実施では、イネーブルな値が一時的に
保存されうるK個の付加的なフリップフロップ(図で
は、フリップフロップ71、72、73)を導入するこ
とで、この問題をうまく克服している。
【0071】通常の(すなわち、非試験)動作モードの
間は、信号N/Tバーは、論理値1に保持されており、
信号LOAD_EV(ロード可能値)は論理値0に保持
されている。ORゲート75、76、77は使用禁止
(ディスエーブル)となってしまっていることから、結
果として、元の回路(当該図には示されていない)にお
ける各フリップフロップは、ANDゲート78、79、
80を通じて共通のシステムクロック(すなわち、CL
OCKi=CLOCK)を受け取ることとなる。
間は、信号N/Tバーは、論理値1に保持されており、
信号LOAD_EV(ロード可能値)は論理値0に保持
されている。ORゲート75、76、77は使用禁止
(ディスエーブル)となってしまっていることから、結
果として、元の回路(当該図には示されていない)にお
ける各フリップフロップは、ANDゲート78、79、
80を通じて共通のシステムクロック(すなわち、CL
OCKi=CLOCK)を受け取ることとなる。
【0072】しかしながら、試験の間は、信号N/Tバ
ーは、論理値0へ設定されており、すべてのCLOCK
iは、フリップフロップの対応するEViという信号が論
理値1であるときのみ、使用可能となる。イネーブルな
値は信号LOAD_EVを論理値1へ設定することでう
まくロードされうるのであり、このことはまた、AND
ゲート78、79、80を(ANDゲート74により)
使用禁止(ディスエーブル)とすることで、これらのC
LOCKiという信号が元の回路におけるすべてのフリ
ップフロップについて不活性となることを保証するもの
でもある。
ーは、論理値0へ設定されており、すべてのCLOCK
iは、フリップフロップの対応するEViという信号が論
理値1であるときのみ、使用可能となる。イネーブルな
値は信号LOAD_EVを論理値1へ設定することでう
まくロードされうるのであり、このことはまた、AND
ゲート78、79、80を(ANDゲート74により)
使用禁止(ディスエーブル)とすることで、これらのC
LOCKiという信号が元の回路におけるすべてのフリ
ップフロップについて不活性となることを保証するもの
でもある。
【0073】それ故に、当該回路の状態は、ロードを行
っているプロセスの間は、変化しないのである。試験発
生器は、各クロックが、個々のイネーブルな主入力(一
次入力)を有していることを前提とする系列を生成可能
であることに留意されたい。そこで、試験系列が生成さ
れた後は、活性化しているクロックの集合が変化する度
にイネーブルな値の適切な集合をロードするため、付加
的なベクトルが一つ挿入されるのである。
っているプロセスの間は、変化しないのである。試験発
生器は、各クロックが、個々のイネーブルな主入力(一
次入力)を有していることを前提とする系列を生成可能
であることに留意されたい。そこで、試験系列が生成さ
れた後は、活性化しているクロックの集合が変化する度
にイネーブルな値の適切な集合をロードするため、付加
的なベクトルが一つ挿入されるのである。
【0074】さらに、当該技術分野の当業者にとっては
自明であろうが、図7及び図8に示された例示的実施
は、付加的なピンの必要性を減少させることと、クロッ
クスキューの問題を回避することの両方のためにうまく
組み合わせられうる。2つの図面からみられるように、
N個のフリップフロップを持つ回路について、ここでの
例示的な第三の実施を適用し、クロックスキューの問題
を回避するコスト(すなわち、付加的な構成要素及びピ
ンという点での)は、2つの主入力(一次入力)、K個
のイネーブルな(使用可能な)フリップフロップ、K個
のORゲート、及びN+2個のANDゲートということ
になる。
自明であろうが、図7及び図8に示された例示的実施
は、付加的なピンの必要性を減少させることと、クロッ
クスキューの問題を回避することの両方のためにうまく
組み合わせられうる。2つの図面からみられるように、
N個のフリップフロップを持つ回路について、ここでの
例示的な第三の実施を適用し、クロックスキューの問題
を回避するコスト(すなわち、付加的な構成要素及びピ
ンという点での)は、2つの主入力(一次入力)、K個
のイネーブルな(使用可能な)フリップフロップ、K個
のORゲート、及びN+2個のANDゲートということ
になる。
【0075】本発明の特定の実施例の数については、こ
こで示され、かつ記述されてきたが、これらの実施例
は、本発明の原理の応用において案出可能な、数多くの
考えられる特定の配置を、単に例示しているに過ぎない
ものであるということは理解されるべきである。膨大か
つ変化に富んだ他の配置についても、これらの原理に従
い、本発明の技術思想及び保護の範囲から逸脱すること
なく、当該技術分野の当業者により案出可能である。
こで示され、かつ記述されてきたが、これらの実施例
は、本発明の原理の応用において案出可能な、数多くの
考えられる特定の配置を、単に例示しているに過ぎない
ものであるということは理解されるべきである。膨大か
つ変化に富んだ他の配置についても、これらの原理に従
い、本発明の技術思想及び保護の範囲から逸脱すること
なく、当該技術分野の当業者により案出可能である。
【0076】例えば、例示された結合確率の推定手順
と、上で詳細に記述された、例示的な分割手順の両方と
も、フリップフロップの対に対して適用されるものとし
て述べられていたが、本発明一般的原理及び、特定のこ
れらの手順は、任意のサイズのn組のフリップフロップ
に適用すべく拡張されうるということは当該技術分野の
当業者にとっては自明であろう。(例えば、分割手順を
拡張するため、フリップフロップの対を表している、グ
ラフにおけるエッジは、一般化されたn組のフリップフ
ロップにより容易に置き換えられ得る。それ以外の点で
は、当該手順は、上述され、図5で示されたものと本質
的に同様の手法で動作する。)
と、上で詳細に記述された、例示的な分割手順の両方と
も、フリップフロップの対に対して適用されるものとし
て述べられていたが、本発明一般的原理及び、特定のこ
れらの手順は、任意のサイズのn組のフリップフロップ
に適用すべく拡張されうるということは当該技術分野の
当業者にとっては自明であろう。(例えば、分割手順を
拡張するため、フリップフロップの対を表している、グ
ラフにおけるエッジは、一般化されたn組のフリップフ
ロップにより容易に置き換えられ得る。それ以外の点で
は、当該手順は、上述され、図5で示されたものと本質
的に同様の手法で動作する。)
【0077】加えて、本発明の方法は、他のDFTの方
法とうまく組み合わせうるということも、当該技術分野
の当業者にとって自明であろう。例えば、初期化可能で
ない回路上で利用される場合には、クロック分割のみで
は不適切であろう。従って、本発明の技術を、相補的な
長所を有する他の(従来の)DFT技術と組み合わせる
ことが有利であるといえよう。そのような従来のDFT
の方法とは、例えば、パーシャルスキャンあるいはフル
スキャン、パーシャルリセット(部分リセット)の利
用、パーシャル(部分)観測技術の利用といったものを
含むものであり、そのそれぞれは、当該技術分野におけ
る当業者にとってなじみのあるものである。(パーシャ
ルリセットにおいては、フリップフロップの一部は、直
接のセットあるいはリセット信号として利用される、付
加的な主入力(一次入力)を受け取る。
法とうまく組み合わせうるということも、当該技術分野
の当業者にとって自明であろう。例えば、初期化可能で
ない回路上で利用される場合には、クロック分割のみで
は不適切であろう。従って、本発明の技術を、相補的な
長所を有する他の(従来の)DFT技術と組み合わせる
ことが有利であるといえよう。そのような従来のDFT
の方法とは、例えば、パーシャルスキャンあるいはフル
スキャン、パーシャルリセット(部分リセット)の利
用、パーシャル(部分)観測技術の利用といったものを
含むものであり、そのそれぞれは、当該技術分野におけ
る当業者にとってなじみのあるものである。(パーシャ
ルリセットにおいては、フリップフロップの一部は、直
接のセットあるいはリセット信号として利用される、付
加的な主入力(一次入力)を受け取る。
【0078】パーシャル観測においては、フリップフロ
ップの一部は、典型的にはともにXOR(排他的論理
和)の処理がなされ、一つの付加的な出力へと接続され
る。パーシャルリセット及びパーシャル観測を行うフリ
ップフロップの選択は、従来の幾つかの方法についての
任意のものを元とされうる。その方法とは、例えば、P.
Parikh及びM.Abramoviciによる"On Combining DFT Tech
niques",Proc.Int'l.Test Conf.,pp.423-429,1995で提
示されているようなものがある。パーシャル観測が用い
られている際には、フリップフロップは、D入力あるい
はQ出力において観測可能であることにもまた留意すべ
きである。
ップの一部は、典型的にはともにXOR(排他的論理
和)の処理がなされ、一つの付加的な出力へと接続され
る。パーシャルリセット及びパーシャル観測を行うフリ
ップフロップの選択は、従来の幾つかの方法についての
任意のものを元とされうる。その方法とは、例えば、P.
Parikh及びM.Abramoviciによる"On Combining DFT Tech
niques",Proc.Int'l.Test Conf.,pp.423-429,1995で提
示されているようなものがある。パーシャル観測が用い
られている際には、フリップフロップは、D入力あるい
はQ出力において観測可能であることにもまた留意すべ
きである。
【0079】よく知られていることではあるが、単一ク
ロック回路では、D入力の観測は、最終的に一つ余計な
クロックベクトルが必要とされるということ以外は、Q
出力の観測と故障について同じ有効範囲を備えるもので
あろう。また、多重クロックの回路では、D入力の観測
は、Q出力の観測よりもはるかに有利である可能性があ
る。というのは、故障の影響が、現在クロックが送り込
まれていないフリップフロップのD入力に到達している
場合、当該D入力が観測されれば故障は検出されるが、
代わりにQ出力が観測されても、現時点でのベクトルに
よっては当該故障は検出されないからである。)
ロック回路では、D入力の観測は、最終的に一つ余計な
クロックベクトルが必要とされるということ以外は、Q
出力の観測と故障について同じ有効範囲を備えるもので
あろう。また、多重クロックの回路では、D入力の観測
は、Q出力の観測よりもはるかに有利である可能性があ
る。というのは、故障の影響が、現在クロックが送り込
まれていないフリップフロップのD入力に到達している
場合、当該D入力が観測されれば故障は検出されるが、
代わりにQ出力が観測されても、現時点でのベクトルに
よっては当該故障は検出されないからである。)
【0080】本発明の一つの例示的実施例では、例え
ば、本発明の技術は、他の幾つかのDFT技術と、以下
のようにうまく組み合わせられている。第一には、パー
シャルリセット技術が、元の回路へ適用されている。第
二には、パーシャル観測技術が、前記の結果としての回
路へ適用されている。そして第三には、本発明に従っ
た、上述の例示的方法は、前記パーシャルリセット技術
及び前記パーシャル観測技術の両方の適用の結果得られ
る回路へ適用される。
ば、本発明の技術は、他の幾つかのDFT技術と、以下
のようにうまく組み合わせられている。第一には、パー
シャルリセット技術が、元の回路へ適用されている。第
二には、パーシャル観測技術が、前記の結果としての回
路へ適用されている。そして第三には、本発明に従っ
た、上述の例示的方法は、前記パーシャルリセット技術
及び前記パーシャル観測技術の両方の適用の結果得られ
る回路へ適用される。
【0081】最後に、本発明の技術は、元の順序回路が
複数のクロックを有している際にも適用されうるという
ことは、当該技術分野の当業者にとってまた自明であろ
う。特に、本発明の例示的実施例に従い、共通のクロッ
ク線を共有するフリップフロップの各集合は、例えば、
上述の原理及び方法によりそれぞれ分割されうる。
複数のクロックを有している際にも適用されうるという
ことは、当該技術分野の当業者にとってまた自明であろ
う。特に、本発明の例示的実施例に従い、共通のクロッ
ク線を共有するフリップフロップの各集合は、例えば、
上述の原理及び方法によりそれぞれ分割されうる。
【0082】
【発明の効果】本発明は、デジタル順序論理回路の自動
試験生成(ATG)の領域において問題となる可試験性
の向上に関するものであり、可試験性については、回路
設計における一定の試験容易(化)設計(DFT)技術
を適用することで、従来からある程度解決されることが
可能であった。
試験生成(ATG)の領域において問題となる可試験性
の向上に関するものであり、可試験性については、回路
設計における一定の試験容易(化)設計(DFT)技術
を適用することで、従来からある程度解決されることが
可能であった。
【0083】しかし、これらについても幾つもの問題点
があり、最近では、クロックを制御することを基本とし
た、DFT技術が幾つか提示されている。もっともこれ
らのアプローチにも幾つかの欠点がみられるところであ
るが、本発明により、これら先行技術の限界を克服し
た、クロック変換を用いて順序回路設計の可試験性を向
上させる方法が提供され、これにより、到達困難だが必
要とされる回路状態は、到達容易な回路状態へと変換さ
れ、さらには、検出困難な故障を検出容易な故障へと変
換することが可能となった。
があり、最近では、クロックを制御することを基本とし
た、DFT技術が幾つか提示されている。もっともこれ
らのアプローチにも幾つかの欠点がみられるところであ
るが、本発明により、これら先行技術の限界を克服し
た、クロック変換を用いて順序回路設計の可試験性を向
上させる方法が提供され、これにより、到達困難だが必
要とされる回路状態は、到達容易な回路状態へと変換さ
れ、さらには、検出困難な故障を検出容易な故障へと変
換することが可能となった。
【図1】図1は、本発明の方法についての例示的実施例
を用いた可試験性の向上のため、うまく再設計された順
序論理回路用の例示的な試験プロセスを示している。
を用いた可試験性の向上のため、うまく再設計された順
序論理回路用の例示的な試験プロセスを示している。
【図2】図2は、本発明の方法がうまく適用されうる、
例としての回路を示している。
例としての回路を示している。
【図3】図3は、本発明の方法についての例示的実施例
を用いて、可試験性の向上のため、うまく再設計された
後の、図2の例としての回路を示している。
を用いて、可試験性の向上のため、うまく再設計された
後の、図2の例としての回路を示している。
【図4】図4は、本発明の方法についての例示的実施例
に従って状態確率が推定されうる、例としての回路を示
している。
に従って状態確率が推定されうる、例としての回路を示
している。
【図5】図5は、本発明の例示的な一実施例に従った、
例示的な分割手順の流れ図を示している。
例示的な分割手順の流れ図を示している。
【図6】図6は、本発明の例示的実施例に従った、クロ
ックによりゲート制御を行うものに対するアプローチに
ついての第一の例示的実装を示している。
ックによりゲート制御を行うものに対するアプローチに
ついての第一の例示的実装を示している。
【図7】図7は、本発明の例示的実施例に従った、クロ
ックによりゲート制御を行うものに対するアプローチに
ついての第二の例示的実装を示している。
ックによりゲート制御を行うものに対するアプローチに
ついての第二の例示的実装を示している。
【図8】図8は、本発明の例示的実施例に従った、クロ
ックによりゲート制御を行うものに対するアプローチに
ついての第三の例示的実施を示している。
ックによりゲート制御を行うものに対するアプローチに
ついての第三の例示的実施を示している。
11 試験発生器(試験ゼネレータ) 12 回路 13 ゲート 14 主入力(一次入力) 15 主出力(一次出力) 16 比較回路 17 回路素子 18 フリップフロップ 19 (試験制御入力) 21、22 フリップフロップ 23、24 (ゲート) 31、32 (フリップフロップ) 33、34、35、36 (ゲート) 40 グループの数Kは、ユーザーにより特定されてい
るか? 41 一つの空のグループを生成する。 42 Kの空のグループを生成する。 43 重み(ウエイト)により辺(エッジ)を順に配列
する。 44 最大の重みを有する辺(エッジ)を選択する。 45 辺(エッジ)の任意のフリップフロップFF
iで、グループにまだ割り当てられていないものがある
か? 46 Kはユーザーが特定したものであったか? 47 FFiをもっとも適切な(その有害な影響におい
て最小限の増加となる)グループへ配置する。 48 FFiを、その有害な影響において、結果として
何らの増加が生じないグループへ配置する。 49 そのようなグループが見つけだされるか? 50 新たなグループを生成し、FFiをそこに配置す
る。 51 グラフから辺(エッジ)を除去する。 52 何らかの残りの辺(エッジ)が存在するか? 53 割り当てられていないフリップフロップを、適宜
グループへ配置する。 54、55、56、57、58、59 (ゲート) 61、62、63 イネーブルな(使用可能な)ゲート 64、65、66 ANDゲート 67、68、69 (制御された)フリップフロップ 70 (ゲート) 71、72、73 フリップフロップ 74 ANDゲート 75、76、77 ORゲート 78、79、80 ANDゲート
るか? 41 一つの空のグループを生成する。 42 Kの空のグループを生成する。 43 重み(ウエイト)により辺(エッジ)を順に配列
する。 44 最大の重みを有する辺(エッジ)を選択する。 45 辺(エッジ)の任意のフリップフロップFF
iで、グループにまだ割り当てられていないものがある
か? 46 Kはユーザーが特定したものであったか? 47 FFiをもっとも適切な(その有害な影響におい
て最小限の増加となる)グループへ配置する。 48 FFiを、その有害な影響において、結果として
何らの増加が生じないグループへ配置する。 49 そのようなグループが見つけだされるか? 50 新たなグループを生成し、FFiをそこに配置す
る。 51 グラフから辺(エッジ)を除去する。 52 何らかの残りの辺(エッジ)が存在するか? 53 割り当てられていないフリップフロップを、適宜
グループへ配置する。 54、55、56、57、58、59 (ゲート) 61、62、63 イネーブルな(使用可能な)ゲート 64、65、66 ANDゲート 67、68、69 (制御された)フリップフロップ 70 (ゲート) 71、72、73 フリップフロップ 74 ANDゲート 75、76、77 ORゲート 78、79、80 ANDゲート
───────────────────────────────────────────────────── フロントページの続き (71)出願人 596077259 600 Mountain Avenue, Murray Hill, New Je rsey 07974−0636U.S.A. (72)発明者 クリシュナ バンガロア ラジャン アメリカ合衆国,60616 イリノイ,シカ ゴ,サウス ワバシ アヴェニュー 3101,アパートメント ナンバー909
Claims (10)
- 【請求項1】 クロックが送り込まれるフリップフロ
ップを複数有し、複数の回路状態を有する順序回路設計
において、 前記回路状態のそれぞれは、論理値の特定の集合が割り
当てられている、前記フリップフロップの集合により定
義されており、 到達困難な回路状態が、前記フリップフロップの複数及
び、それらに割り当てられた対応する値の前記集合によ
り定義され、 前記複数のフリップフロップの少なくとも2つは、共通
クロック線によりクロックが送り込まれており、 (A) 前記回路状態の実現困難性の評価に基づいて、
前記到達困難な回路状態を識別するステップと、 (B) 前記複数のフリップフロップの少なくとも2つ
による集合を複数のフリップフロップのグループへ分割
するステップと、 (C) 前記順序回路設計を修正し、複数のクロック線
を有する修正された設計を作成するステップと、 を有し、 複数の前記クロック線のそれぞれは、他の前記クロック
線と独立して活性化されることが可能であり、 異なるフリップフロップのグループへと分割された前記
フリップフロップには、異なるクロック線によりクロッ
クが送り込まれている、ことを特徴とする、前記順序回
路設計の可試験性を向上させる方法。 - 【請求項2】 前記順序回路設計の故障に対する試験
の生成に、前記識別された到達困難な回路状態の実現を
要することを特徴とする、請求項1の方法。 - 【請求項3】 (D) 前記順序回路設計の故障のう
ち、前記識別された到達困難な回路状態の実現を要する
ものの数を判断するステップをさらに有することを特徴
とする、請求項2の方法。 - 【請求項4】 前記識別された回路状態の実現困難性
の前記評価が、前記識別された回路状態を定義している
集合における前記複数のフリップフロップのそれぞれ
が、それらに割り当てられた対応する値を実現する結合
確率を有することを特徴とする請求項1の方法。 - 【請求項5】 (A) 前記到達困難な回路状態を識
別する前記ステップが、(A1) 前記識別された回路
状態を定義している集合における前記複数のフリップフ
ロップのそれぞれが、それらに割り当てられた対応する
値を実現する前記結合確率を推定するステップと、(A
2) 前記推定値を所定のしきい値と比較するステップ
と、を有することを特徴とする、請求項4の方法。 - 【請求項6】 前記(A1)結合確率を推定する前記
ステップが、ある等式系への解を演算するステップを有
し、 前記等式系の等式は、所与のフリップフロップについて
の結線確率と前記所与のフリップフロップを駆動する他
のフリップフロップの結線確率との間の関係を表してい
ることを特徴とする、請求項5の方法。 - 【請求項7】 前記複数のフリップフロップの少なく
とも2つによる前記集合における各フリップフロップ
が、異なるフリップフロップのグループへと分割される
ことを特徴とする、請求項1の方法。 - 【請求項8】 分割についての最大許容数を表すパラ
メータをユーザーから受け取るステップを、さらに有
し、 前記分割するステップとは、前記複数のフリップフロッ
プのグループを、その数において、前記分割についての
最大許容数に制限するものであることを特徴とする、請
求項1の方法。 - 【請求項9】 前記順序回路設計を修正する前記ステ
ップが、複数のイネーブルな(使用可能な)線を加える
ステップを有し、前記イネーブルな(使用可能な)線の
それぞれは、前記複数のクロック線の活性化を可能とす
るものであることを特徴とする、請求項1の方法。 - 【請求項10】 前記順序回路設計を修正する前記ス
テップが、前記イネーブルな(使用可能な)線に対応す
るフリップフロップを加えるステップを、さらに有し、 前記イネーブルな(使用可能な)線は、前記加えられた
フリップフロップのうち対応するフリップフロップに値
を保存することで活性化されることを特徴とする、請求
項9の方法。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US637026 | 1996-04-24 | ||
US08/637,026 US5625630A (en) | 1996-04-24 | 1996-04-24 | Increasing testability by clock transformation |
Publications (1)
Publication Number | Publication Date |
---|---|
JPH1049567A true JPH1049567A (ja) | 1998-02-20 |
Family
ID=24554239
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP9095433A Pending JPH1049567A (ja) | 1996-04-24 | 1997-04-14 | 回路設計の可試験性を向上させる方法 |
Country Status (4)
Country | Link |
---|---|
US (1) | US5625630A (ja) |
EP (1) | EP0803814A1 (ja) |
JP (1) | JPH1049567A (ja) |
CA (1) | CA2197815A1 (ja) |
Families Citing this family (25)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5748646A (en) * | 1996-02-02 | 1998-05-05 | Matsushita Electric Industrial Co., Ltd. | Design-for-testability method for path delay faults and test pattern generation method for path delay faults |
US5875196A (en) * | 1997-01-03 | 1999-02-23 | Nec Usa, Inc. | Deriving signal constraints to accelerate sequential test generation |
FR2773652B1 (fr) | 1998-01-14 | 2002-10-11 | Sgs Thomson Microelectronics | Circuit de generation d'un signal d'activation commande |
US6823486B2 (en) | 2000-06-05 | 2004-11-23 | Fujitsu Limited | Automatic test pattern generation for functional register transfer level circuits using assignment decision diagrams |
US7073143B1 (en) * | 2000-11-06 | 2006-07-04 | Cadence Design Systems, Inc. | Solving constraint satisfiability problem for circuit designs |
US6728917B2 (en) | 2001-02-09 | 2004-04-27 | Agere Systems Inc. | Sequential test pattern generation using combinational techniques |
US7017096B2 (en) * | 2002-03-26 | 2006-03-21 | Agere Systems Inc. | Sequential test pattern generation using clock-control design for testability structures |
US7127695B2 (en) * | 2002-07-18 | 2006-10-24 | Incentia Design Systems Corp. | Timing based scan chain implementation in an IC design |
US7124342B2 (en) * | 2004-05-21 | 2006-10-17 | Syntest Technologies, Inc. | Smart capture for ATPG (automatic test pattern generation) and fault simulation of scan-based integrated circuits |
US7844924B2 (en) * | 2003-11-19 | 2010-11-30 | Kitakyushu Foundation For The Advancement Of Industry, Science And Technology | Device for reducing the width of graph and a method to reduce the width of graph, and a device for logic synthesis and a method for logic synthesis |
US7231615B2 (en) * | 2003-12-08 | 2007-06-12 | Cadence Design Systems, Inc. | Methods and apparatus for transforming sequential logic designs into equivalent combinational logic |
US8117513B2 (en) * | 2005-03-30 | 2012-02-14 | Lptex Corporation | Test method and test program of semiconductor logic circuit device |
JP4752030B2 (ja) * | 2005-07-26 | 2011-08-17 | 国立大学法人九州工業大学 | 半導体論理回路装置のテストベクトル生成方法及びテストベクトル生成プログラム |
US10157060B2 (en) | 2011-12-29 | 2018-12-18 | Intel Corporation | Method, device and system for control signaling in a data path module of a data stream processing engine |
US10331583B2 (en) | 2013-09-26 | 2019-06-25 | Intel Corporation | Executing distributed memory operations using processing elements connected by distributed channels |
KR20170025447A (ko) * | 2015-08-28 | 2017-03-08 | 삼성전자주식회사 | 클락 파워를 줄일 수 있는 집적 회로를 설계하는 방법 |
US11086816B2 (en) | 2017-09-28 | 2021-08-10 | Intel Corporation | Processors, methods, and systems for debugging a configurable spatial accelerator |
US10502782B2 (en) | 2017-11-10 | 2019-12-10 | International Business Machines Corporation | Synthesis for random testability using unreachable states in integrated circuits |
US11307873B2 (en) | 2018-04-03 | 2022-04-19 | Intel Corporation | Apparatus, methods, and systems for unstructured data flow in a configurable spatial accelerator with predicate propagation and merging |
US10891240B2 (en) | 2018-06-30 | 2021-01-12 | Intel Corporation | Apparatus, methods, and systems for low latency communication in a configurable spatial accelerator |
US10853073B2 (en) | 2018-06-30 | 2020-12-01 | Intel Corporation | Apparatuses, methods, and systems for conditional operations in a configurable spatial accelerator |
US11200186B2 (en) | 2018-06-30 | 2021-12-14 | Intel Corporation | Apparatuses, methods, and systems for operations in a configurable spatial accelerator |
US10915471B2 (en) | 2019-03-30 | 2021-02-09 | Intel Corporation | Apparatuses, methods, and systems for memory interface circuit allocation in a configurable spatial accelerator |
US10817291B2 (en) | 2019-03-30 | 2020-10-27 | Intel Corporation | Apparatuses, methods, and systems for swizzle operations in a configurable spatial accelerator |
US11037050B2 (en) | 2019-06-29 | 2021-06-15 | Intel Corporation | Apparatuses, methods, and systems for memory interface circuit arbitration in a configurable spatial accelerator |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03201035A (ja) * | 1989-10-24 | 1991-09-02 | Matsushita Electric Ind Co Ltd | 検査系列生成方法 |
US5450415A (en) * | 1992-11-25 | 1995-09-12 | Matsushita Electric Industrial Co., Ltd. | Boundary scan cell circuit and boundary scan test circuit |
US5513123A (en) * | 1994-06-30 | 1996-04-30 | Nec Usa, Inc. | Non-scan design-for-testability of RT-level data paths |
-
1996
- 1996-04-24 US US08/637,026 patent/US5625630A/en not_active Expired - Lifetime
-
1997
- 1997-02-18 CA CA002197815A patent/CA2197815A1/en not_active Abandoned
- 1997-04-14 JP JP9095433A patent/JPH1049567A/ja active Pending
- 1997-04-15 EP EP97302563A patent/EP0803814A1/en not_active Withdrawn
Also Published As
Publication number | Publication date |
---|---|
EP0803814A1 (en) | 1997-10-29 |
US5625630A (en) | 1997-04-29 |
CA2197815A1 (en) | 1997-10-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JPH1049567A (ja) | 回路設計の可試験性を向上させる方法 | |
Agrawal et al. | Combinational ATPG theorems for identifying untestable faults in sequential circuits | |
US5748497A (en) | System and method for improving fault coverage of an electric circuit | |
Edirisooriya et al. | Diagnosis of scan path failures | |
EP0631235B1 (en) | Partial-scan built-in selftesting sequential circuit | |
JP3148130B2 (ja) | テストセット短縮および削減方法 | |
EP0730232B1 (en) | Apparatus for generating test pattern for sequential logic circuit of integrated circuit and method thereof | |
Kim et al. | Multiple faults: Modeling, simulation and test | |
Pouya et al. | Modifying user-defined logic for test access to embedded cores | |
US5748647A (en) | Low cost testing method for register transfer level circuits | |
Krstic et al. | Testable path delay fault cover for sequential circuits | |
US6189128B1 (en) | Design for testability method selectively employing two methods for forming scan paths in a circuit | |
Lin et al. | On finding undetectable and redundant faults in synchronous sequential circuits | |
Schotten et al. | Test point insertion for an area efficient BIST | |
Pomeranz et al. | Application of homing sequences to synchronous sequential circuit testing | |
Chakraborty et al. | Design for testability for path delay faults in sequential circuits | |
Raghunathan et al. | Acceleration techniques for dynamic vector compaction | |
US6728917B2 (en) | Sequential test pattern generation using combinational techniques | |
Youssef et al. | Methodology for efficiently inserting and condensing test points | |
Chakraborty et al. | Effective path selection for delay fault testing of sequential circuits | |
US6185721B1 (en) | Method of design for testability at RTL and integrated circuit designed by the same | |
US5502730A (en) | Partial scan testability utilizing reconvergence through sequential elements | |
US20020129322A1 (en) | Method of design for testability, method of design for integrated circuits and integrated circuits | |
US5872795A (en) | Method and apparatus for scan testing of multi-phase logic | |
Rajan et al. | Increasing testability by clock transformation (getting rid of those darn states) |