出版社：机械工业出版社
年代：2006
定价：50.0
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
"译者序
前言
致谢
第1章设计验证的缘由
第2章编写验证的代码
第3章模拟器体系结构与操作
第4章测试基准组成与设计
第5章测试构想、断言与覆盖
第6章调试进程与验证周期
第7章形式验证初步
第8章判定图、等价检验与符号模拟
第9章模型检验与符号计算
"
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨论一般的测试原则又展示具体的实践方法，包含作者多年实践经验，实用性强。每章最后还配有各类习题，读者可用来巩固所学的知识。本书可作为高等院校电子科学与技术、计算机科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。
| 书籍详细信息 | |||
| 书名 | 硬件设计验证站内查询相似图书 | ||
| 丛书名 | 电子与电气工程丛书 | ||
| 9787111195023 如需购买下载《硬件设计验证》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN | |||
| 出版地 | 北京 | 出版单位 | 机械工业出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 50.0 | 语种 | 简体中文 |
| 尺寸 | 26 | 装帧 | 平装 |
| 页数 | 400 | 印数 | 4000 |