硬件设计验证
硬件设计验证封面图

硬件设计验证

(美) 兰姆 (Lam,W.K.) , 著

出版社:机械工业出版社

年代:2006

定价:50.0

书籍简介:

本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。

书籍目录:

"译者序

前言

致谢

第1章设计验证的缘由

第2章编写验证的代码

第3章模拟器体系结构与操作

第4章测试基准组成与设计

第5章测试构想、断言与覆盖

第6章调试进程与验证周期

第7章形式验证初步

第8章判定图、等价检验与符号模拟

第9章模型检验与符号计算

"

内容摘要:

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

书籍规格:

书籍详细信息
书名硬件设计验证站内查询相似图书
丛书名电子与电气工程丛书
9787111195023
如需购买下载《硬件设计验证》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位机械工业出版社
版次1版印次1
定价(元)50.0语种简体中文
尺寸26装帧平装
页数 400 印数 4000

书籍信息归属:

硬件设计验证是机械工业出版社于2006.09出版的中图分类号为 TP303 的主题关于 硬件-设计-验证 的书籍。