【摘 要】
：
随着系统芯片(SoC)设计规模的指数上涨和制造工艺的不断进步,验证能力远远落后于设计制造能力,并逐渐成为系统芯片设计的瓶颈。本文以系统芯片SM9AXX项目中FLASH控制器的验证
论文部分内容阅读
随着系统芯片(SoC)设计规模的指数上涨和制造工艺的不断进步,验证能力远远落后于设计制造能力,并逐渐成为系统芯片设计的瓶颈。本文以系统芯片SM9AXX项目中FLASH控制器的验证为背景,研究SoC设计中的功能验证技术。本文首先介绍了验证的研究背景和现状及验证基础知识,并对FLASH控制器的工作原理和具体实现情况做了详细的描述。接下来着重介绍验证工作,根据设计规范编写验证实施方案,搭建测试平台,先施加定向激励,再加入受约束的随机激励与错误激励。监视器和断言实时监测功能的正确性;要求功能覆盖率、代码覆盖率、端口翻转率达到100%,并对不能达到的进行解释。经验证,此模块可正常用于系统中,并已经成功流片。验证结果显示,基于SV的断言、功能覆盖率、受约束的随机激励三者的联合使用可以大大提高验证的效率。
其他文献
美国疾病控制中心（Centers for Disease Control，CDC）将外科手术部位感染（surgical site infection，SSI）分为切口和器官／无菌体腔感染^[1]。前者包括“皮肤及皮下组织”的浅表切口感
目的分析糖尿病视网膜病变（DR）患者中各组肾小球率过滤（GFR）、尿微量白蛋白/肌酐（U-mA1b/Cr）的变化关系,以探讨糖尿病视网膜病变与糖尿病肾病的关系.方法回顾该院住院病历,根据眼科
随着证券市场的发展,越来越多的投资者开始关注上市公司的内部控制状况,希望通过公司披露的内部控制信息来做出有利的投资决策。内部控制信息虽为非财务信息,却是公司信息披
新课程的初中教学改革已开展多年,日益突出的初、高中物理教学不衔接现象严重影响着高中物理教学的效果和质量。高中与初中相比,学生在知识、能力以及学习方法等方面都存在着
伴随着中国的经济逐年稳步增长,以及经济全球化、自由化的发展,洗钱犯罪日益猖獗。特别是在今年金融危机的冲击下,洗钱犯罪将会有新的特点,因此,这也将给反洗钱活动带来新的
本试验旨在研究饲粮精粗比对泌乳水牛瘤胃细菌和甲烷菌区系的影响。选取15头健康杂交后备泌乳水牛,按体重、采食量等相近原则随机分为3组,每组5头,分别饲喂精粗比为0∶100(全
VSP—垂直地震剖面法勘探技术能够提供准确的速度参数、层位标定、井孔周围的构造、岩性及储层的分布范围,为利用地面地震反射信息进行构造精细解释、储层横向预测和油藏描述
信息管理技术作为信息应用的一个重要方面,在社会生产生活中已被普遍应用,推进了计算机在商业、工程、军事、医疗、教育等管理领域的广泛使用。计算机在学校教学、教务起到十
药物化学是为了满足社会日益发展的医学需求而新产生的一大科目,对于学生们掌握医学知识将会打下坚实的基础.但是,受到各方面因素的限制,药物化学教学目前存在诸多不同程度的
通过对2米量级直升机旋翼的试验表明：天平测量原理正确、设计合理、风度大、干扰小、静校准精度较高，其动态特性与整台直升机旋翼试验装置匹配良好，较好地满足了直升机旋翼试验