嵌入式SDRAM控制器验证研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:myrost
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
网络处理器的外接SDRAM用于存储较大的数据结构或在运行时存储主控制器的指令代码。而SDRAM控制器主要用于控制网络处理器内部设备对外接SDRAM进行访问,时序控制复杂,微小的错误即可导致网络处理器无法正常工作,因此需要进行充分的功能验证。本文根据SDRAM控制器设计规范,提取了系统命令仲裁、初始化、读、写和刷新等操作的功能特性。然后,根据这些功能特性,利用OVL断言库,设计了30个断言模块,用于实时监控设计的时序行为,并在断言违例时发出报告。接着,搭建了由虚拟系统、SDRAM控制器和虚拟SDRAM设备组成的验证平台。虚拟系统用于模拟系统的行为向SDRAM控制器发出合理的地址、数据和命令信号。虚拟SDRAM设备用于根据SDRAM控制器发出的信号反馈相应的操作信息,以便于监测验证过程中的操作行为。随后,在验证平台中加入断言模块,执行验证并获取了覆盖率报告、断言违例报告、仿真波形和虚拟SDRAM设备的反馈信息。随着对设计的修改和对断言的优化,断言违例数目降为0,从而保证了SDRAM控制器中控制和命令模块功能的正确性,同时虚拟SDRAM设备的反馈信息和仿真波形保证了数据通路模块功能的正确性。代码覆盖率较高,符合本文验证工作的要求。
其他文献
以青花菜为材料,在附加不同激素的MS基本培养基上直接诱导不定芽分化及植株再生,建立了青花菜组织培养高频再生系统.再用根癌农杆菌LBA4404(pBI212.2)介导转化,将几丁质酶(Ch
本文通过对荣华二采区10
期刊
透明氧化物(TCO)薄膜因具有优异的光电性能而被应用在各种光电器件中,如平面液晶显示器、太阳能电池等。随着TCO薄膜制备方法的不断改进、成熟以及聚合物基TCO薄膜的开发,TCO薄膜将具有更广阔的应用发展空间。本文首先介绍了透明导电氧化物薄膜的发展历程以及应用领域,针对其面临的主要问题,引出新一代透明导电氧化物薄膜材料:掺铝ZnO(ZAO),论述了ZAO薄膜的电学、光学性能,并对制备方法作了比较详尽
多媒体技术发展日新月异,立体视频多媒体技术是其中的热点。立体视频根据观察视点的多少可以分为双目立体视频和多视点立体视频。其中双目立体视频又分为平行式和汇聚式摄像