github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-06-27 08:50:26 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #1465 from Marina-Bellido/selfchecking

Browse source 
Adding Zifencei to coverage.svh
This commit is contained in:
David Harris 2025-06-24 13:29:57 -07:00 • committed by GitHub
commit 0ccd97b151
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
config/rv32gc/coverage.svh
View file

@ -46,6 +46,7 @@
`define ZKNH_COVERAGE
`define ZAAMO_COVERAGE
`define ZALRSC_COVERAGE
`define ZIFENCEI_COVERAGE
// Privileged extensions
`define RV32VM_COVERAGE

1
config/rv64gc/coverage.svh
View file

@ -45,6 +45,7 @@
`define ZKNH_COVERAGE
`define ZAAMO_COVERAGE
`define ZALRSC_COVERAGE
`define ZIFENCEI_COVERAGE
// Privileged extensions
`define RV64VM_COVERAGE