Adding `csrc_hpm` cover check

YosysHQ / riscv-formal

RISC-V Formal Verification Framework

ISC License

94 stars 21 forks source link

Adding `csrc_hpm` cover check #21

Closed KrystalDelusion closed 1 year ago

KrystalDelusion commented 1 year ago

Verifies that a hpmevent csr with specified value will result in corresponding hpmcounter eventually incrementing. Currently only supports testing 1 hpmevent value per hpm csr.