使用自动覆盖驱动的测试策略进行验证流优化

International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006. Pub Date : 2006-10-16 DOI:10.1109/DTIS.2006.1708699

Younes Lahbib, Oualid Missaoui, Maher Hechkel, Dhafer Lahbib, Badreddine Mohamed-Yosri, R. Tourki

{"title":"使用自动覆盖驱动的测试策略进行验证流优化","authors":"Younes Lahbib, Oualid Missaoui, Maher Hechkel, Dhafer Lahbib, Badreddine Mohamed-Yosri, R. Tourki","doi":"10.1109/DTIS.2006.1708699","DOIUrl":null,"url":null,"abstract":"SystemC language as well as the verification library going with (SCV), provides a rich set of features for dynamic control and parameterization of the constraints applied to a constrained-random stimulus generator. Besides, the property specification language (PSL) offers facilities for gathering and inspecting functional coverage information. This paper examines how SCV stimulus constraints can be modified dynamically using functional PSL coverage data, with the aim of avoiding the redundancy of stimulus within the regression test suite. In so doing we allow reducing simulation runtime needed to meet planned functional coverage","PeriodicalId":399250,"journal":{"name":"International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006.","volume":"16 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Verification flow optimization using an automatic coverage driven testing policy\",\"authors\":\"Younes Lahbib, Oualid Missaoui, Maher Hechkel, Dhafer Lahbib, Badreddine Mohamed-Yosri, R. Tourki\",\"doi\":\"10.1109/DTIS.2006.1708699\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"SystemC language as well as the verification library going with (SCV), provides a rich set of features for dynamic control and parameterization of the constraints applied to a constrained-random stimulus generator. Besides, the property specification language (PSL) offers facilities for gathering and inspecting functional coverage information. This paper examines how SCV stimulus constraints can be modified dynamically using functional PSL coverage data, with the aim of avoiding the redundancy of stimulus within the regression test suite. In so doing we allow reducing simulation runtime needed to meet planned functional coverage\",\"PeriodicalId\":399250,\"journal\":{\"name\":\"International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006.\",\"volume\":\"16 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-10-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DTIS.2006.1708699\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DTIS.2006.1708699","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

SystemC语言以及伴随的验证库(SCV)提供了一组丰富的特性，用于动态控制和参数化应用于约束随机刺激生成器的约束。此外，属性规范语言(PSL)提供了收集和检查功能覆盖信息的工具。本文研究了如何使用功能PSL覆盖数据动态修改SCV刺激约束，以避免回归测试套件中刺激的冗余。通过这样做，我们允许减少满足计划功能覆盖所需的模拟运行时

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

查看原文本刊更多论文

Verification flow optimization using an automatic coverage driven testing policy

SystemC language as well as the verification library going with (SCV), provides a rich set of features for dynamic control and parameterization of the constraints applied to a constrained-random stimulus generator. Besides, the property specification language (PSL) offers facilities for gathering and inspecting functional coverage information. This paper examines how SCV stimulus constraints can be modified dynamically using functional PSL coverage data, with the aim of avoiding the redundancy of stimulus within the regression test suite. In so doing we allow reducing simulation runtime needed to meet planned functional coverage

求助全文

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

来源期刊

International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006.

自引率

0.00%

发文量