Abstraction mechanisms for hardware veri cation (1988)

by T Melham
Venue:In VLSI Speci cation, Veri cation and Synthesis