Up-to-date version of CV32E40Pv2 RISC-V ISA Formal Verif plan.

Signed-off-by: Pascal Gouedo <[email protected]>
openhwgroup · Jun 26, 2024 · e1bbb39 · e1bbb39
1 parent 259a5fc
commit e1bbb39
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/cv32e40p/docs/VerifPlans/RISC-V_ISA_Formal/CV32E40Pv2_Formal_VerificationPlans.xlsx b/cv32e40p/docs/VerifPlans/RISC-V_ISA_Formal/CV32E40Pv2_Formal_VerificationPlans.xlsx