覆盖 - 在云中在线

程序：

您的姓名

Covered - Verilog 代码覆盖分析器

句法

覆盖 [全局选项] 得分了 [选项]
覆盖 [全局选项] 合并 [选项] 现有数据库 要合并的数据库+
覆盖 [全局选项] 报告 [选项] 数据库文件
覆盖 [全局选项] 排名 [选项] 数据库排名 数据库排名+
覆盖 [全局选项] 排除 [选项] exclude_id+ 数据库文件

商品描述

覆盖 是一个 Verilog 代码覆盖率分析工具，可用于确定如何
诊断测试套件涵盖了被测设计。 涵盖阅读
Verilog 设计文件和来自诊断运行的 VCD、LXT2 或 FST 格式的转储文件和
生成一个名为 Coverage Description Database (CDD) 文件的数据库文件，使用
分数命令。 Covered 的 score 命令也可以用来生成 CDD 文件
和一个 Verilog 模块，用于在测试平台中使用 Covered 作为 VPI 模块，它可以获得
与模拟并行的覆盖信息（参见 使用 COVERED AS A VPI 模块）。 该
生成的 CDD 文件可以与来自同一设计的其他 CDD 文件合并以创建
累积覆盖率，使用合并命令。 一旦创建了 CDD 文件，用户就可以
使用 Covered 以 ASCII 格式生成各种人类可读的覆盖率报告或使用
Covered 的 GUI 可使用 report 命令以交互方式查看覆盖结果。 如果
发现用户想要从覆盖范围中排除的未覆盖覆盖点，这可以
使用命令行 exclude 命令或在 GUI 中处理。 当多个
CDD 文件是从相同的设计创建的，用户可以获得的覆盖率排名
这些 CDD 文件来确定回归测试的理想顺序以及理解
哪些 CDD 文件由于无法更新而可以从回归中排除
覆盖点。 此外，作为 Covered 得分命令的一部分，竞争条件
可能在设计文件中找到，可以忽略，标记为警告
或标记为错误。 通过将竞争条件指定为错误，也可以使用 Covered
作为竞争条件检查器。

全球 配置

这些选项紧跟在关键字之后 覆盖 在命令行中。 他们
可用于任何命令（除了 -v 和 -h) 并具有相同的效果
每个案例。

-B 混淆。 在输出之前混淆所有设计敏感的名称
用户可读的格式。 此选项在与
Covered 的开发人员用于调试目的。

-D 调试。 显示有助于调试工具问题的信息。 注意：这
选项现在仅在使用 --enable-debug 构建覆盖时可用
配置选项。

-h 帮助。 显示此使用信息。

-P [文件名]
剖析模式。 打开内部源代码分析器，它将产生一个
运行命令的分析报告到指定的 文件名 或者，如果没有
文件名 存在于一个名为 覆盖.prof. 此选项仅可用
如果 --启用分析 Covered 时指定了配置选项
内置的。

-Q 静音模式。 导致所有输出被抑制。

-T 简洁模式。 导致除警告外的所有输出都被抑制
消息和 Covered 标头信息。

-v 版本。 显示当前涵盖的版本。

指令

得分了 解析 Verilog 文件和 VCD/LXT2/FST 转储文件以创建用于
合并和报告。

合并 将两个或多个数据库文件合并为一个。

报告 从数据库文件生成人类可读的覆盖率报告或启动覆盖率
报告图形用户界面。

排名 生成一个报告，指定运行回归的理想顺序并指定
不添加新覆盖信息的 CDD 文件（因此可以排除
如果需要，来自回归）。

排除
允许一个或多个覆盖点（用报告中的排除 ID 标识）
使用 -x 选项生成）以切换其排除属性（包括到
exclude 或 exclude 以包含）并且，如果排除属性设置为排除，
可选地允许排除的原因与其相关联并存储在
指定的 CDD 文件。

SCORE 指挥

以下选项对 score 命令有效：

-A 卵 导致 OVL 断言用于断言覆盖。 必须给出这个标志
如果报告中需要断言覆盖指标，则发送到 score 命令
命令。

-CDD 数据库
与 -o 选项相同。 当被评分的 CDD 文件是分数的输入时很有用
命令。

-cli [文件名]
导致在 VCD/LXT2/FST 转储文件评分期间使用命令行调试器。
If 文件名 指定，此文件包含在先前调用中保存的信息
在 CLI 上保存历史记录并重播包含在此文件中的历史记录
在 CLI 命令提示符之前。 如果 文件名 未指定，CLI 提示将
在模拟开始时立即可用。 此选项仅可用
当 Covered 配置为 --启用调试 选项。

