Detecting live-lock using SV assertion

[ashokmehta72]

In reply to ben@SystemVerilog.us:

Thanks but I am not sure, I fully understand the use of set_1k.