芯片验证漫游指南

在本书中，资深验证专家刘斌（路桑)将向您全面介绍验证的理论实践  ，并针对系统设计给出了动态验证的集成解决方案。这是一本面向高校集成电路设计相关专业的芯片验证教材，是IC行业产学结合的典范,已投入到示范性微电子学院教学并得到检验    。

第1章  芯片验证全视

1.1  功能验证简介

1.2  验证的处境

1.3  验证能力的5个维度

1.4  验证的任务和目标

1.5  验证的周期

1.6  本章结束语

第2章  验证的策略

2.1  设计的流程

2.2  验证的层次

2.3  验证的透明度

2.4  激励的原则

2.5  检查的方法

2.6  集成的环境

2.7  本章结束语

第3章  验证的方法

3.1  动态仿真

3.2  静态检查

3.3  开发环境

3.4  虚拟模型

3.5  硬件加速

3.6  效能验证

3.7  性能验证

3.8  趋势展望

3.9  本章结束语

第4章  验证的计划

4.1  计划概述

4.2  计划的内容

4.3  计划的实现

4.4  计划的进程评估

4.5  本章结束语

第5章  验证的管理

5.1  验证周期的检查清单

5.2  验证管理的三要素

5.3  验证的收敛

5.4  让漏洞无处可逃

5.5  团队建设

5.6  验证师的培养

5.7  验证的专业化

5.8  本章结束语

第6章  验证的结构

6.1  测试平台概述

6.2  硬件设计描述

6.3  激励发生器

6.4  监测器

6.5  比较器

6.6  验证结构

6.7  本章结束语

第7章  SV环境构建

7.1  数据类型

7.2  模块定义与例化

7.3  接口

7.4  程序和模块

7.5  测试的始终

7.6  本章结束语

第8章  SV组件实现

8.1  激励发生器的驱动

8.2  激励发生器的封装

8.3  激励发生器的随机化

8.4  监测器的采样

8.5  组件间的通信

8.6  比较器和参考模型

8.7  测试环境的报告规范

8.8  本章结束语

第9章  SV系统集成

9.1  包的意义

9.2  验证环境的组装

9.3  测试场景的生成

9.4  灵活化的配置

9.5  初论环境的复用性

9.6  本章结束语

第10章  UVM世界观

10.1  我们所处的验证时代

10.2  类库地图

10.3  工厂机制

10.4  核心基类

10.5  phase机制

10.6  config机制

10.7  消息管理

10.8  宏的优劣探讨

10.9  本章结束语

第11章  UVM结构

11.1  组件家族

11.2  把DUT装进TB分几步

11.3  构建环境的内经

11.4  本章结束语

第12章  UVM通信

12.1  TLM通信概论

12.2  单向、双向及多向通信

12.3  通信管道应用

12.4  TLM2通信

12.5  同步通信元件

12.6  本章结束语

第13章  UVM序列

13.1  新手上路

13.2  Sequence和Item

13.3  Sequencer和Driver

13.4  Sequencer和Sequence

13.5  Sequence的层次化

13.6  本章结束语

第14章  UVM寄存器

14.1  寄存器模型概览

14.2  寄存器模型的集成

14.3  寄存器模型的常规方法

14.4  寄存器模型的场景应用

14.5  本章结束语

第15章  验证平台自动化

15.1  为什么需要一款代码生成器

15.2  UVM  Framework

15.3  如何定制一款TB自动化工具

15.4  本章结束语

第16章  跨平台移植复用

16.1  便携激励标准（PSS）

16.2  PSS工具集概览

16.3  跨平台的验证结构考量

16.4  本章结束语

第17章  SV及UVM接口应用

17.1  DPI接口和C测试

17.2  SystemC与UVM的TLM2通信

17.3  MATLAB及Simulink模型与UVM的混合仿真

17.4  脚本语言与UVM的交互

17.5  本章结束语

第18章  SV及UVM高级话题

18.1  SystemVerilog开源公共库

18.2  SV单元测试方法SVUnit

18.3  OVM到UVM的移植

18.4  OVM与UVM的混合仿真

18.5  本章结束语

参考文献

评论

加载更多