Automatic Test Program Generation for Pipeline Processors.

Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero

Browse the full SAC paper archive.