SDVS: A System for Verifying Microcode Correctness (1984)

by L Marcus, S D Crocker, J R Landauer
Venue:In The Seventh Annual Microprogramming Workshop