Proceedings., International Test Conference
DOI: 10.1109/test.1994.528047
|View full text |Cite
|
Sign up to set email alerts
|

Full symbolic ATPG for large circuits

Abstract: Until now, symbolic FSM state space exploration techniques were limited t o small circuits. T h i s paper presents a combination of approximate forward and exact backward traversal that handles larger circuits. F o r the first t i m e , we have been able t o generate test patterns f o r o r t o tag as undetectable the faults of s o m e ISCAS'89 and MCNC benchmarks never considered before.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 12 publications
(1 citation statement)
references
References 24 publications
0
1
0
Order By: Relevance
“…Most test generation procedures for synchronous sequential circuits assume the existence of hardware reset [2][3][4][5]. These procedures assume that the reset circuitry is fault free.…”
Section: Introductionmentioning
confidence: 99%
“…Most test generation procedures for synchronous sequential circuits assume the existence of hardware reset [2][3][4][5]. These procedures assume that the reset circuitry is fault free.…”
Section: Introductionmentioning
confidence: 99%