可以很容易的通过增加编译选项-xprop来实现对X-propagation的使能和检查,参考: vcs -xprop[=tmerge|xmerge|xprop_config_file] 默认的合并模式是tmerge,即被合并的结果如果不一致,则结果为x态,这种模式比较接近于实际硬件的行为。 当然也可以指定配置文件xprop_config_file,用来指定需要进行X-propagation的层次范围...
vcs -xprop=xmerge your_design.v 检查并修改设计:确保设计中没有导致X态无法正确传播的问题。例如,检查组合逻辑中是否存在环路、确保所有寄存器在仿真开始前都被正确初始化等。 使用断言(Assertions):在设计中加入断言来显式检查X态的出现和传播情况。断言可以帮助您更快地定位问题并验证设计的行为是否符合预期。
第一步:compile vcs -top top -file $BASE_DIR/verif/cfg/filelist/top.f -kdb -sverilog -full64 -ntb_opts uvm-1.2 -override_timescale=1ns/1ps +notimingchecks +nospecify +vcs+lic+wait -xprop=tmerge -o ${result_dir}/${case}/simv -debug_access+all -debug_region=cell+lib -l compile...
. . . . Specifying X-propagation Merge Mode . . . . . . . . . . . . . . 11-6 11-9 X-Propagation Configuration File. . . . . . . . . . . . . . . . . . . . . . 11-17 X-Propagation Configuration File Syntax . . . . . . . . . . . . . 11-18 Xprop ...
It turns out installing poetry inside a poetry project doesn't work well. (poetry update, poetry publish, etc. commands would fail) Add doctest w/ pytest + doctest, (#321). Publish to PyPI via CI when git tags are set. Documentation API: Split documentation of modules to separate pages ...
1. CMP_OPTIONS += -top $(TOP_MOD)2. CMP_OPTIONS += -timescale=1ns/1ps -unit_timescale=1ns/1ps3. CMP_OPTIONS += +vcs+initreg+random4. #CMP_OPTIONS += -xprop=tmerge5.6. ifeq ($(ccov), on)7. CMP_OPTIONS += -cm line+fsm+cond+tgl+assert+branch8. CMP_OPTIONS += -cm_co...
不加入-xprop选项时默认的仿真行为是vmerge 从X态传播的严重程度来看,xmerge>tmerge>vmerge +error+< count > 设置 VCS 详细说明错误计数限制 +vcs+loopreport+<number> 使能循环检测 +vcs+dumpvars+xxx.fsdb dump波形为xxx.fsdb,替代代码里$dumpvars ...