模拟验证中的覆盖评估准则

• 作者: 吕涛 李晓维 樊建平
• 来源期刊: 微电子学与计算机
• 关键词: 覆盖评估准则 代码 电路结构 可观测性 有限自动机 错误模型
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 微电子技术
• 页码范围: 40-43,47
• 页数: 5页
• 分类号: TN4
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2003.02.014

摘要

模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证中不可或缺的技术.文章在陈述覆盖评估意义的基础上,详细介绍了现有的各类覆盖评估准则,剖析了各个准则的优缺点,并通过实验得出比较数据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晓维	中国科学院计算技术研究所	127	1467	20.0	32.0
2	樊建平	中国科学院计算技术研究所	43	458	11.0	20.0
3	吕涛	中国科学院计算技术研究所	41	423	10.0	20.0