SVA check for glitch/noise

SystemVerilog
,
5

In reply to ben@SystemVerilog.us:

Hi Ben, from LRM example…

The example
b ##1 a[*0:1] ##2 c
is equivalent to
(b ##2 c) or (b ##1 a ##2 c)