【摘 要】
：
为解决传统验证平台中时钟生成、复位操作、激励生成以及时序控制等结构混乱的问题,对主流的通用验证方法学UVM进行研究,分析验证组件的特性及组织方式,提出层次化可重用的验
【基金项目】
：
国家自然科学基金项目(6140417)
论文部分内容阅读
为解决传统验证平台中时钟生成、复位操作、激励生成以及时序控制等结构混乱的问题,对主流的通用验证方法学UVM进行研究,分析验证组件的特性及组织方式,提出层次化可重用的验证平台。采用动态参数配置、动态组件创建和用户代码回调插入等方法实现验证平台的灵活性,基于该平台完成对同步序列密码算法Mickey 2.0RTL模型的功能验证。仿真结果表明,基于UVM的验证平台有效提高了功能覆盖率和代码覆盖率,保证了设计功能的完备性。
其他文献
该文通过数据调查法、观察法和访谈法,抽样了北京市重点中学北京四中2015届高三男生高中三年的体重数据,对北京市重点中学高中男生体重突然增加的原因进行了研究,发现导致北
茅台酒厂成立于1951年,历经50多年的发展,产量从当初年产72吨到2001年的7300吨,增长100多倍,企业总资产从1.2万元发展到50多亿元,增长40多万倍;茅台酒质量稳步提高,婵联历届
通过对普遍存在的公路车辆超载问题的研究，分析了超载是使路基路面强度和刚度降低、路面结构早期破坏的主要原因，并提出一些相应的合理化建议。
导向标识的研究已经有很多年的历史,导向标识在认知科学方面发现了很多特性,其中有语音,触摸感和一种视觉的检测作用。另外研究人员开发出的一种可以为盲人使用的导向标识,结
论述了检测复合材料和胶接结构不连接（缺陷）的新型多模综合无损检测技术。该技术以声与超声检测技术为基础。包含五种不同检测模式，用以检测复合材料与胶接结构的失粘、脱粘、分
继“蓝海战略”之后，一种新的理论——“长尾理论”又开始流行。现在的长尾理论并不是一个成熟的理论，而且应用范围也比较窄，在国内也有多种褒贬不一的评价。本文通过对长尾来源
生土基加气保温材料是以生土、硫铝水泥、β-石膏等为主要原料，通过化学发泡制成的一种轻质多孔材料。试验结果表明，当m（生土）：m（硫铝水泥）：m（β-石膏）：（NaOH）：m（铝粉）：m（CaO）：m（水）=0．6：0．2：0．2：0．8％：0．9％：0．4％：0．5
通过分析水泥乳化沥青砂浆（CA砂浆）冬季低温病害的产生原因,研究了硫铝酸盐水泥、胶乳对CA砂浆低温凝结和灌注质量的影响。结果表明,低温导致CA砂浆超长缓凝,使体系稳定性变差,
2014年4~6月,采用直接观察法对广汉市南丰镇双庙子村村头的一块人工苗圃内繁殖的4种鹭科鸟类（简称鹭类）（牛背鹭Bubulcus ibis,白鹭Egretta garzetta,池鹭Ardeola bacchus,夜鹭Ny
<正> 世界正在进入一个服务革命的年代。我国的护理事业从引进整体护理的概念那时起,就接受了挑战,护士长的素质、管理、领导方式与水平是导致护理工作效率和不同效果的重要