VCS的x态传播选项xprop的用法

VCS的xprop选项用来仿真X态传播，模拟硬件的行为。xprop在脚本中的配置如下：
xprop = off

ifeq ($(xprop),on)
USER_CMP_OPTS += -xprop=./xprop_cfg
endif

xprop的内容如下：
merge = tmerge
tree     {testbench}                             {xpropOff}; // marks a module name and its submodules
instance {u_testbench.u_dut_top}                 {xpropOff}; // marks an instance name
instance {u_testbench.u_dut_top.u_subsystem_top} {xpropOn};
module   {my_sram_module}                        {xpropOff}; // marks a module name