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不要为声明覆盖写入 .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 <文件名>
指定一个日志文件,用于在模拟过程中监视覆盖范围。

-cm_name <文件名>
作为编译时或运行时选项,指定中间数据文件的名称。在cmView命令行上,指定报告文件的名称。

-cm_tglfile <文件名>
指定在运行时显示文件中输入的顶级模块实例指定的一个或多个子层次结构的总切换计数。

-E <程序>
启动程序,该程序显示创建simv(或simv.exe或使用-o选项指定的其他名称)可执行文件时vcs命令行上的编译时选项。

-grw <文件名>
将$ gr_waves输出文件的名称设置为指定文件。默认文件名为grw.dump。

-gui
启动可视环境(DVE)图形用户界面。

-i<文件名>
指定包含模拟开始时VCS执行的CLI命令的文件。

-k <文件名> |关
指定vcs.key文件的替代名称或位置,VCS会将在模拟过程中输入的CLI交互式命令写入该名称或位置。 off参数告诉VCS不要写入此文件。

-l <文件名>
指定将模拟中的所有消息写入指定文件,并在标准输出中显示这些消息。对于日志文件,此选项以字母“ l”(小写字母“ L”)开头。

-ova_cov
启用功能覆盖率报告。

-ova_cov_name <文件名>
指定功能覆盖率报告文件的文件名或完整路径名。此选项将覆盖默认的报告名称和位置。如果仅给出文件名,则使用默认位置,从而生成./simv.vdb/fcov/ <文件名> .db。

-ova_cov_db <文件名>
指定初始coverage文件的路径名。需要初始coverage文件来设置数据库。默认情况下,从simv.vdb / snps / fcov / default.db中加载空的coverage文件。

-ova_filter
阻止琐碎的if-then成功报告。当if-then构造仅由于if部分为false(因此不检查then部分)而注册成功时,就会发生这些情况。使用此选项,报告仅显示整个表达式匹配的成功。该选项由-ova_enable_diag编译时选项启用。

-ova_max_fail
将每个断言的报告失败次数限制为N。即使达到此限制后,也会继续监视断言。-ova_ebable_diag编译时选项启用了此选项。

-ova_max_success
将每个断言的成功次数限制为N。即使在达到限制后,也会继续监视断言。该选项由-ova_enable_diag编译时选项启用。

-ova_name <名称| / <路径名> / <名称>
指定./simv.vdb/scov/results.db和./simv.vdb/reports/ova.report文件的替代名称或位置和名称。如果要从一系列模拟运行中获取数据和报告,则可以使用此选项。这是防止VCS覆盖以前的模拟中的这些文件的一种方法。如果仅指定名称,则替代名称的文件将位于默认目录中。如果指定路径名,并使用包含斜杠字符/的参数,则为这些文件指定其他位置和名称,例如:
-ova_name / net / design1 / ova / run2
此示例告诉VCS在/ net / design1 / ova目录中写入run2.db和run2.report。

-ova_report [<文件名>]
指定编写OpenVera断言报告文件。默认文件名和位置是simv.vdb / report / ova.report,但是您可以指定其他名称和位置作为此选项的参数。

-ova_simend_max_fail
如果达到任何断言的失败次数,则终止仿真。该选项由-ova_enable_diag编译时选项启用。

-ova_sucess
启用成功匹配报告。该选项由-ova_enable_diag编译时选项启用。

-ova_quiet [1]
禁用在屏幕上显示功能覆盖率结果。可选的1参数指定显示这些结果的摘要。

-ova_verbose
在报告末尾添加更多信息,包括从未触发的断言和未完成的尝试,以及包含存在,尝试和失败的断言数量的摘要。

-q
静音模式。禁止打印VCS标头和摘要信息,在仿真开始时专有消息以及在仿真结束时打印VCS仿真报告(时间,CPU时间,数据结构大小和日期)

-s
停止仿真,然后进入交互模式。与+ cli + 选项一起使用。

-sverilog
启用Accellera SystemVerilog规范中的Verilog语言扩展。

-ucli
启用UCLI命令的使用。

-V
详细模式。打印VCS版本和扩展的摘要信息。在模拟开始时,打印VCS编译和运行时的版本号以及版权信息。

-vcd <文件名>
将输出的VCD文件名设置为指定的文件。默认文件名为verilog.dump。 Verilog源代码中的$ dumpfile系统任务将被覆盖
此选项。

  • vcdfile + <文件名>
    指定要用于后期处理的VCD文件。

-vhdlrun
VCS-MX选项可为混合HDL设计的VHDL部分传递scsim命令行选项。

-xzcheck [nofalseneg]
每次VCS评估条件表达式具有X或Z值时,都会检查设计中的所有条件表达式并显示警告消息。
nofalseneg
当条件表达式的值在相同的仿真时间步中转换为X或Z,然后转换为0或1时,禁止显示警告消息。

+cliecho
指定VCS在您使用-i选项指定的文件中显示CLI命令,因为VCS执行这些命令。仅限于UNIX。

+maxdelays
物种使用已编译的SDF文件获得+ allmtm编译时选项生成的最大延迟。如果还输入+ override_model_delays运行时选项,则还指定使用SWIFT VMC或SmartModels或Synopsys硬件模型的最大延迟。

+mindelays
指定使用已编译的SDF文件来获得+ allmtm编译时选项所产生的最小延迟。如果还输入+ override_model_delays运行时选项,则还指定对SWIFT VMC或SmartModels或Synopsys硬件模型使用最小延迟。

