硬件设计验证

出版时间：2007-1  出版社：机械工业  作者：兰姆  页数：359  译者：王维维  
Tag标签：无  

内容概要

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

作者简介

William K .Lam是Sun公司实验室的资深经理兼高级工程主管，曾获得2002年度公司最高技术成就奖——总裁创新奖。他拥有加州大学伯克利分校电气计算机工程系博士学位，曾获得1994年优秀博士论文K.J.Sakrison奖。他发表过大量论文及两部专著，并拥有多项美国专利。

书籍目录

译者序前言 致谢 第1章 设计验证的缘由 　1.1 什么是设计验证 　1.2 验证的基本原理 　1.3 验证方法学 　1.4 基于模拟的验证与形式验证的比较 　1.5 形式验证的局限性 　1.6 Verilog语言调度和执行语义简介 　1.7 本章小结 第2章 编写验证的代码 　2.1 功能正确性 　2.2 时序正确性 　2.3 模拟的性能 　2.4 可移植性与可维护性 　2.5 可综合性、可调试性与通用工具兼容性 　2.6 基于周期的模拟 　2.7 硬件模拟／仿真  　2.8 2状态与4状态模拟　2.9 lineter程序的设计与使用　2.10 本章小结　2.11 习题第3章 模拟器体系结构与操作　3.1 编译器　3.2 模拟器　3.3 模拟器的分类与比较　3.4 模拟器的操作与应用　3.5 增量式编译　3.6 模拟器控制台　3.7 本章小结　3.8 习题第4章 测试基准组成与设计　4.1 测试基准的分类与测试环境　4.2 初始化机制　4.3 时钟生成与同步　4.4 激励生成　4.5 响应评估　4.6 验证实用程序　4.7 测试基准至系统设计接口　4.8 常见的实际技术与方法　4.9 本章小结　4.10 习题第5章 测试构想、断言与覆盖第6章 调试进程与验证周期第7章 形式验证初频第8章 判定图、等价检验与符号第9章 模型检验与符号计算参考文献缩写词汇表

用户评论 (总计2条)

•   这是我最近买的一本书，其中介绍了大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。建议做集成电路设计验证的工程师一定要系统地完整地看完这本书，对以后的验证工作将会有极大的帮助。此外，该书还介绍了目前验证方面最新的思想和工具，这也正是国内硬件设计验证工程师最需要掌握的知识。总之，还是强烈建议验证相关的人士或者将来想参与验证工作的人士，都应该好好读一读这本书。
•   正在阅读中，可能是自己的知识不足，感觉语言有些晦涩难懂，努力中。。。