前仿xprop

xprop作用

使前仿结果更接近后仿中x态传播的情况，在前仿中尽早发现未初始化寄存器对电路逻辑的影响。

xprop使用

在vcs编译时，添加选项-xprop=xprop.cfg，xprop.cfg为参数配置文件，内容如下：

tree {test_top} {xpropOff} ;
instance {test_top.u_dut} {xpropOn} ;
module {sub_top} {xpropOff} ;
merge = xmerge ;  // tmerge | xmerge

vcs xprop 检查有 3 种模式，区别如下：

mode	X 态处理
vmerge	对待 X 态最为乐观，遵守 Verilog 或 VHDL 规定的 X 态处理规则，不存在 X 态传播问题
tmerge	处于乐观与悲观之间，接近实际硬件行为或门仿，X 态传播一段路径后终结
xmerge	对待 X 态最为悲观，比门仿还悲观，X 态会一直传播下去

Notes:

1. -xprop 一般不能跟 +vcs+initreg+0/1/random 同时使用，因为 +vcs+initreg+0/1/random 会把 Verilog 的变量、寄存器及 Memory 初始值设置为 0 或 1 等非 X 状态，这样就测不到初始 X 态了。
2. 若未指定 -xprop，默认为 vmerge，即默认不存在 X 态传播问题，也不进行检查。
3. 若定义了 -xprop 但未指定具体模式，默认为 tmerge，即采用接近真实电路的 X 态传播模式并进行检查。