A Methodology for Efficient Hardware Verification

Mark Aagaard, Miriam Leeser. A Methodology for Efficient Hardware Verification. Formal Methods in System Design, 5(1/2):95-117, 1994.

Abstract

Abstract is missing.