SDVS: A system for verifying microcode correctness.

Leo Marcus, Stephen D. Crocker, Jaisook Landauer

Browse the full MICRO paper archive.