Поиск, когда определенный сигнал имеет определенное значение в Modelsim, используя tcl

Question

Я пытаюсь ускорить отладку. По большому счету я ищу конкретные значения сигнала. Я использую QuestaSim 10.0b под Linux.

Я уже выяснил, что можно сделать в Modelsim/QuestaSim с помощью следующей команды

searchlog -expr { stream == 'h20 } 0

К сожалению, это также соответствует сигналу "поток", когда он имеет значение "XX", но я хочу, чтобы он соответствовал только 0x20. Как я могу убедиться, что оно соответствует только шестнадцатеричному значению, но не неопределенному значению?

Answer 1

После долгих поисков и попыток я нашел следующее решение.

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

Мне кажется странным, что, если вы ищете значение, вы также должны убедиться, что это не 'X', но оно работает.

Я все еще надеюсь увидеть больше ответов здесь.