Need an option to avoid using HPM counter CSRs

CTSRD-CHERI / QuickCheckVEngine

A RISC-V TestRIG Verification Engine based on QuickCheck

BSD 2-Clause "Simplified" License

7 stars 10 forks source link

Need an option to avoid using HPM counter CSRs #25

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

When generating the all/random template we appear to end up with reads of HPM CSRs indices (I believe rv32_zicsr is where this comes from?) and those result in divergences vs sail. Would be good to have an option to explicitly avoid those CSR numbers for has_ihpm == false.

PeterRugg commented 1 year ago

Apologies, I started looking, but it seems they could come from multiple different sources. I'll dig into this more on Monday.