Merge pull request #2483 from pascalgouedo/cv32e40p/dev_dd_pgo

Up-to-date version of CV32E40Pv2 RISC-V ISA Formal Verif plan.
openhwgroup · Jun 28, 2024 · 87940ec · 87940ec
2 parents 259a5fc + e1bbb39
commit 87940ec
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