Abstraction Mechanisms for Hardware Verification
Thomas F. Melham
Book Title
VLSI Specification‚ Verification and Synthesis
Editor
Graham Birtwistle and P. A. Subrahmanyam
ISBN
0−89838−246−7
Pages
267–291
Publisher
Kluwer Academic Publishers
Series
The Kluwer International Series in Engineeering and Computer Science
Volume
SECS35
Year
1988