基于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。
其他文献
光纤光栅是近年来发展迅速的一种新型无源光纤设备。其具有体积小、灵敏度高和易于波分多路复用等特点,被广泛应用于光纤传感和光纤通信领域。倾斜光纤光栅是作为一种新型的
人工皱纹技术是一项非常规表面图案化制备技术。人工皱纹技术通过模仿皮肤皱纹的产生条件来制备表面微纳米结构。制备人工皱纹技的基本条件是将具有不同力学性质的材料制备成
小麦条锈病(Stripe rust or Yellow rust)是由条锈病菌(Puccinia striiformis f.sp.tritici,Pst)引起的一种流行性真菌病害。特别是在气候温和湿润的环境下易于发病和传播。发病后
可配置端口电路是FPGA芯片与外围电路连接关键的枢纽,它有诸多功能:芯片与芯片在数据上的传递(包括对输入信号的采集和输出信号输出),电压之间的转换,对外围芯片的驱动,完成对芯片
鰟鮍鱼类有着资源型的交配体系,雌鱼将卵产在淡水河蚌的鳃腔内;雄鱼有着精细的求偶行为并具领域性,对领域内的河蚌进行保护以防止其他领域鱼或非领域鱼的入侵。本论文以高体鰟
医学教育的目的不仅是让医生学习知识,同时还要在实际临床工作中应用知识.所以对于教师来说,除了传递知识外,应尽可能地让学员掌握知识,应用知识.如果医学教育活动不能帮助医
本实验采用传统微生物学和PCR-DGGE、DNA测序等方法,在室内驯化条件下研究了8种来源于中国不同地区土壤样品的细菌种群对高浓度氯嘧磺隆胁迫的响应及其细菌组成和结构的演变规
意义建构是数学课堂教学活动的核心环节,它是由学生根据自己的经验背景,以原有的知识经验作为新知识的生长点,对外部信息进行主动的选择、加工、处理和转换,体验在数学发现和
本论文的内容由两部分研究工作组成。   第一部分工作为人源NESCA蛋白RUN结构域的晶体结构和功能研究。   NGF是一种对于神经元细胞的增殖、分化和凋亡发挥关键的调节
随着电话网络、多媒体和因特网的快速发展,单一语音媒体通信方式已经不能满足信息时代的人们对通信的需求,人们迫切要求改善通信方式。信息技术发展的一个主要特征就是多媒体