Hardware Design Verification: Simulation and Formal Method-Based Approaches
by
William K. Lam
Paperback
details (
USA
).
ISBN: 978-0-13-701092-9
ISBN-10: 0-13-701092-3
Prentice Hall
· 2005
See also:
2005
Hardcover
Hardware Design Verification: Simulation and Formal Method-Based Approaches