再见xprop

• 如何确认xprop工作
  如何确认xprop工作？
  simv -report=xprop
• 如何setup xprop环境
  1）compile command 里加上：-xprop=…
  

2. xprop.config file内容实例
   
   3）仿真命令加上，
   
   就是生成xprop report,如下图所示：
   

• 试试 verdi trace x 吧
  

二、仿真选项
如果不定义-xprop，则vcs 为vmerge mode，为典型的verilog behavior。
-xprop=tmerge，则vcs为tmerge mode，更接近实际的电路行为，也是使用比较多的。如果定义-xprop，则default 为tmerge mode。此模式下x态会传播一段路径后终结。
-xprop=xmerge，则vcs为xmerge mode，更悲观的一种行为，此行为下x态会一直传播。
-xprop是用来解决控制信号x态暴露问题的。
可以参考vcs user guide中Using X-Propaon章节。