【摘 要】
：
论文设计了基于SystemVerilog语言的验证平台来完成浮点整数混合运算单元的功能验证。整个平台包含2个要点:一个是使用IBM实验室开发的浮点测试包进行平台校准测试;另一个是
【基金项目】
：
国家自然科学基金重点项目(编号:61136002),陕西教育厅科研项目(编号:2050205)资助
论文部分内容阅读
论文设计了基于SystemVerilog语言的验证平台来完成浮点整数混合运算单元的功能验证。整个平台包含2个要点:一个是使用IBM实验室开发的浮点测试包进行平台校准测试;另一个是针对每种数据类型的若干测试情况都构建一条独立完整的验证通道,从而使得平台的可重用性及可移植行得到了极大地提升。最后在Covergroup(覆盖组)较为完备的情况下功能覆盖率达到100%,实现了对设计功能的可靠验证。此外拓展定向测试用于问题的自动化重现,从而达到问题的快速定位与分析。
其他文献
针对目前国内生产的发动机活塞冷却喷嘴普遍存在角度偏差,无法达到使用要求,以及人工手动校正效率低、精度不高的现状,文章研制了一种适用于多品种活塞冷却喷嘴的靶向自动校
<正>完带汤出自《傅青主女科》,由人参、山药、白术、白芍、苍术、陈皮、炒荆芥、柴胡、车前子、甘草等组成,具有健脾益气、升阳除湿之功,主治脾虚带下病。近年来,笔者用本方
巴勒斯坦是具有悠久文明传统和沧桑历史的古老土地。历经千百年的沧海桑田,上古和中古时期的往事虽已在历史的车轮下风流云散,但并未全然灰飞烟灭。时至今日,上古时期犹太民
高中三年的英语教学目标明确指向高考，在这三年中，教师为高考出题、编题，学生为高考不停地做题，耗费了大量的时间和精力，但教学成果却不尽人意?学生的英语实际应用水平还是很低，即
随着新课程改革的逐步推进,越来越多的新型教学模式被引入课堂教学,并起到了良好的教学效果。其中,情境教学法就是顺应新课改新要求诞生的一种新型教学方法,将其合理科学地应
【摘要】随着我国科学技术的日益提高和人们思想观念的不断转变，微课这种教学模式开始渐渐被老师和学生所认可。而如何将课本中的知识重点在有限的课堂时间内完全展现出来，是所有微课老师所关注的重点，在高职英语的教学中也不例外。因此，对高职英语微课教学的设计与制作进行了详细的分析和研究。 【关键词】高职英语 微课教学 设计 制作 随着教育事业的不断改革和信息技术的快速发展，微课这种全新的教学模式给高职生英
拉格朗日(Lagrange)中值定理是微分学中一个十分重要的定理,它应用广泛。证明这个定理一直沿用构造辅助函数的办法,多年不变。为活跃思想,启迪思维,本文给出了这个定理的两种
校园是学生学习成长的地方,校园有效的安全教育管理是学校开展各项工作的保障,直接关系学校学生的健康成长。近年来,频频出现的校园欺凌现象对整个教育工作的开展产生了巨大
【摘要】在小学语文教学当中，阅读教学是一个相对来说比较重要的方面。所以说，在小学语文教学中阅读教学也得到了越来越多的关注。对于小学阶段的学生来说，他们本身的思维发展仍旧存在着诸多不成熟的地方，本身情绪的发展也不够稳定，他们的心理健康发展离不开老师正确的引导。小学生进行语文阅读的过程可以促进心理的健康发展，而心理学在语文阅读教学当中的应用，也可以在一定程度上促进阅读教学水平的提升，这二者之间是一个相
2017年发布的《普通高中思想政治课程标准》指出了新课程的基本理念,即要尊重学生身心发展规律,改进教学方式,要通过议题的引入、引导和讨论,推动教师转变教学方式,使教学在