Content deleted Content added
Line 60:
*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.
== Relevant Conferences ==
| |||