Assertion Failing Because Signals Set to 'X'

Thanks for the replies. I played around with this for a bit and the solution that ended up working was using $isunknown (which I did not know about at the time).


disable iff(reset) (!(counter[i] != 12'b0 && i_enable_cntrs == 1'b0) || $isunknown(counter[i])[*11]);