Skip to content

Latest commit

 

History

History

verif

Verification Documentation

The sub-directories below this point contain documentation related to verification of the CORE-V family of RISC-V cores.

  • CV32E40P: verification documentation specific to the CV32E40P core
  • MeetingMinutes: Minutes of various Verification Task Group meetings
  • MeetingPresentations: Slides presented at various VTG meetings
  • GeneralPresentations: non-VTG-specifc slides

Looking for the Verification Strategy?

The CORE-V verification strategy is an overview of the strategy used to verify CORE-V cores. This documentation is not specific to any one core. It has been moved to core-v-verif.