Assertions

SystemVerilog
2

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