The specs say that if the process ID is unsupported, cause_code should be 260 but RTL is giving cause_code == 278 which is wrong (cause_code = 278 is not mentioned in the specs).
Here's a counter-example illustrating a property failure: During the 15th cycle, when a new request arrives, the process ID is unsupported. Consequently, wrap_error is triggered, and wrap_cause_code is set to 260, which is expected. However, simultaneously, ptw_error also goes high, with ptw_cause_code set to 274. This simultaneous occurrence of wrap_error and ptw_error leads to a final cause_code of 278 (an undefined code) from this unique case, which is incorrect.
The specs say that if the process ID is unsupported,
cause_code
should be 260 but RTL is givingcause_code
== 278 which is wrong (cause_code = 278 is not mentioned in the specs).Here's a counter-example illustrating a property failure: During the 15th cycle, when a new request arrives, the process ID is unsupported. Consequently,
wrap_error
is triggered, andwrap_cause_code
is set to 260, which is expected. However, simultaneously,ptw_error
also goes high, withptw_cause_code
set to 274. This simultaneous occurrence ofwrap_error
andptw_error
leads to a finalcause_code
of 278 (an undefined code) from this unique case, which is incorrect.