论文部分内容阅读
在目前的集成电路设计中,芯片的设计规模和复杂程度正大幅增加,对“系统级”验证理论和技术提出新的挑战。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。