Content deleted Content added
No edit summary |
GoingBatty (talk | contribs) m WPCleaner v1.30 - Repaired 1 link to disambiguation page - (You can help) - WASP |
||
Line 36:
*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''' (
== Relevant Conferences ==
|