Commit 87940ec

pascalgouedo

authored

Merge pull request #2483 from pascalgouedo/cv32e40p/dev_dd_pgo

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

2 parents 259a5fc + e1bbb39 commit 87940ecCopy full SHA for 87940ec

1 file changed

+0

-0

lines changed

cv32e40p/docs/VerifPlans/RISC-V_ISA_Formal
- CV32E40Pv2_Formal_VerificationPlans.xlsx

1 file changed

+0

-0

lines changed

`‎cv32e40p/docs/VerifPlans/RISC-V_ISA_Formal/CV32E40Pv2_Formal_VerificationPlans.xlsx`

-5.78 KB

Binary file not shown.

Comments

(0)