基于功能虚拟原型的验证方法

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:MHSLOVE
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为解决片上系统验证和设计不能同步、系统级验证效率低下的问题,该文基于统一验证方法提出一种基于可演化模型的三级验证过程模型。该模型由系统级、行为级和RTL级三级功能虚拟原型演化模型构成,在不同设计阶段复用相同的系统级验证环境,可减少验证的重复工作,将其应用于设计的整个流程,可成功地实现验证和设计同步,提高验证效率。
其他文献
在经济与社会快速发展的今天,学科之间联系越来越紧密,科研人员已经无法独立完成科学研究,个人科研逐渐被科研团队所取代.在地方高师院校转型的背景下,加强科研团队建设,打造
目的:观察兰索拉唑联合旋覆降逆汤加减治疗胃食管反流病(GERD)患者的临床疗效。方法:选取GERD患者60例。随机数字表法分为两组,各30例。对照组采取兰索拉唑治疗,观察组采用兰
摘 要:城镇化推动了湖南小城镇的快速发展,在此背景下,小城镇民间音乐更成为宝贵的艺术文化资源,中小学校本音乐课程的开发和推广有着非常重要的意义。但是,目前湖南小城镇中小学校本音乐在发展中还存在诸多问题,这不仅需要学校构建更加完善的校本音乐课程管理制度,还需要教师不断提升自我专业素养,形成有特色、创新的与本地区密切结合的校本音乐课程教学内容,从而真正推动校本音乐课程建设的发展。  关键词:中小学;校
目的:观察血府逐瘀汤在心肌梗死经皮冠状动脉内介入术(PCI)后治疗中的应用效果。方法:选取行经皮冠状动脉内介入术104例心肌梗死患者作为研究对象,随机分为两组,每组各52例。
通过密钥刷新,设计了一个适于移动通信系统的基于私钥的认证和密钥交换方案。该方案可以实现通信双方的相互认证,同时产生双方认可的会话密钥,并且会话密钥的产生不需要其他第三
【摘 要】 目的:观察双骨三子胶囊联合塞来昔布胶囊(西乐葆)治疗膝骨关节炎的临床疗效。方法:选择膝骨关节炎患者70例,随机分为对照组与治疗组各35例,治疗组采用双骨三子胶囊联合塞来昔布胶囊治疗,对照组采用仅采用塞来昔布胶囊,共治疗4周。每2周评估骨关节炎指数(WOMAC)和膝关节疼痛评分(VAS),统计两组临床不良反应发生情况,对比治疗4周后两组血清细胞因子白细胞介素-1β(IL-1β)、IL-6
用知识的条件粗糙熵定义了特征的相对重要性,提出了一种基于条件粗糙熵的入侵数据特征并行选择算法.算法首先将入侵数据决策表划分成多个子表,然后利用特征的相对重要性对各子表
针对V-BLAST结构接收机采用传统反馈判决检测在高信噪比高端出现的检测性能不佳的问题,设计了一种具有更加检测性能的基于最小均方误差准则的宽线性反馈判决检测算法.计算机仿
摘 要:距离1839年摄影术诞生已经过去了整整180年,摄影艺术的拍摄与表现方式也在不断发生转变。伴随着无人机小型化和飞行控制系统的快速发展,长久以来被少数人所掌握的航拍摄影技术,日渐大众化。2015年更是被称为无人机摄影元年,无人机摄影已经成为现代摄影技术当中一个非常重要的组成部分,将无人机摄影的内容加入高校摄影课程的教学过程中势在必行。但是无人机摄影的实践教学和传统摄影教学有着很大的差别,不但
带版权保护的数码音乐播放机在主机内设置版权保护模块,其输入端与微控制器的输出端相连,输出端与解码模块相连。该模块由信息存储模块、信息识别模块和解密模块3部分组成,与远