-
Hardware Design Verification: Simulation and Formal Method-Based Approaches
Author William K. Lam
The Practical, Start-to-Finish Guide to Modern Digital Design VerificationAs digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project succ....
Release Date 2005/03