基于System Verilog的IP验证方法

摘要

目前SoC前端验证主要包括以下几个方面：对需求规格的分析，制定验证策略，IP的功能验证，整体的集成仿真，系统级仿真，后仿真、FPGA仿真。在前端流程结束后进入后端的开发，直至流片。本文介绍的是针对Verilog搭建的RTL设计做为被测试目标，基于SystemVerilog语言与SYNOPSYS公司的VCS仿真工具完成模块级的验证新方法。该方法应用于IP的功能验证阶段，融合了随机测试，功能覆盖率收集，断言验证等验证手段来保证该阶段验证的全面性、正确性。相对于传统方法，该验证方法可以有效减少测试用例的数量，提高验证环境的重用性。同时该方法也是一种基于功能覆盖率的验证，量化功能覆盖率的引入，也使得在验证中减少了验证人员主观评估验证进度的状况。 为了更为具体介绍如何在IP功能验证中实现新的验证方法，本文将以来源于www．opencores．org网站下载的的SPI Master core的源设计代码为DUT，各种仿真的试验结果将会被直观的给出，并且对仿真中的Debug过程进行详细的说明。对最后的仿真结果进行评估，以确认这种基于SystemVerilog语言的新的验证方法优越性和可行性。

目录

文摘

英文文摘

声明

第1章 绪论

1.1 SoC中IP验证的相关概念

1.1.1 IP的基本概念

1.1.2 IP验证的基本概念

1.2 IP功能验证方法的概述

1.2.1 目前IP功能验证方法研究的现状

1.2.2 目前国内IP功能验证方法研究的现状

1.3 验证技术的发展趋势

1.3.1 动态功能验证

1.3.2 混合功能验证

1.3.3 静态功能验证

1.3.4 等效性验证

1.4 本课题的背景和研究内容

1.4.1 选题的背景

1.4.2 课题的研究内容

第2章 新验证方法的实现

2.1 SystemVerilog语言简介

2.2 SPI master core简介

2.2.1 使用背景

2.2.2 规格描述

2.2.3 寄存器描述

2.2.4 串口行为描述

2.3 验证策略

2.3.1 仿真工具

2.3.2 仿真环境说明

2.3.3 仿真文件说明

2.3.4 验证计划

2.4 VCS仿真脚本的编写简介

第3章 随机测试

3.1 随机测试的概念

3.1.1 基本概念

3.1.2 基于SystemVeillog的随机方法

3.1.3 随机测试在SPI master core 中的实现

3 2 仿真试验

第4章 功能覆盖率的收集

4.1 覆盖率的概念

4.1.1 基本概念

4.1.2 基于SystemVerilog功能覆盖率收集方法

4.2 功能覆盖率收集在SPI master core IP中的实现

4.3 仿真试验

第5章 断言验证

5.1 断言验证的基本概念

5.1.1 基本概念

5.1.2 基于SystemVerilog的断言

5.2 断言验证在SPI master core 中的实现

5.2.1 验证环境的准备

5.2.2 实现

5.3 仿真试验

第6章 统一测试报告及仿真效果评估

6.1 测试报告及分析

6.1.1 仿真条件

6.1.2 仿真结果

6.2 效果评估

结束语

致谢

参考文献

研究成果

附录