Abstraction Mechanisms for Hardware Verification (1987)

by T Melham
Venue:in VLSI Specification, Verification and Synthesis, Kluwer Academic Publisheres