+no_notifier
禁止通知程序寄存器的切换,通知程序寄存器是定时检查系统任务的可选参数。

+no_pulse_msg
当出现脉冲错误情况时,抑制脉冲错误消息,但不抑制在模块路径输出处生成StX值。

+no_tchk_msg
禁用定时检查警告消息的显示,但不禁用定时检查中通知程序寄存器的切换。这也是一个编译时选项。

+notimingcheck
禁止计时检查。

+ntb_cache_dir = <目录路径>
指定VCS保留为用于随机化的内部磁盘缓存的缓存的目录位置。

+ntb_debug_on_error
遇到模拟错误时,使模拟立即停止。除了正常的验证错误外,如果发生运行时错误,此选项也会暂停仿真。

+ntb_enable_solver_trace =
启用当VCS执行randomize()方法调用时显示诊断信息的调试模式。允许的值为:
0-不显示(默认)。
1-显示VCS正在解决的约束。
2-显示整个约束集。

+ntb_enable_solver_trace_on_failure =
使得能够显示跟踪信息只有当VCS约束求解器无法计算的溶液中,通常是由于不一致constraints.When选项的值是2的模式中,分析缩减到最小的一组不一致的限制,从而有助于调试处理。允许值为0、1、2。默认值为2。

+ntb_exit_on_error [= ]
值小于0时,导致VCS退出。该值可以是:
0:继续
1:在第一个错误时退出(默认值)
N:第n个错误退出。
当value = 0时,无论错误数量如何,仿真都会结束。

+ntb_load = path_name_to_libtb.so
指定加载测试台共享库文件libtb.so。

+ntb_random_seed =
设置模拟开始时顶级随机数生成器使用的种子值。随机(种子)系统函数调用将覆盖此设置。该值可以是任何整数。

+ntb_solver_mode =
允许在两个约束求解器模式之一之间进行选择。设置为1时,在每个类的第一次调用randomize()的过程中,求解程序将花费更多的预处理时间来分析约束。设置为2时,求解程序将进行最少的预处理,并在每次对randomize()的调用中分析约束。预设值为2。

+ntb_stop_on_error
导致模拟在遇到模拟错误时立即停止,从而将其转换为cli调试环境。除了正常的验证错误外,ntb_stop_on_error还会在运行时出现错误时停止仿真。默认设置是在当前仿真时间内执行其余代码。

+override_model_delays
使您能够使用+ mindelays,+ typdelays或+ maxdelays运行时选项为SWIFT SmartModels或Synopsys硬件模型指定时序。

+sdfverbose
允许显示有关SDF反向注释的十多个警告和十个错误消息。

+typedelays
指定将编译的SDF文件用于+ allmtm编译时选项生成的典型延迟。如果还输入+ override_model_delays运行时选项,则还指定对SWIFT VMC或SmartModels或Synopsys硬件模型使用典型延迟。

+vcs + dumparrays
在VCD文件中启用转储内存和多维数组值。您还必须使用+ memcbk编译时选项。

+vcs + dumpoff + +
在时间处关闭值更改转储($ dumpvars系统任务)。 是大于32位的时间值的高32位。

+vcs + dumpon + +
禁止$ dumpvars系统任务,直到时间。 是大于32位的时间值的高32位。

+vcs + dumpvarsoff
禁止$ dumpvars系统任务。

+vcs +finish+ +
在时间结束仿真。 是大于32位的时间值的高32位。

+vcs + grwavesoff
禁止$ gr_waves系统任务。

+vcs + ignorestop
告诉VCS忽略源代码中的$ stop系统任务。

+vcs + flush + log
增加刷新编译和模拟日志文件缓冲区的频率。

+vcs + flush + dump
增加刷新VCD文件的所有缓冲区的频率。

+vcs + flush + fopen
增加刷新$ fopen系统功能打开的文件的所有缓冲区的频率。

+vcs + flush + all
用于输入+ vcs + flush + log,+ vcs + flush + dump和+ vcs + flush + fopen所有三个选项的快捷方式选项。

+vcs +学习+ pli
跟踪使用ACC功能进行调试操作的位置,以便您可以重新编译设计,并在下一次仿真中仅在需要它们的地方启用它们。使用此选项,VCS将写入pli_learn.tab辅助PLI表文件。使用+ applylearn编译时选项重新编译设计时,可以输入此文件。

+vcs + lic + vcsi
签出三个VCSi许可证以运行VCS。

+vcsi + lic + vcs
当所有VCSi许可证都在使用中时,签出VCS许可证以运行VCSi。

+vcs + lic + wait
如果作业开始时没有可用的网络许可证,请等待。

+vcsi + lic +wait
告诉VCSi如果没有可用的网络许可证。

+vcs + mipd + noalias
如果在模拟运行期间,在MIPD注释发生之前调用了acc_handle_simulated_net,则会发出警告消息。发生这种情况时,只要指定了mip,mipb功能,就可以使用此选项为所有端口禁用此类别名。此选项适用于常规sdf注释,不适用于已编译的SDF。

+vcs + nostdout
禁用VCS的所有文本输出,包括消息和$ monitor和$ display以及其他系统任务的文本。如果包含-l选项,则VCS仍将此输出写入日志文件。

+vcs + stop + +
在时间停止模拟。 是大于32位的时间值的高32位(可选)。请参见《 VCS / VCSi用户指南》中的“在停止仿真之前指定长时间”一节。

+vera_load = <文件名.vro>
指定VERA目标文件。

+vera_mload = <文件名>
指定一个文本文件,其中包含VERA目标文件的列表。

你可能感兴趣的:(VCS学习,vcs)