Skip to content

CV32E40Pv2 Verification update

Created by: XavierAubert

Below is the pull request containing the last two weeks of work on CV32E40Pv2 verification. As usual, everything is organized in a more readable way, by topic.

  • Tests addition, regression lists updates

  • New tests to address hwloop, and hwloop in debug (XavierAubert#121 & XavierAubert#139)

  • Added new test to cover directive holes on gnt signal for instr and data obi interface XavierAubert#161

  • Added new tests to improve functional coverage holes XavierAubert#164

  • Added a bunch of new tests to improve decoder RTL coverage (illegal instructions for custom opcodes and F instructions, illegal, readonly and legal CSRs accesses, see PRs XavierAubert#158 & XavierAubert#163)

  • Also updated v1 test to improve our coverage 2399b9fc

  • Functionnal Coverage updates

  • Functional coverage enhacements on interrupts done by @dd-baoshan

    • mainly XavierAubert#151
  • Various Updates and Fixes

  • PR XavierAubert#141 to address updates mentionned in #2357

  • Solving https://github.com/openhwgroup/corev-gcc/issues/92 with XavierAubert#147, XavierAubert#144

  • Corrected two directed tests for hwloop & hwloop in debug mode XavierAubert#148

  • Fix issue in handling exception trap intercept with debug trigger match 22e410cb & 4103a325

  • Solved a bug where logs were missing if a test was run in parallel (See XavierAubert#154 & XavierAubert#155)

  • cv_regress script fix, changed behaviour of num field as it was confusing XavierAubert#162

Merge request reports

Loading