Hardware Design Verification

发布时间：2010-8-9 17:56 发布者：techieboy

关键词：验证 , 硬件

Hardware Design Verification Simulation and Formal Method-Based Approaches

Hardware Design Verification systematically presents today's most valuable simulation-based andformal verification techniques, helping test and design engineerschoose the best approach for each project, quickly gain confidence intheir designs, and move into fabrication far more rapidly. Collegestudents will find that coverage of verification principles and commonindustry practices will help them prepare for jobs as futureverification engineers.

Author William K. Lam, one of the world'sleading experts in design verification, is a recent winner of theChairman's Award for Innovation, Sun Microsystems' most prestigioustechnical achievement award. Drawing on his wide-ranging experience, heintroduces the foundational principles of verification, presentstraditional techniques that have survived the test of time, andintroduces emerging techniques for today's most challenging designs.Throughout, Lam emphasizes practical examples rather than mathematicalproofs; wherever advanced math is essential, he explains it clearly andaccessibly.