VCS命令详解(二):仿真命令

-a <文件名>
指定将模拟中的所有消息追加到指定文件中文本的底部，以及将这些消息显示到标准输出。

-assert <关键字参数>
关键字参数及其作用如下：
dumpoff
在仿真过程中，禁止在VPD文件中转储SVA信息。
filter
阻止报告琐碎的SystemVerilog断言含义成功。当隐含构造仅由于前提条件（先验）部分为假（因此不检查结果部分）而成功注册时，就会发生这些情况。使用此选项，报告仅显示整个表达式匹配的成功。
finish_maxfail =
如果任何断言的SystemVerilog断言失败的次数达到N，则终止仿真。必须提供N，否则未设置限制。
global_finish_maxfail =
当所有SystemVerilog断言的失败总数达到N时，停止仿真。
maxcover =
N次覆盖Cover语句后，禁止收集Cover语句的coverage信息。 必须为正整数，不能为0。
maxfail =
将每个断言的SystemVerilog断言失败的次数限制为N。达到限制时，将禁用断言。必须提供N，否则未设置限制。
maxsuccess =
将已报告的SystemVerilog断言成功总数限制为N。必须提供N，否则未设置任何限制。即使在达到限制后，也会继续监视断言。
nocovdb
告诉VCS不要为声明覆盖写入<program_name> .db文件。
nopostproc
在模拟结束时禁用显示SVA覆盖摘要。
quiet0 | 1
quiet0在标准输出中禁用有关断言失败的消息。quiet1在标准输出中禁用有关断言失败的消息，但在模拟结束时显示它们的摘要。还报告从未触发的断言。
report[= <文件名>]
除了在屏幕上显示结果之外，还生成SystemVerilog断言报告文件。默认情况下，文件的名称和位置是./simv.vdb/report/ova.report，但是您可以通过输入filename路径名参数来更改它。
success
除了失败之外，还可以报告成功的SystemVerilog断言匹配。默认为仅报告故障。
verbose
将更多信息添加到由report = 关键字指定的报告中，包括永不触发的断言和未完成的断言，以及存在，尝试和失败的断言数量的摘要。
您可以使用加号+分隔符输入多个关键字，例如：
-assert
maxfail = 10 + maxsuccess = 20 + success + filter

-cm line|cond|fsm|tgl|branch|assert
指定监视指定类型的覆盖范围。参数指定了覆盖范围的类型：
line监视行或语句的覆盖范围。
cond监视条件覆盖率。
fsm监控FSM覆盖率。
tgl监控切换覆盖范围。
branch监视分支机构的覆盖范围。
assert监视SystemVerilog assert的声明覆盖范围。
如果希望VCS监视多种类型的coverage，请使用加号+字符作为参数之间的分隔符，例如：
-cm line + cond + fsm + tgl

-cm_dir <目录路径名称>
指定coverage数据库目录的备用名称和位置。

-cm_glitch
指定一个毛刺周期，在此期间，VCS不会监视由值更改引起的覆盖范围。周期是用非负整数指定的模拟时间间隔。

-cm_log <文件名>
指定