- 如何确认xprop工作
如何确认xprop工作?
simv -report=xprop - 如何setup xprop环境
1)compile command 里加上:-xprop=…
- 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章节。