-保守的
如果指定了此选项，则任何包含可能导致
导致覆盖结果可能不准确的覆盖差异是
从覆盖范围考虑中删除。 有关内容的更多信息，请参阅用户指南
代码类型可能导致覆盖不准确。

-转储变量 [文件名]
如果在没有 -vcd 或 -lxt 选项的情况下指定此选项，则分析设计，
创建了一个 CDD 文件和一个名为的顶级 Verilog 模块文件 文件名 （如果这
指定值）或“covered_dump.v”（如果 文件名 未指定）创建。
该文件用于编译模拟器以创建转储文件
优化以获得指定 CDD 文件的覆盖范围。 如果 -vcd 或
-lxt 选项被指定，此选项无效。 请参阅用户指南
有关如何使用此选项的更多信息。

-D 定义名称
将指定的名称定义为 1。

-D 定义名称=值
将指定名称定义为指定值。

-e 块名称
不计分的模块、任务、函数或命名的开始/结束块的名称。 导致所有
此块下 Verilog 树中的子块也不计分。

-ea 从考虑范围内排除所有 always 块。

-ec 从考虑范围内排除所有连续分配。

-ei 从考虑覆盖范围中排除所有初始块。

-如果 将所有最终块排除在考虑范围之外。

-ep [姓名]
排除在“//coverage off”和“//coverage on”编译指示之间找到的所有代码
嵌入在设计中。 如果 姓名 指定，pragma 中的关键字将
更改为该名称而不是默认的“coverage”，允许用户
如果编译指示与任何其他工具冲突，请更改编译指示的外观。

-F 模块名称=[in_expr,]out_expr
向解析器指示在哪里可以找到位于模块中的 FSM 模块名称 这
有一个输入状态表达式，称为 in_expr 和输出状态表达式称为
输出表达式。 如果 in_expr 没有指定， 输出表达式 用作输入和
输出状态表达式。

-f 文件名
包含要解析的附加参数的文件名。

-fst 文件名
用于为设计评分的 FST 转储文件的名称。 如果 -vcd、-lxt 或这个选项不是
使用，Covered 只会从设计创建初始 CDD 文件，不会
尝试为设计评分。

-g [模块名称=](1|2|3)
允许用户将解析器限制为特定代的 Verilog
特定模块或整个设计的标准，其中 1=Verilog-1995，
2=Verilog-2001，3=SystemVerilog。 如果 模块名称= 被指定，解析器使用
仅为该模块指定 Verilog 标准，允许设计的其余部分
使用全球标准。 默认情况下，全局标准设置为最新的
版本 (3)。 对于给定的调用，可以多次指定此选项
得分命令； 但是，如果 -g 选项指定的不仅仅是全局值（即
没有 模块= 前缀），只使用最后一个选项值。

-h 显示此帮助信息。

-I 目录
查找包含的 Verilog 文件的目录。

-i 实例名称
Verilog 对位于树顶部的模块的分层引用
得分。 如果验证覆盖率的模块不是顶级的，则此选项是必需的
设计中的模块。 如果没有指定， -t 使用值。

-lxt 文件名
用于为设计评分的 LXT2 转储文件的名称。 如果 -vcd、-fst 或此选项不是
使用，Covered 只会从设计创建初始 CDD 文件，不会
尝试为设计评分。

-m 的话
允许用户指定有关此 CDD 文件的信息。 这些信息可以
是任何东西（带有空格的消息应该用双引号括起来
标记），但可能包括一些关于模拟参数的内容，以便更容易
将 CDD 文件链接到其模拟以重新创建 CDD 文件。

-o 数据库
要将覆盖率信息写入到的数据库名称。 如果未指定，则输出
数据库文件名将是“cov.cdd”。

-p 文件名
覆盖用于存储中间预处理器输出的默认文件名。

-P 参数范围=值
对具有值的指定参数执行 defparam。

-rS 当违反竞争条件检查时，将删除有问题的逻辑块
从覆盖范围考虑，所有输出都被抑制关于比赛
条件违反。 有关种族的更多信息，请参阅用户文档
条件检查用法。

-rW 当违反竞争条件检查时，将删除有问题的逻辑块
从覆盖范围考虑，输出竞争条件违规。 这是
竞争条件处理的默认行为。 查看用户文档了解更多
有关竞争条件检查用法的信息。

-关于 当竞争条件检查被违反时，原因是输出和评分结束
立即地。 有关竞争条件的更多信息，请参阅用户文档
检查使用情况。

-rI[=模块 姓名]
If 模块 姓名 未指定，完全跳过竞争条件检查
整个设计。 如果 模块 姓名 指定，跳过竞争条件检查
对于指定的模块。 有关种族的更多信息，请参阅用户文档
条件检查用法。

