Skip to content

Commit

Permalink
Merge pull request #1034 from Zain2050/main
Browse files Browse the repository at this point in the history
Added Zcf & Zcd in rv32/64gc
davidharrishmc authored Oct 26, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
2 parents f9b6afb + d22988b commit 00ea357
Showing 2 changed files with 3 additions and 0 deletions.
2 changes: 2 additions & 0 deletions config/rv32gc/coverage.svh
Original file line number Diff line number Diff line change
@@ -17,6 +17,8 @@
`include "RV32Zcb_coverage.svh"
`include "RV32ZcbM_coverage.svh"
`include "RV32ZcbZbb_coverage.svh"
`include "RV32Zcf_coverage.svh"
`include "RV32Zcd_coverage.svh"

// Privileged extensions
`include "ZicsrM_coverage.svh"
1 change: 1 addition & 0 deletions config/rv64gc/coverage.svh
Original file line number Diff line number Diff line change
@@ -18,6 +18,7 @@
`include "RV64ZcbM_coverage.svh"
`include "RV64ZcbZbb_coverage.svh"
`include "RV64ZcbZba_coverage.svh"
`include "RV64Zcd_coverage.svh"

// Privileged extensions
`include "RV64VM_coverage.svh"

0 comments on commit 00ea357

Please sign in to comment.