verilator_coverage_bin_dbg - 云端在线

程序：

您的姓名

verilator_coverage - Verilator 覆盖分析器

概要

verilator_coverage --帮助
verilator_coverage --版本

verilator_coverage --annotate

verilator_coverage -write merge.dat -read ...

Verilator_coverage 处理 Verilator 覆盖率报告。

使用--anotate，它读取指定的数据文件并生成带注释的源代码
覆盖指标注释。 如果同一条线上存在多个覆盖点，
将插入附加线以报告附加点。

额外的 Verilog 标准参数指定了找到所需的搜索路径
执行覆盖率分析的源代码。

要获得正确的覆盖率，您可能希望将 logs/coverage.pl 读入 Emacs 并
执行 Mx 保留行以仅包含那些感兴趣的统计数据。

对于永远不会发生的 Verilog 条件，您应该添加 $stop 语句。 这个
将在下一次构建期间删除覆盖范围。

争论

文件名
指定输入数据文件，可能会重复读取多个输入。 如果没有数据文件
指定，默认情况下读取coverage.dat。

- 注释 输出目录
指定带有注释覆盖数据的源文件的目录名称
写给。

--注释全部
指定应显示所有文件。 默认情况下，只有那些具有
低覆盖率被写入输出目录。

--注释分钟 数
指定覆盖点时应标记的最小出现次数
不包括指定的阈值。 默认为 10。

- 帮帮我
显示此消息和程序版本并退出。

- 秩
打印一份实验报告，列出每个测试在覆盖中的相对重要性
所有覆盖点。 报告显示“Covered”，表示数量
测试涵盖的点； 如果测试有一个桶，则认为测试覆盖了一个点
计数至少为 1。“等级”列的数字 t 越大，表示测试越多
重要，等级 0 表示不需要运行测试来覆盖这些点。
“RankPts”表示此测试将有助于整体的覆盖点数
如果所有测试都按从高到低的顺序运行，则覆盖率。

--取消链接
使用--write合并coverage数据时，输出后取消所有输入文件的链接
已经被创造了。

- 版
显示程序版本并退出。

- 写 文件名
指定对所有文件求和的聚合覆盖结果应该是
写入给定的文件名。 这在脚本中很有用，可以组合许多顺序
运行到一个主覆盖文件中。

维瑞洛 争论

以下参数与 GCC、VCS 和大多数 Verilog 程序兼容。

+libext+分机+分机...
定义 Verilog 文件的扩展名。

+定义+VAR+折扣值 =项目-DVAR=折扣值
定义给定的变量。

+目录+DIR =项目-IDIR
指定用于查找包含文件的目录。

-f 文件
指定包含附加命令行参数的文件。

-y DIR
指定模块搜索目录。

配电产品

最新版本可从http://www.veripool.org/>.

威尔逊·斯奈德版权所有 2003-2015。 Verilator 是免费软件； 你可以重新分发它
和/或根据 GNU Lesser General 的条款修改 Verilator 内部
公共许可证版本 3 或 Perl 艺术许可证版本 2.0。

作者

威尔逊·斯奈德[电子邮件保护]>

使用 onworks.net 服务在线使用 verilator_coverage_bin_dbg