Skip to content

Commit

Permalink
Merge pull request openhwgroup#2483 from pascalgouedo/cv32e40p/dev_dd…
Browse files Browse the repository at this point in the history 
…_pgo

Up-to-date version of CV32E40Pv2 RISC-V ISA Formal Verif plan.
  • Loading branch information
pascalgouedo authored Jun 28, 2024
2 parents 259a5fc + e1bbb39 commit 87940ec
Showing 1 changed file with 0 additions and 0 deletions.
Binary file modified cv32e40p/docs/VerifPlans/RISC-V_ISA_Formal/CV32E40Pv2_Formal_VerificationPlans.xlsx
View file
Binary file not shown.

0 comments on commit 87940ec

Please sign in to comment.