基于动态因子使用定义链的可观察分支覆盖度量

2006 15th Asian Test Symposium Pub Date : 2006-11-20 DOI:10.1109/ATS.2006.24

Tao Lv, Ling-Yi Liu, Yang Zhao, Hua-wei Li, Xiao-wei Li

{"title":"基于动态因子使用定义链的可观察分支覆盖度量","authors":"Tao Lv, Ling-Yi Liu, Yang Zhao, Hua-wei Li, Xiao-wei Li","doi":"10.1109/ATS.2006.24","DOIUrl":null,"url":null,"abstract":"In this paper we propose an observability branch coverage metric (OBCM) based on dynamic factored use-define chains, along with its evaluation method. This technique exploits the efficiency of data-flow analysis rather than methods like fault simulation. Hence it can be easily integrated into HDL compilers or simulators. Experimental results show that OBCM can provide more meaningful coverage data for functional verification than traditional branch coverage metric (BCM)","PeriodicalId":242530,"journal":{"name":"2006 15th Asian Test Symposium","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"An Observability Branch Coverage Metric Based on Dynamic Factored Use-Define Chains\",\"authors\":\"Tao Lv, Ling-Yi Liu, Yang Zhao, Hua-wei Li, Xiao-wei Li\",\"doi\":\"10.1109/ATS.2006.24\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we propose an observability branch coverage metric (OBCM) based on dynamic factored use-define chains, along with its evaluation method. This technique exploits the efficiency of data-flow analysis rather than methods like fault simulation. Hence it can be easily integrated into HDL compilers or simulators. Experimental results show that OBCM can provide more meaningful coverage data for functional verification than traditional branch coverage metric (BCM)\",\"PeriodicalId\":242530,\"journal\":{\"name\":\"2006 15th Asian Test Symposium\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-11-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 15th Asian Test Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ATS.2006.24\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 15th Asian Test Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ATS.2006.24","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

本文提出了一种基于动态因子使用定义链的可观察分支覆盖度量(OBCM)及其评价方法。这种技术利用数据流分析的效率，而不是像故障模拟这样的方法。因此，它可以很容易地集成到HDL编译器或模拟器中。实验结果表明，与传统的分支覆盖度量(BCM)相比，OBCM可以为功能验证提供更有意义的覆盖数据。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

An Observability Branch Coverage Metric Based on Dynamic Factored Use-Define Chains

In this paper we propose an observability branch coverage metric (OBCM) based on dynamic factored use-define chains, along with its evaluation method. This technique exploits the efficiency of data-flow analysis rather than methods like fault simulation. Hence it can be easily integrated into HDL compilers or simulators. Experimental results show that OBCM can provide more meaningful coverage data for functional verification than traditional branch coverage metric (BCM)

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2006 15th Asian Test Symposium

自引率

0.00%

发文量