硬体设计验证：基于模拟与形式的方法

(711229)

硬体设计验证：基于模拟与形式的方法
Ying Qian Shi Ji ren Zhen: Ji Yu Mo Ni Yu Xin Shi De Fang Fa
作者: 兰姆
译者: 王维维

平均评分:

用户评语(0) 暂时没有此货品的用户评语

登入后可上载此产品的图片.

产品内容

内容：
本书全面介绍硬体系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。每章最后还配有各类习题，读者可用来巩固所学的知识。.
　　本书可作为高等院校电子科学与技术、电脑科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。