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

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:liyunfei369
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在目前的集成电路设计中,芯片的设计规模和复杂程度正大幅增加,对“系统级”验证理论和技术提出新的挑战。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。
其他文献
光纤光栅是近年来发展迅速的一种新型无源光纤设备。其具有体积小、灵敏度高和易于波分多路复用等特点,被广泛应用于光纤传感和光纤通信领域。倾斜光纤光栅是作为一种新型的