覆盖率驱动的随机测试生成技术综述

来源 :计算机辅助设计与图形学学报 | 被引量 : 41次 | 上传用户:qiaofei888
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.
其他文献
目的探究改善医患关系中医患沟通的作用。方法我院在2018~2019年实施医患沟通措施,对比实施前后患者的满意度评分,随机选取实施前后入院患者各80例为观察对象。结果实施后,患
目的探讨基于实境的案例分析法在急诊低年资护士临床实践能力培训中应用效果。方法按入院时间将2014年12月—2015年5月在我科工作的低年资护士14名设为对照组,将2015年6-11月
通过对阴影图算法进行扩展,提出一种完全基于GPU的近似软影实时绘制算法,它是一种3遍算法:第一遍从光源中心计算场景的深度图;第二遍采用几何着色器提取物体的轮廓边,同时在轮廓边上生成新的几何图元,利用硬件自动插值功能向外绘制线性近似半影图,并根据第一遍得到的深度图在像素着色器中对背面轮廓形成的半影区进行剔除;对于重叠的半影区设定片元的伪深度值,利用硬件进行自动融合.第三遍分别查询深度图和半影图,确定
目的 探讨系统化护理干预应用于阑尾炎腹腔镜术后患者对恢复其胃肠功能的临床效果。方法 选取江阴临港医院普外科2016年1月~2018年12月收治的108例阑尾炎患者,均采取腹腔镜阑
<正>在不知不觉中,把房地产税付诸实施,或许,"人民群众喜迎房地产税"的日子为期不远了。众所周知,统计局发言人过去是很少直接提及房地产税的,如此明确地提出"加快推进房地产