要想写一本验证方面的好书，首先要求作者具有丰富的工程实践经验。本书的三位作者都是IBM资深验证工程师，先后领导过IBM的验证团队，拥有十几年甚至二十多年的大型验证项目的工程经验，这在业界也是不可多得的。同时，本书的内容全面，组织结构非常合理。从验证的基础知识到全面的功能验证技术，从模拟验证到形式验证，本书覆盖了方方面面的验证知识，并且按照验证的流程周期把这些验证知识组织起来，配合实践和练习，深入浅出地给读者描述了模拟真实世界的验证过程。通过本书的阅读，读者可以熟悉集成电路验证领域的基础知识，掌握验证的基本流程和工作方法，为集成电路等相关领域的工作打下基础。本书对于集成电路验证领域的工程师，以及计算机、电子、微电子类相关专业的本科生和研究生都是一本很好的参考书。

本书分为5个部分。第1部分的内容是功能验证概述，包括概念背景、验证计划、验证策略和一些基本练习。第1部分还介绍了验证周期的概念和层次化验证的概念，以及在实践中怎样将巨型设计分解为可验证的单元。第2部分和第3部分关注两个最主要的功能验证方法：基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段，包括回归测试和“逃逸”错误分析，以及一些高级的验证技术。第5部分，是一些验证实例研究的集合，进一步强调了验证周期和验证过程中的相关概念。

本书既可作为科研院所、高等工科院校计算机、电子、微电子等专业的教材或教学参考书，也可作为集成电路验证领域的工程师的技术指南或工具书。

译者序

对本书的评论

原书序

前言

第1部分 验 证 简 介

 第1章 芯片设计的验证

 第2章 验证流程

 第3章 基于模拟的验证基础

 第4章 验证计划

第2部分 基于模拟的验证

 第5章 硬件描述语言和模拟引擎

 第6章 创建环境

 第7章 基于模拟的测试激励生成策略

 第8章 基于模拟的验证中的结果检查策略

 第9章 广义的功能验证

 第10章 重用策略与系统模拟

第3部分 形 式 验 证

 第11章 形式验证简介

 第12章 形式验证的使用

第4部分 全面的验证

 第13章 完成验证周期

 第14章 高级验证技术

第5部分 验证实例研究

 第15章 验证实例

附录 验证术语表

参考文献