Description: 本书全面介绍硬件系统设计验证的技术和方法,主要涉及基于模拟和形式验证的方法,内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。-The Practical, Start-to-Finish Guide to Modern Digital Design Verification
As 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 success, yet many practicing engineers have had little formal training in verification, and little exposure to the newest solutions. Hardware Design Verification systematically presents today s most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.
Author William K. Lam, one of the world s leading experts in design verification, is a recent winner of the Chairman s Award for Innovation, Su Platform: |
Size: 15649792 |
Author:dotweiba |
Hits:
Description: 数字设计原理与实践第四版的答案,仅为部分答案,不是很全(key to exercises of digital design principles and practices. (uncomplete)) Platform: |
Size: 642048 |
Author:01011110
|
Hits: