property p_no_glitch;
logic data;
@(in[i]) disable iff (!rst_n)
(1, data = !in[i]) |=>
@(posedge clk)
(in[i] == data);
endproperty : p_no_glitch
CHECK_GLITCH : assert property(p_no_glitch) else $error("%m p_no_glitch");
Если модуль отключен, я получаю следующее сообщение:
Предшественник импликации никогда не выполняется
есть ли флаг (или любой другой способ) для отключения вышеуказанного сообщения?
i
genvar или константой, отличной от X? - person Greg   schedule 09.10.2013