【摘 要】
：
面对日益复杂的芯片系统设计和IP的高度集成方式,验证的重要性日益增加。传统的验证主要依赖于直接测试,虽然直接测试平台也可以采用有限的随机方式,但是通常是通过产生随机
【基金项目】
：
江苏省自然科学基金(BK2012792)
论文部分内容阅读
面对日益复杂的芯片系统设计和IP的高度集成方式,验证的重要性日益增加。传统的验证主要依赖于直接测试,虽然直接测试平台也可以采用有限的随机方式,但是通常是通过产生随机数的方式来实现的,而不是在每个数据单元简单地写入预先设定的值。直接测试方法适合于小设计,但一个典型SoC设计需要上千个测试用例,耗时太长。因此提升验证产量的唯一方法是减少产生测试所消耗时间。基于SystemVerilog具有丰富语言能力、能描述复杂验证环境、产生带约束的随机激励、面向对象编程、功能覆盖率统计等诸多优点,因此可以采用SystemV
其他文献
外科临床技能是中医专业学生外科学学习的薄弱环节，采用标准化病人（SP）进行临床技能考核，能够加强学生病史采集及临床辨证思维能力。
作为一项系统性的教学活动，高中语文复习一定要立足学生的身心发展特点及教学工作实际，在教学实践中不断研究、总结和完善，从学生思想身心特点、语文学科内容及语文教学结构等多
针对电动货车路径优化问题,应用物流网络以及电动货车电量消耗等方面的知识,研究了电动货车的智能调度方法,构建了带时间窗的电动货车路径优化模型(electric vehicle routing
根据“人际和谐与冲突理论”,针对护理新生具体情况,设计针对性强的团队游戏,使学生轻松参与,并有所感受和体会,认识到自己人际交往中存在的不足,能够敞开心扉,接纳他人,学会
一、防暑降温。经常清除羊舍周围的杂草，羊舍南北墙底部开设空气对流窗，加强通风；羊舍的朝阳面设置遮阳棚；若羊舍是平瓦屋面，可刷上白石灰，或搭盖遮阳物；增加羊舍周围的绿化面积。此
目的观察手术疗法在严重多发性骨关节创伤治疗中的应用效果。方法回顾性选取河南省人民医院2016年1月-2018年11月收治的80例严重多发性骨关节创伤患者为研究对象,按照治疗方
西天山博罗科努Au、Pb、Zn、Cu、Mo异常带是新疆最重要的金及有色金属多元素异常带之一.目前,在该带莱历斯高尔-肯登高尔预测矿集区东段色勒特果勒矿区进行综合研究和矿产勘
现在容器云平台容器数目日益增加,相关监控数据爆炸式增长,而现有的运行在容器内的微服务监控软件监控指标不仅种类繁多,配置繁琐,并且往往只是直接给出监控数据,没有根据得
目的通过情景模拟增强学生对课程内容的认识、理解、消化和吸收，探讨情景模拟法在精神科护理教学中的应用效果。方法以我校2011级护理专业162名学生为研究对象，根据学号奇偶性
目的:本研究旨在了解长春市社区老年三种常见慢性病人群对中医养生保健认识状况;获得中医养生保健认知的途径和方法;分析影响社区老年三种常见慢性病人群中医养生保健认知的