CV32E40Pv2 Verification update Week 16 PR (!2414) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/XavierAubert/cv32e40p/dev_dd_ww16_PR into cv32e40p/dev Apr 19, 2024

Created by: dd-BeeNee

This Pull Request contains the work from last week, mainly updates to match RTL tag v1.7.2, as well as enhancements to improve function/code coverages. Contributors are @dd-baoshan, @dd-BeeNee, @pascalgouedo, @YoannPruvost.

Updated code coverage to be in sync with RTL tag v1.7.2, by @dd-BeeNee :

@https://github.com/XavierAubert/core-v-verif/pull/229

Enhanced function coverage, by @dd-baoshan :

@https://github.com/XavierAubert/core-v-verif/pull/230
@https://github.com/XavierAubert/core-v-verif/pull/227
@https://github.com/XavierAubert/core-v-verif/pull/224
@https://github.com/XavierAubert/core-v-verif/pull/221

Updated stream generator to generate legal imm6 value for SIMD instr:

@https://github.com/XavierAubert/core-v-verif/pull/228

Updated test settings to improve code coverage, by @pascalgouedo and assertion correspond to T-head FDIV/FSQRT behavior when waiting from WFI to sleep

@https://github.com/XavierAubert/core-v-verif/pull/226
@https://github.com/XavierAubert/core-v-verif/pull/222
@https://github.com/XavierAubert/core-v-verif/pull/219

Updated Imperas DV wrap to handle mhpmevents csr, by @YoannPruvost

@https://github.com/XavierAubert/core-v-verif/pull/223

CV32E40Pv2 Verification update Week 16 PR

Merge request reports