Microcode verification using SDVS-the method and a case study. - Beth Levy (MICRO, 1984)

Using the State Delta Verification System (SDVS) for Hardware Verification. - Beth Levy; Ivan Filippenko; Leo Marcus; Telis Menas (TPCD, 1992)