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

An RT-Level Vector Generation Method for Observability-Based Statement Coverage

作　　者：鲁巍[1] 吕涛[1] 杨修涛[1] 李晓维[1] 

机构地区：[1]中国科学院计算技术研究所信息网络研究室

出　　处：《计算机研究与发展》2005年第12期2169-2175,共7页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(90207002;60576031);北京市重点科技项目(H02012014130)

摘　　要：传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的·Traditional statement coverage metric based on the activation of statements, without taking observability into account, can result in an artificially high reading of coverage and a false sense of confidence. So the observability-based statement coverage metric is proposed. This metric computes observability information to determine whether the effects of errors activated by the program stimuli can be observed. With the density and complexity of circuits extended, this metric plays a more and more important role during verification. Introduced in this paper is a method of vector generation for the observability-based statement coverage metric. The contribution of the work includes two aspects. Firstly, precise and concise abstract representations are presented from HDL descriptions to model observability information. Secondly, a novel simulation-based algorithm is presented to generate vectors for the observability-based statement coverage. During this procedure, the proposed algorithm always tries to cover all unobserved statements, and reduce unnecessary backtracking, so it is efficient. Finally, the method proposed has been implemented as a prototype tool for VHDL designs, and the results on benchmarks show the significant benefits.

关 键 词：可观测性语句覆盖准则 激励生成 模拟 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]