Abstraction Mechanisms for Hardware Verification
Thomas F. Melham
Book Title
Formal Verification of Hardware Design
Editor
Michael Yoeli
ISBN
0−8186−9017−8
Pages
30–49
Publisher
IEEE Computer Society Press
Year
1990
Thomas F. Melham