Skip to main content

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