基于e语言的验证方法和代码重用的研究

摘要

在目前的集成电路设计中，芯片的设计规模和复杂程度正大幅增加，对“系统级”验证理论和技术提出新的挑战。e语言是Verisity公司于1992年发布的一种高级验证语言。基于面向对象特性和可重用的特性，e语言在系统级验证中表现突出，近年来越来越多地引起人们的关注。 为了适应e语言系统级验证的需求，本文参照Verisity公司发布的e语言重用方法论(e Reuse Methodology，eRM），针对一款基于ARM11处理器的片上通信系统RTL级代码，设计实现了系统级验证平台的搭建暨代码重用。 论文首先对典型的验证方法和流程做了概述，并介绍了e语言的基本特性。然后，详细地阐述了e语言验证模块(e Verification Component,eVC)中各个功能单元的设计方法，并对eVC进行了分类。在对eVC充分理解的基础上，讨论了基于eVC的系统级验证模型；最后，给出了重用模块eVC，搭建基于ARM11处理器的片上通信系统系统级验证平台的具体方法及部分验证代码。对系统进行仿真，证明了集成方法的正确性，符合eRM的要求。 今后将研究适合不同类型片上系统的验证模型，同时将系统集成的先验知识运用到底层验证代码的设计之中，为系统集成效率的进一步提高，取得先机。也争取开发出更多商业化的eVC。

目录

文摘

英文文摘

声明

第一章绪论

1.1验证技术的重要性

1.2验证方法

1.2.1基于程序语言的验证

1.2.2基于受限随机的验证

1.2.3断言验证与形式验证

1.2.4基于验证平台的验证

1.2.5验证方法的分类与选择标准

1.3验证流程

1.3.1验证计划的制定

1.3.2验证语言的选择

1.3.3程序仿真与覆盖率追踪

1.3.4验证结果的提交

1.3.5验证流程自动化

1.4 e语言概述

1.4.1 e语言的面向对象特性

1.4.2 e语言的硬件验证相关特性

1.5本论文工作安排

第二章基于e语言的验证模块的实现

2.1 eVC的简介

2.2 eVC的设计

2.2.1 agent单元

2.2.2激励序列与总线功能模型

2.2.3监测与检验单元

2.2.4覆盖率追踪与信号映射单元

2.2.5环境单元与验证用例

2.3 eVC的分类

2.3.1模块eVC

2.3.2总线eVC

2.3.3平台eVC

2.4 小结

第三章基于eVC的系统级验证模型的实现

3.1系统级验证模型

3.1.1单点验证模型

3.1.2互连验证模型

3.1.3总线验证模型

3.1.4屏蔽CPU模型

3.2验证模型的代码实现

3.2.1设计代码的配置

3.2.2验证代码的配置

3.3 小结

第四章基于ARMll处理器的高性能片上通信系统系统级验证平台的实现

4.1基于ARM11片上通信系统的组成

4.2系统级验证环境的设计与代码重用

4.2.1 eVC的例化、连接与子类扩展

4.2.2功能单元的信号赋值与反向指针

4.2.3激励序列的重用

4.2.4验证用例的合并

4.3系统集成结果

4.4小结

第五章结束语

致谢

参考文献

研究成果

附录A AHB总线基本验证对象的定义