The specs stated in section 2.1.4 "Device-context configuration checks" that:
A DC with DC.tc.V=1 is considered as misconfigured if any of the following conditions are true. If misconfigured then, stop and report "DDT entry misconfigured" (cause = 259).
If any bits or encodings that are reserved for future standard use are set.
Here is the counter-example of the violation of specs, in the 8th cycle when InclPc ==1, dc.tc.pdtv == 1, and pdtp.mode == 10 which is a reserved number so it should give an error due to using that reserved number and cause_code should be "DDT entry misconfigured" but RTL is not giving any error which is wrong.
The specs stated in section 2.1.4 "Device-context configuration checks" that:
Here is the counter-example of the violation of specs, in the 8th cycle when InclPc ==1, dc.tc.pdtv == 1, and pdtp.mode == 10 which is a reserved number so it should give an error due to using that reserved number and cause_code should be "DDT entry misconfigured" but RTL is not giving any error which is wrong.