Violation - Compressed instruction is not valid

Created by: shetalani

Here is an issue found after applying OneSpin 360 DV-Verify RVV App on RI5CY:

Description: While "The RISC-V Instruction Set Manual Volume I: Unprivileged ISA" states that: "C.JR is only valid when rs1̸=x0; the code point with rs1=x0 is reserved.", the core doesn't raise an illegal instruction exception for such a case. Example: The instruction 32'h8002 (c.jr x0) is decoded at time point t##0 with no illegal instruction being flagged, as illegal_insn_dec is de-asserted.

---

Product: OneSpin 360 DV-Verify App: RVV Tool's version: 2019.2.1