国外电子与通信教材系列:硬件设计验证·基于模拟与形式的方法
目 录内容简介
《国外电子与通信教材系列:硬件设计验证·基于模拟与形式的方法》全面介绍硬件系统设计验证的技术和方法,主要涉及基于模拟和形式验证的方法,内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术,内容深入浅出,叙述详尽,既讨论一般的测试原则又展示具体的实践方法,包含作者多年实践经验,实用性强。每章最后还配有各类习题,读者可用来巩固所学的知识。
比价列表