基于VMT的DDR-SDRAM控制器功能验证

来源 :计算机工程 | 被引量 : 0次 | 上传用户:cdzq911
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了一种基于验证模型技术(VMT)的DDR—SDRAM控制器的功能验证方案。该方案完成了DDR—SDRAM控制器对DDR—SDRAM模型的读写以及AHB2.0协议的兼容性验证。VMT的使用加快了验证平台的搭建和验证用例的编写。通过分析自动校对结果、仿真波形和覆盖率报告,实现控制器功能验证的快速收敛。FPGA原型验证进一步证明了该方案的可行性。
其他文献
卵泡发育是一连续的过程,一般可分为原始卵泡、初级卵泡、次级卵泡和成熟卵泡四个阶段,初级卵泡和次级卵泡统称为生长卵泡。在卵泡发育的最早阶段,卵母细胞增大,卵母细胞周围
局部冷却已经被证实具有改善人体热舒适水平的潜能。以往对于局部冷却的研究主要让受试者处于坐姿状态。但是当人体处于睡眠状态时,人体的血液流动以及与环境之间的接触部位
我国自古是一个农业大国,但我国耕地面积只占世界耕地面积的百分之七,却要养活世界上人口最多的国家,而且此前的农业基本靠天吃饭,因此,如何在土地有限的情况下,增加单位面积粮食产量,提高粮食质量与安全,一直具有十分重要的意义。而复合立体养殖农业,是利用生态环境之间的相互促进,自然系统中相生相克的原理设计的农业模式,在此种模式下,既能增加单位面积的食品产量,也让生产出来的食品更加绿色安全。本次面向果林-土
目的探索综合性社区康复干预对治疗慢性精神疾病的作用及效果。方法对顺德地区140例慢性精神疾病患者随机分为研究组和对照组各70例,研究组应用综合性社区康复措施进行12个月
针对网格计算经济,研究了将契约应用于网格资源管理和调度的方法。提出了一个结构化的契约模式,完成了契约匹配算法,分析了契约的安全问题和相关处理。在此基础上提出了基于契约
【摘要】语文是我国最基础的教学科目,在学习中贯穿了整个教学阶段,对学生一生的影响也是巨大的。在语文教学中,最为重要的一个方面就是培养学生的阅读理解能力。学生在学习过程中掌握阅读技能是学习语文所必要的。在教育中培养学生的阅读能力,可以提升和培养学生的语感,让学生领会文章或者题目的意思,让学生可以全面性地提升自身各方面的成绩和综合能力。  【关键词】小学语文 阅读能力 培养  【中图分类号】G623
【摘要】培养学生的创造性思维,是提高学生解决实际问题的水平的关键,因此在教学中注意培养学生的开拓精神和创造能力,十分必要,也是当前素质教育的核心要求。  【关键词】数学教学中 创造性思维的训练  【中图分类号】G623.5 【文献标识码】A 【文章编号】2095-3089(2018)17-0105-02  一、再造性思维与创造性思维  思维根据是否具有创新成分,并导致新鲜事物的出现,可以分成再创造