If DC.tc.V == 0, stop and report "DDT entry not valid" (cause = 258).
Here is the counter-example of the violation of the spec where in cycle 4 when dc.tc.v == 0, then in the 7th cycle after completing of burst, RTL is not giving cause_code == 258 instead it is giving cause_code == 259 which is wrong.
The spec states that:
Here is the counter-example of the violation of the spec where in cycle 4 when dc.tc.v == 0, then in the 7th cycle after completing of burst, RTL is not giving cause_code == 258 instead it is giving cause_code == 259 which is wrong.