Efficient Generation of Test Patterns Using ‘‘Available Instruction-Level Parallelism for Super- Boolean Satisfiablilty.’’ scalar and Superpipelined (1989)

by Norman P Jouppi, David W Wall