Automatic test pattern generation: Difference between revisions

Revision as of 20:41, 3 November 2019

Revision as of 23:43, 3 November 2019

Line 62:

*Methods based on [[Boolean satisfiability]] are sometimes used to generate test vectors.

*'''Pseudorandom test generation''' is the simplest method of creating tests. It uses a [[pseudorandom]] number generator to generate test vectors, and relies on [[logic simulation]] to compute good machine results, and fault simulation to calculate the fault coverage of the generated vectors.

* '''Wavelet Automatic Spectral Pattern Generator''' (WASP) is an improvement over spectral algorithms for sequential ATPG. It uses wavelet heuristics to search space to reduce computation time and accelerate the compactor. It was put forward by [[Suresh kumar Devanathan]] from Rake Software and Michael Bushnell, Rutgers University. [[Suresh kumar Devanathan]] invented WASP as a part of his thesis at Rutgers.{{citation needed|date=November 2019}}

== Relevant conferences ==