Abstract | ||
---|---|---|
The authors present a novel test pattern generation algorithm which uses the concept of necessary assignments to reduce or eliminate backtracking in automatic test pattern generation. Necessary assignments are those which must be made in order to find a test pattern; without them the search is guaranteed to fail. The algorithm is based on the mathematical concept of images and inverse images of set functions. In order to take advantage of formal concepts developed for Boolean algebras, the algorithm uses a 16-valued algebra. It has been used to generate test patterns for all faults in a variety of benchmark circuits. Experimental results indicate that the algorithm is particularly efficient at redundancy identification, which is often a problem for conventional test pattern generation algorithms. The benefits of a 16-valued system are illustrated through examples of faults which are not properly handled by conventional 5- or 9-valued systems |
Year | DOI | Venue |
---|---|---|
1990 | 10.1109/TEST.1990.113997 | Washington, DC |
Keywords | Field | DocType |
Boolean algebra,automatic testing,electronic engineering computing,fault location,logic testing,redundancy,16-valued algebra,Boolean algebras,algorithmic test pattern generation,automatic testing,backtracking,benchmark circuits,inverse images,redundancy identification,set functions | Set function,Inverse,Automatic test pattern generation,Adder,System testing,Computer science,Algorithm,Electronic engineering,Theoretical computer science,Redundancy (engineering),Boolean algebra,Backtracking | Conference |
Citations | PageRank | References |
50 | 9.97 | 6 |
Authors | ||
2 |