Efficient Generation of Test Patterns Using Boolean Satisfiablilty." "Available Instruction-Level Parallelism for SuperTracy Larrabee. scalar and (1990)

by Norman P Jouppi, David W Wall
Venue:Superpipelined Machines." WRL Research Report 90/2