本书从芯片验证的目的出发，完善了功能覆盖率的定义，阐述了新的随机测试方法，即“功能覆盖率直接驱动的随机测试方法”，以及一种新的验证语言EagleLang，即Eagle语言。该编程语言具有类似脚本语言的简洁语法，专用于芯片验证，也可以用于文本处理、数学计算、多线程编程等应用领域。该语言的编译执行具有接近C++语言的效率，eagle是该语言的编译器工具。 芯片仿真验证效率是影响芯片项目周期的主要因素，本书提出了新一代的验证方法学PVM（Parallel Verification Methodology），采用多核并行技术搭建的PVM验证平台，具有执行效率高的特点，可以有效实现芯片仿真验证加速。另外，在PVM验证平台中采用工厂模式和动态编程技术，可以实现验证组件、测试用例的动态生成，减少验证平台、测试用例的编译时间。 本书主要适合芯片验证工程师、芯片驱动软件开发工程师、芯片系统建模工程师、芯片设计工程师阅读。本书也可以作为从事芯片EDA工具开发的软件工程师、编译器开发软件工程师的参考书籍。本书还可以作为高校师生了解芯片设计与验证技术的参考书籍。

前言
第一篇 验证方法学基础芯片验证目的
1.1 芯片验证与芯片质量
1.2 芯片验证质量度量方法
1.2.1 代码覆盖率
1.2.2 断言覆盖率
1.2.3 功能覆盖率
1.2.4 覆盖率度量方法比较
1.3 功能覆盖率
1.3.1 验证目标定义
1.3.2 芯片系统模型
1.3.3 激励数据模型
1.3.4 功能覆盖率定义
1.3.5 交叉组合功能覆盖率
1.3.6 顺序组合功能覆盖率
1.3.7 功能覆盖率直接驱动的随机验证
2.1 仿真验证方法
2.1.1 芯片验证方法演进
2.1.2 验证效率成本问题
2.1.3 测试和验证的概念辨析
2.2 验证效率提升
2.2.1 当前存在的效率问题
2.2.2 编程效率和编译效率提升
2.2.3 仿真执行效率提升
2.3 芯片验证流程管理
2.3.1 芯片项目阶段划分
2.3.2 验证分层
2.3.3 全面度量管理
2.3.4 验证技术手段
2.3.5 仿真验证技术发展思考
……
第二篇 Eagle编程语言
第三篇 PVM和DVM验证平台
第四篇 PVM验证平台配套工具