Using the State Delta Verification System (SDVS) for Hardware Verification.

Beth Levy Ivan Filippenko Leo Marcus Telis Menas Using the State Delta Verification System (SDVS) for Hardware Verification. 337-360 1992 conf/tpcd/1992 TPCD db/conf/tpcd/tpcd1992.html#LevyFMM92