Hardware Design Verification: Simulation and Formal Method-Based Approaches

Approaches

by William K. Lam

Hardcover

ISBN: 978-0-13-143347-2

ISBN-10: 0-13-143347-4

Prentice Hall · 2005

See also:
2005PaperbackHardware Design Verification: Simulation and Formal Method-Based Approaches