本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。每章最后还配有各类习题，读者可用来巩固所学的知识。.
本书可作为高等院校电子科学与技术、计算机科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。
William K.Lam是Sun公司实验室的资深经理兼高级工程主管，曾获得2002年度
Sun公司最高技术成就奖——总裁创新奖。他拥有加州大学伯克利分校电气与计算机工程系博士学位，曾获得1994年优秀博士论文D.J.Sakrison奖。他发表过大量论文及两部专著，并拥有多项美国专利。
译者序
前言
致谢
第1章 设计验证的缘由
第2章 编写验证的代码
第3章 模拟器体系结构与操作
第4章 测试基准组成与设计
第5章 测试构想、断言与覆盖
第6章 调试进程与验证周期
第7章 形式验证初步
第8章 判定图、等价检验与符号模拟
第9章 模型检验与符号计算
您现在的位置：
