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

Question

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

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

searchlog -expr { stream == 'h20 } 0 

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

Answer 1

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

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

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

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