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