针对可观测性语句覆盖准则的RTL激励生成

• 作者: 吕涛 李晓维 杨修涛 鲁巍
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 可观测性语句覆盖准则 激励生成 模拟
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 计算机辅助设计
• 页码范围: 2169-2175
• 页数: 7页
• 分类号: TP302
• 字数: 3995字
• 语种: 中文

摘要

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性覆盖评估准则被提了出来.随着设计规模不断加大,该准则变得越来越重要.首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法.这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成.实验结果显示,提出的方法是高效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晓维	中国科学院计算技术研究所信息网络研究室	127	1467	20.0	32.0
2	吕涛	中国科学院计算技术研究所信息网络研究室	41	423	10.0	20.0
6	杨修涛	中国科学院计算技术研究所信息网络研究室	6	33	3.0	5.0
10	鲁巍	中国科学院计算技术研究所信息网络研究室	6	33	3.0	5.0