If PC.ta.V == 0, stop and report "PDT entry not valid" (cause = 266).
Here is the counter-example of the violation of the spec where in cycle 11 when pc.ta.v == 0, then in the next cycle RTL is not giving cause_code == 266 instead it is giving cause_code == 267 which is wrong.
The spec states that:
Here is the counter-example of the violation of the spec where in cycle 11 when pc.ta.v == 0, then in the next cycle RTL is not giving cause_code == 266 instead it is giving cause_code == 267 which is wrong.