Update rv32imc coverage files

This commit is contained in:
Jordan Carlin 2025-03-18 20:34:07 -07:00
parent 2acd142980
commit f4614f5973
No known key found for this signature in database

View file

@ -17,19 +17,14 @@
`define M_COVERAGE `define M_COVERAGE
`define ZCA_COVERAGE `define ZCA_COVERAGE
`define ZICSR_COVERAGE `define ZICSR_COVERAGE
// TODO: Should include ZIFENCEI when that is added to cvw-arch-verif
// Privileged extensions // Privileged extensions
`define ZICSRM_COVERAGE `define ZICSRM_COVERAGE
`define ZICSRS_COVERAGE
`define ZICSRU_COVERAGE `define ZICSRU_COVERAGE
`define EXCEPTIONSM_COVERAGE `define EXCEPTIONSM_COVERAGE
`define EXCEPTIONSS_COVERAGE
`define EXCEPTIONSU_COVERAGE `define EXCEPTIONSU_COVERAGE
`define EXCEPTIONSZC_COVERAGE `define EXCEPTIONSZC_COVERAGE
`define ZICNTRU_COVERAGE `define ZICNTRU_COVERAGE
`define ZICNTRS_COVERAGE
`define ZICNTRM_COVERAGE `define ZICNTRM_COVERAGE
`define INTERRUPTSU_COVERAGE `define INTERRUPTSU_COVERAGE
`define INTERRUPTSM_COVERAGE `define INTERRUPTSM_COVERAGE
`define INTERRUPTSS_COVERAGE