卫文丽
- 作品数：5 被引量：25H指数：2
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：北京市自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于遗传算法的全芯片级覆盖率驱动随机验证技术被引量：6
- 2009年
- 随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.
- 沈海华王朋宇卫文丽郭崎
- 关键词：大规模集成电路遗传算法
- 龙芯1号处理器核验证方法的研究与实现
- 随着微处理器设计复杂度的增大、设计规模指数级的增长以及永无止境的快速市场化的压力，功能验证面临着越来越大的挑战。在当前工业实践中，模拟仿真验证方法仍然占据着主要地位。随机测试程序自动生成技术在很大程度上提高了模拟仿真的效...
- 卫文丽
- 关键词：模拟仿真遗传算法微处理器
- 覆盖率驱动随机验证集成电路的方法及系统
- 本发明涉及覆盖率驱动随机验证集成电路的方法和系统，该方法包括：步骤1，生成初始种群，初始化当前种群为初始种群；步骤2，根据当前种群生成验证程序，由指令集模拟器和待验证设计执行验证程序，比较两个执行结果确定待验证设计是否正...
- 郭崎沈海华卫文丽
- 文献传递
- 覆盖率驱动的随机测试生成技术综述被引量：22
- 2009年
- 随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.
- 沈海华卫文丽陈云霁
- 关键词：VLSI
- 覆盖率驱动随机验证集成电路的方法及系统
- 本发明涉及覆盖率驱动随机验证集成电路的方法和系统，该方法包括：步骤1，生成初始种群，初始化当前种群为初始种群；步骤2，根据当前种群生成验证程序，由指令集模拟器和待验证设计执行验证程序，比较两个执行结果确定待验证设计是否正...
- 郭崎沈海华卫文丽
- 文献传递
