Hardware Design Verification: Simulation and Formal Method-Based Approaches

Approaches

by William K. Lam

Paperback

ISBN: 978-0-13-701092-9

ISBN-10: 0-13-701092-3

Prentice Hall · 2005

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