Final CV32E40Pv2 RISC-V ISA Formal Verification Properties status.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Final CV32E40Pv2 RISC-V ISA Formal Verification Properties status.
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
0807b575 · Pascal GOUEDO · ac6a829d · 0807b575
Commit 0807b575 authored 8 months ago by Pascal GOUEDO
--- a/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/Reports/RISC-V_ISA_Formal/Property_Status-v1_8_3.xlsx
+++ b/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/Reports/RISC-V_ISA_Formal/Property_Status-v1_8_3.xlsx