关于Verilog-A的代码覆盖率度量

Y. Sha, M. Lee, C. Liu
{"title":"关于Verilog-A的代码覆盖率度量","authors":"Y. Sha, M. Lee, C. Liu","doi":"10.1109/HLDVT.2004.1431251","DOIUrl":null,"url":null,"abstract":"In order to verify the integration of digital circuits and analog circuits in a SOC design, HDL-A languages are proposed to describe analog circuits such that they can be simulated together with the digital circuits described in HDL code. For digital circuits, coverage-driven approach has been widely used to verify the quality of HDL designs. However, for analog models, there are still no suitable solutions to gauge their quality. Therefore, in this paper, we will first discuss the feasibility and its meaning of applying some existing coverage metrics to Verilog-A code. We also propose a new coverage metric, frequency coverage, for checking the completeness of the frequency response in Verilog-A designs. Using this coverage metric as an assistant to existing code coverage metrics, we can have more confidence on the correctness of the Verilog-A descriptions at different situations.","PeriodicalId":240214,"journal":{"name":"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)","volume":"79 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"On code coverage measurement for Verilog-A\",\"authors\":\"Y. Sha, M. Lee, C. Liu\",\"doi\":\"10.1109/HLDVT.2004.1431251\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In order to verify the integration of digital circuits and analog circuits in a SOC design, HDL-A languages are proposed to describe analog circuits such that they can be simulated together with the digital circuits described in HDL code. For digital circuits, coverage-driven approach has been widely used to verify the quality of HDL designs. However, for analog models, there are still no suitable solutions to gauge their quality. Therefore, in this paper, we will first discuss the feasibility and its meaning of applying some existing coverage metrics to Verilog-A code. We also propose a new coverage metric, frequency coverage, for checking the completeness of the frequency response in Verilog-A designs. Using this coverage metric as an assistant to existing code coverage metrics, we can have more confidence on the correctness of the Verilog-A descriptions at different situations.\",\"PeriodicalId\":240214,\"journal\":{\"name\":\"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)\",\"volume\":\"79 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HLDVT.2004.1431251\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HLDVT.2004.1431251","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4

摘要

为了验证SOC设计中数字电路和模拟电路的集成,提出了HDL- a语言来描述模拟电路,使它们能够与HDL代码中描述的数字电路一起进行仿真。对于数字电路,覆盖驱动方法已被广泛用于验证HDL设计的质量。然而,对于模拟模型,仍然没有合适的解决方案来衡量它们的质量。因此,在本文中,我们将首先讨论对Verilog-A代码应用一些现有覆盖度量的可行性及其意义。我们还提出了一个新的覆盖度量,频率覆盖,用于检查Verilog-A设计中频率响应的完整性。使用这个覆盖率度量作为现有代码覆盖率度量的辅助,我们可以对不同情况下Verilog-A描述的正确性有更多的信心。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
On code coverage measurement for Verilog-A
In order to verify the integration of digital circuits and analog circuits in a SOC design, HDL-A languages are proposed to describe analog circuits such that they can be simulated together with the digital circuits described in HDL code. For digital circuits, coverage-driven approach has been widely used to verify the quality of HDL designs. However, for analog models, there are still no suitable solutions to gauge their quality. Therefore, in this paper, we will first discuss the feasibility and its meaning of applying some existing coverage metrics to Verilog-A code. We also propose a new coverage metric, frequency coverage, for checking the completeness of the frequency response in Verilog-A designs. Using this coverage metric as an assistant to existing code coverage metrics, we can have more confidence on the correctness of the Verilog-A descriptions at different situations.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信