SVA check for glitch/noise

[ssureshgverifier]

In reply to ben@SystemVerilog.us:

ok,get your point now, “1’b1 ##1 $stable(tx_rx)[*15]” sounds right