TetraMax Diagnosis and Laker Software on Failure Analysis For ATPG/Scan Failures

Boon, Ang Ghim; Chan, Kmk; Keng, Chua; Khiam, Oh Chong

doi:10.1109/ipfa.2006.251034

Cited by 5 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They aim at generating high-quality test vector sets to detect as many potential faults as possible in a circuit. Presently, several ATPG tools are available [1][2][3][4][5] . TetraMAX ATPG, which is an automatic test vector generation tool, employs powerful heuristics and is capable of generating high fault coverage test sets for a circuit under test [5] .…”

Section: Introductionmentioning

confidence: 99%

Efficient static compaction of test patterns using partial maximum satisfiability

Zhou

Ouyang

Zhang

2021

Tinshhua Sci. Technol.

View full text Add to dashboard Cite

Static compaction methods aim at finding unnecessary test patterns to reduce the size of the test set as a post-process of test generation. Techniques based on partial maximum satisfiability are often used to track many hard problems in various domains, including artificial intelligence, computational biology, data mining, and machine learning. We observe that part of the test patterns generated by the commercial Automatic Test Pattern Generation (ATPG) tool is redundant, and the relationship between test patterns and faults, as a significant information, can effectively induce the test patterns reduction process. Considering a test pattern can detect one or more faults, we map the problem of static test compaction to a partial maximum satisfiability problem. Experiments on ISCAS89, ISCAS85, and ITC99 benchmarks show that this approach can reduce the initial test set size generated by TetraMAX18 while maintaining fault coverage.

show abstract