Skip to content

CV32E40Pv2 Verification update Week 15

Created by: XavierAubert

This Pull Request contain various fixes from past week work. Contributors are @dd-baoshan, @dd-BeeNee, @pascalgouedo and I.

Main topics covered are various bug fixes by @dd-baoshan :

  • XavierAubert#204
  • XavierAubert#205
  • XavierAubert#208
  • XavierAubert#211 @dd-BeeNee continued her work for waivers in XavierAubert#213 @pascalgouedo changed versioning number for march since its not relevant anymore in 968bc1f2 and fixed an issue we had with mscratch not being correctly saved when generating debug code 8f151c44

I worked on fixing more v1 tests to run correctly inside v2 environment (see XavierAubert#212 and XavierAubert#209).

I also implemented a new step in an existing test to improve code coverage, but by doing this a bug has been found in CSR reads while in hw loop (see ea725637, f36c8cff, f99c663d, b22212dc and 452daaf6). @pascalgouedo is working on a RTL fix for this, and @YoannPruvost will have a look on RVFI side because there are also mismatch issues.

Merge request reports

Loading