【摘 要】
：
随着集成电路设计规模的不断增加,传统的验证方法学由于无法提供足够的能力来检查系统所有可能功能的正确性,已经不能满足SOC验证的需求.验证重用方法学是解决这一问题的有效
【机 构】
：
安庆师范学院,安庆师范学院,合肥工业大学
论文部分内容阅读
随着集成电路设计规模的不断增加,传统的验证方法学由于无法提供足够的能力来检查系统所有可能功能的正确性,已经不能满足SOC验证的需求.验证重用方法学是解决这一问题的有效途径.在SOC的验证过程中,利用总线协议检验器对片上总线上发生的事务进行协议检验,并将检验结果以文本格式显示出来,从而可以帮助验证工程师有效地判断数据传输的正确性,达到验证单个模块和系统功能的目的.总线协议检验器比传统的总线监视器存在自动化程度较高等优点,增强了验证的自动化,减少了验证时间,提高了验证效率.文中提出了一种总线协议检验器的设计方
其他文献
当前,信息技术不断发展,对于人才的要求越来越高,希望人才能够具有良好的信息技术水平,为社会现代化发展做出贡献。对聋生来说,老师可以利用电脑绘画课程,让聋生感受到美,提
采用蒙特卡洛方法对可维修系统的故障率进行模拟,讨论了元件的抽样方法.在已知元件寿命分布的条件下直接应用蒙特卡洛方法抽样,对单元件的故障率进行了定量的研究,并对两元件
PMI是一个新的信息保护基础设施,能够与PKI和目录服务紧密集成.PMI作为一个基础设施,能够系统地建立起对合法用户的特定授权.PMI通过结合授权管理系统和身份认证系统消除了PK
中小学信息技术教育主要是培养学生信息技术能力以及提高学生信息综合素养,有效地应用信息技术对学生未来的学习和发展具有积极意义。我校建校初,就将信息技术课程作为综合实
培养小学生的创新能力是当下教育改革中的核心内容,旨在为学生终身发展奠定基础。因此,在小学科学教学中,教师要摒弃灌输式的教学模式,要创新教学意识,改变课堂引导的方式,创
数学的严密性和准确性要求学生在阅读过程中,对每一个数字、每一个符号、每一段定义都要精细阅读并分析,保证不会因为阅读有误这样的低级问题导致结果的差错。因此阅读能力不
校园植物资源是小学科学教学的重要素材,充分开发与利用校园植物资源的优势,有利于提高学生的科学素养。本文将从利用校园植物资源进行直观教学、进行探究实验教学以及进行实
目前,大多数学校还没有完整的成体系的STEM教材,学校也缺少专职的STEM教师,因此在学校想要开展STEM教育活动往往显得有心无力。在这样的背景下,需要我们教师依据实情,大胆尝
微工作流架构是近来工作流技术发展中研究人员提出的新的工作流模型,并且它是微内核架构.与传统工作流架构相比,微工作流架构分离了控制和逻辑层,具有可复用性、可移植性、可