In reply to ben@SystemVerilog.us:
In reply to Mechanic:
The magic here is in the algorithm in making that determination.
It has NOTHING to do with SVA.
Ben SystemVerilog.us
Ben could you please elaborate the highlighted statement. I am not able to get how the algorithm are related in this topic.