-rP[=姓名])
使用嵌入式编译指示从竞争条件检查中忽略某些代码
考虑（如果 姓名 指定它用作 pragma 关键字）。 查看用户
有关竞争条件检查用法的更多信息的文档。

-S 模拟完成后输出模拟统计信息。 这个信息是
目前只对 Covered 的开发者有用。

-t 顶级 模块
指定将被测量的最顶层模块的模块名称。 注意
该模块不需要是模拟器中最顶层的模块。 这个领域
对 score 命令的所有调用都需要。

-top_ts 时间表
此选项仅在指定了 -vpi 或 -dumpvars 选项时有效。
此选项允许用户为生成的 Verilog 模块指定时间刻度
使用 -vpi/-dumpvars 选项创建。 如果未指定此选项，则不
将为生成的模块创建时间刻度。 的价值 时间表 is
规定如下：

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

如果在各个值之间需要空格，则将全部内容放在
时间表 在双引号中。

-ts 数
评分发生时，此选项允许用户查看模拟器的距离
通过将当前时间步长输出到标准输出来取得进展。 的价值
数 指定在输出之前允许模拟多少时间步长
当前时间步长（导致对输出流的调用更少）。

-T （最小值|典型值|最大值）
指定遇到以下形式的延迟表达式时要使用的值：
最小值：典型值：最大值如果未指定此选项，则默认使用 'typ' select。

-v 文件名
要评分的特定 Verilog 文件的名称。

-VCD 文件名
用于为设计评分的 VCD 转储文件的名称。 如果 -lxt、-fst 或此选项不是
使用，Covered 只会从设计创建初始 CDD 文件，不会
尝试为设计评分。

-vpi [文件名]
如果在没有 -vcd、-lxt 或 -fst 选项的情况下指定此选项，则设计为
解析后，创建一个 CDD 文件和一个名为的顶级 Verilog 模块文件 文件名
（如果指定了此值）或“covered_vpi.v”（如果 文件名 未指定）是
与名为的 PLI 表文件一起创建 文件名.ta b 或“covered_vpi.v.ta b”。
这两个文件都是在模拟器的编译中使用 Covered as
VPI 模块。 如果指定了 -vcd、-lxt 或 -fst 选项，则此选项
没有效果。

- 忽略
禁止在代码解析和模拟过程中输出警告。

-y 目录
用于查找未指定 Verilog 文件的目录。

+libext+。延期[+。延期]*+
允许评分的 Verilog 文件扩展名。

合并 指挥

以下选项对合并命令有效：

-d 文件名
用于搜索要包含的 CDD 文件的目录。 该选项结合使用
与 -分机 指定用于确定的文件扩展名的选项
目录中的哪些文件是 CDD 文件。

-ER (第一|最后|所有|新|旧)
指定如何处理排除原因解析。 如果两个或多个 CDD 文件
被合并具有为同一覆盖点指定的排除原因，
排除原因需要解决（除非是相同的字符串值）。 如果
未指定此选项并发现冲突，Covered 将交互
为每个排除请求输入关于如何处理它的信息。 如果这个选项是
指定，它告诉 Covered 如何处理所有排除原因冲突。 这
值如下：.br

第一 - 使用包含第一个排除原因的 CDD 文件。

最后 - 使用包含最后一个排除原因的 CDD 文件。

所有 - 使用所有排除原因（串联）。

新 - 使用指定的最新排除原因。

旧 - 使用指定的最早排除原因。

-分机 延期
配合使用 -d 选项。 如果不 -分机 选项在
命令行，使用'.cdd'的默认值。 请注意，句号 (.) 应
被指定。

-f 文件名
包含要解析的附加参数的文件名。

-h 显示此帮助信息。

-m 的话
允许用户指定有关此 CDD 文件的信息。 这些信息可以
是任何东西（带有空格的消息应该用双引号括起来
分数）。

-o 文件名
将新数据库输出到的文件。 如果未指定此参数，则
现有数据库 用作输出数据库名称。

报告 指挥

以下选项对 report 命令有效：

-b 如果报告了组合逻辑详细输出并且表达式是向量
操作，此选项按位输出覆盖信息。

-c If -v 指定，仅显示涵盖的指标。 默认显示未覆盖
仅供参考。

-d (s|d|v)
在覆盖报告信息中提供的详细程度（s = 摘要，d =
详细，v = 详细）。 默认为摘要。

-e 将所有排除的覆盖点以及任何指定的覆盖点输出到报告文件
排除原因，如果 -d d or -d v 选项被指定。

