Coverage报告生成

Coverage报告生成

覆盖率


覆盖率驱动的验证方法中覆盖率报告的生成至关重要,现在介绍一下使用DVE和URG生成覆盖率报告的步骤。

使用VCS生成数据


在VCS的运行脚本中添加-cm cond+fsm+line -cm_noconst,这里生成条件/状态机/行覆盖率,更多细节请参考VCS帮助手册目录下的cov_ug.pdf
默认生成simv.vdb的目录,接下来的DVE将从其中读取数据。

使用DVE加载数据

运行DVE加载数据dve -full64 -dir ./simv.vdb -cov &

使用DVE分析数据


通过DVE可以移除不关心的逻辑。
生成Exclude操作文件,这里保存为elfile.el


使用URG生成HTML格式报告


使用urg加载之前dve生成的Exclude操作脚本,可以生成HDML报告文件,这样通过firefox就可以直观的浏览最终处理的报告文件。
urg -full64 -dir ./simv.vdb -elfile elfile.el -log urg.log -excl_strict

posted @   乔_木  阅读(4916)  评论(0编辑  收藏  举报
编辑推荐:
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
阅读排行:
· winform 绘制太阳,地球,月球 运作规律
· 超详细:普通电脑也行Windows部署deepseek R1训练数据并当服务器共享给他人
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· AI 智能体引爆开源社区「GitHub 热点速览」
· 写一个简单的SQL生成工具
点击右上角即可分享
微信分享提示