PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits.

Alfredo Cruz

Browse the full ISMIS paper archive.