-f 文件名
包含要解析的附加参数的文件名。

-h 显示此帮助信息。

-i 提供实例而不是模块的覆盖信息。

-m [l][t][c][f][r][a][m]
要报告的指标类型。 l=线，t=切换，c=组合逻辑，f=FSM状态
和状态转换，r=竞争条件，a=断言，m=内存。 默认是 中频.

-o 文件名
将报告信息输出到的文件。 默认为标准输出。

-s 禁止输出不包含覆盖信息的模块/实例
到报告。 用于帮助消除潜在的无意义信息
报告。

-v 已弃用。 替换为“-dd”或“-d v”。

-视图 启动用于交互式覆盖率报告的 GUI 界面。

-w (数)
指定可用于输出 Verilog 的最大行宽（以字符为单位）
信息。 如果未指定此选项，则报告中的所有 Verilog 代码都将
保留与原始 Verilog 代码中指定的相同格式。 如果这
选项被指定，Verilog 代码将被格式化以使用尽可能多的当前
行，当行达到最大行宽时换行。 这
默认最大行宽为 115 个字符（如果没有数字，则使用此值
使用 -w 选项指定）。 如果使用 -w 选项指定了数字，则此
value 用于最大线宽。

-x 输出所有未覆盖和排除的覆盖点的排除 ID
覆盖点的相关详细输出之前的括号。 这
排除 ID 可用于通过 exclude 排除/包含覆盖点
命令。

秩 指挥

以下选项对 rank 命令有效：

-d 文件名
用于搜索要包含的 CDD 文件的目录。 该选项结合使用
与 -分机 指定用于确定的文件扩展名的选项
目录中的哪些文件是 CDD 文件。

-深度 数
指定到达每个覆盖点所需的 CDD 文件的最小数量。 这
价值 数 应该大于零。 默认值为 1。

-分机 延期
配合使用 -d 选项。 如果不 -分机 选项在
命令行，使用'.cdd'的默认值。 请注意，句号 (.) 应
被指定。

-f 文件名
包含要解析的附加参数的文件名。

-h 显示 rank 命令的帮助信息。

-仅限姓名
如果指定，则仅输出需要在
他们需要运行的顺序。 如果未设置此选项，则报告样式的输出为
提供了额外的信息。 此选项在脚本中很有用
只希望 CDD 文件名作为输出运行。

-o 文件名
输出排名信息的文件名。 默认为标准输出。

-必需的cdd 文件名
应被视为需要排序的 CDD 的 CDD 名称（即，它不能是
因任何原因被排除）。

-必填清单 文件名
包含应视为必需 CDD 的 CDD 列表的文件的名称
排名。 文件名应由空格或换行符分隔
文件内。

-v 导致在运行 rank 命令时显示详细输出。 它输出
有关排名算法每个不同阶段的诊断信息
包括运行时间、包含/排除的 CDD 文件数和覆盖范围数
在每个阶段被排名的 CDD 击中的点数。 此信息旨在
对那些对排名算法及其性能感兴趣的人很有用。

-权重断言 数
指定用于对非唯一性进行排名的断言覆盖率的相对权重
覆盖点。 的价值 数 是相对于中使用的值
-重量切换, -重量记忆, -重量梳, -重量-fsm 和 -重量线 排名
命令选项。

-重量梳 数
指定用于排名的组合逻辑覆盖的相对权重
非唯一覆盖点。 的价值 数 是相对于中使用的值
此 -重量切换, -重量记忆, -权重断言, -重量-fsm 和 -重量线
排名命令选项。

-重量-fsm 数
指定 FSM 状态和状态转换覆盖的相对权重，用于
对非唯一覆盖点进行排名。 的价值 数 是相对于值
用于 -重量切换, -重量记忆, -重量梳, -权重断言 和
-重量线 排名命令选项。

-重量线 数
指定用于对非唯一覆盖进行排名的线覆盖的相对权重
点。 的价值 数 是相对于中使用的值 -重量切换,
-重量记忆, -重量梳, -重量-fsm 和 -权重断言 排名命令选项。

-重量记忆 数
指定用于对非唯一覆盖进行排名的内存覆盖的相对权重
点。 的价值 数 是相对于中使用的值 -重量切换,
-重量线, -重量梳, -重量-fsm 和 -权重断言 排名命令选项。

-重量切换 数
指定用于对非唯一覆盖进行排名的切换覆盖的相对权重
点。 的价值 数 是相对于中使用的值 -重量记忆,
-重量线, -重量梳, -重量-fsm 和 -权重断言 排名命令选项。

排除 指挥

