tcl - 使用 tcl 在 Modelsim 中查找某个信号何时具有特定值

Question

我正在尝试加快调试速度。在大跟踪中，我正在搜索信号的特定值。我在 linux 下使用 QuestaSim 10.0b。

我已经发现可以使用以下命令在 Modelsim/QuestaSim 中完成

searchlog -expr { stream == 'h20 } 0

不幸的是，当它具有值“XX”时，它也匹配信号“流”，但我只希望它匹配 0x20。我怎样才能确保它只匹配十六进制值，而不是未定义的值？

Answer 1

经过大量搜索和尝试，我找到了以下解决方案。

searchlog -expr { stream == 'h20 && ! stream'hasX } 0

在我看来很奇怪，如果您搜索一个值，您还必须确保它不是“X”，但它有效。

我仍然希望在这里看到更多的答案。