以下选项对 exclude 命令有效：

-f 文件名
指定包含更多排除命令选项的文件的名称。
对于单个调用，可以根据需要多次指定此选项
排除命令。

-h 为 exclude 命令生成使用信息。

-m 允许将排除消息与任何覆盖点相关联
从包含状态到排除状态。 对于满足的每个覆盖点
这个要求，会提示用户输入一个原因。 原因可能是
任意长度和任意数量的行； 但是，所有格式字符（即
换行符、制表符、额外空格等）将被删除并替换为单个
稍后显示时的空间。 要结束消息输入，请按回车键，
输入单个句点 (.) 字符并再次按回车键。 最后一期
字符将不会成为排除消息的一部分。

-p 使所有指定的覆盖点打印其当前的排除状态并
排除原因（如果排除的覆盖点存在）到标准
输出。 如果指定了此选项，则 -m 选项将被忽略。

使用 COVERED AS A VPI 模块

除了使用Covered的score命令解析一个VCD、LXT2或FST文件来抽象
覆盖信息，Covered 也可以用作模拟器中的 VPI 模块
提取这些信息。 与转储文件阅读器相比，使用 Covered 作为 VPI 的优势
包括以下这些。 首先，VCD 文件可能非常大，尤其是长时间
模拟，占用宝贵的磁盘空间。 其次，如果您使用的模拟器
以不同于 VCD、LXT2 或 FST 的格式转储文件，并且您想转换这些转储文件
文件类型到这些版本之一，磁盘空间和时间的成本可以使创建
Covered 需要不需要的转储文件。 此外，虽然使用 Covered 作为 VPI
模块会减慢你的模拟速度，很可能花费的总时间
一步模拟您的设计并为设计评分将比在步骤中这样做更短
两步。 因此，Covered 的配置实用程序可以生成 VPI 就绪库，用于
以下免费和商业模拟器（Icarus Verilog、CVER 和 VCS）。

要在从源生成 Covered 时自动构建 VPI-ready 库文件，
在运行“configure”实用程序时，只需指定以下一项或多项
基本覆盖目录：--with-iv= , --with-vcs=
路径>, --with-cver= . 配置 Covered 后，只需键入
“制作”和“制作安装”。 这将安装 VPI-ready 库文件在
安装 libexec 目录（默认情况下，此路径为 /usr/local/libexec）。

在准备编译设计之前，您必须首先创建一个 CDD 文件，一个顶层
Verilog 文件和 PLI 表文件（只有 VCS 编译器需要最后一个文件）。
这是通过指定 -vpi (文件名) Covered 的 score 命令选项。 如果不
文件名在 -vpi 之后指定，文件covered_vpi.v 和covered_vpi.ta b 将是
与生成的覆盖文件一起创建。 注意这一步只需要
执行一次，除非设计文件更改。 您现在已准备好编译
模拟器。

如果您正在编译 Icarus Verilog 模拟，只需添加 '-m
/usr/local/libexec/covered.vpicovered_vpi.v' 到'iverilog' 命令行。 一次
编译完成，像往常一样运行生成的可执行文件。

如果您正在编译 CVER 模拟，只需添加
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrapcovered_vpi.v'
'cver' 命令行。

如果您正在编译 VCS 模拟，只需添加 '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_registercovered_vpi.v'到'vcs'
命令行。 编译完成后，运行生成的可执行文件
通常会的。

如果你正在编译一个 NC-Verilog 模拟，切换到 NC-Verilog 的 irun 命令来加载
覆盖的共享对象：'-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
并使用“-access +rwc”启用所有访问。 您可以将 $covered_sim 调用硬编码为
您的 RTL 或者您可以使用 CLI 动态运行它，方法是添加 -input input.tcl
切换到 irun。 input.tcl 文件如下所示，tb.dut 是
覆盖实例：
调用 -systf {$covered_sim} {"scored.cdd"} tb.dut
运行

有两个 plusargs 可以在运行时传递给生成的可执行文件
覆盖将解析。 '+covered_cdd= ' 选项将导致 Covered 输出
计分设计内容到指定的 CDD 文件. 这允许多次运行
无需重新编译即可生成多个不同的 CDD 文件的模拟器
发生。 '+covered_debug' 选项会导致 Covered 转储大量过多的输出
关于它在模拟过程中的内部运行时状态。 此输出只会生成
如果 Covered 配置了 --enable-debug 选项。 这个 plusarg 选项不应该
由普通用户使用，因为它主要用于帮助 Covered in 的开发人员
调试。

作者

特雷弗·威廉姆斯[电子邮件保护]>

使用 onworks.net 服务在线使用涵盖的内容