Merge pull request #1034 from Zain2050/main

Added Zcf & Zcd in rv32/64gc
This commit is contained in:
David Harris 2024-10-26 09:20:23 -07:00 committed by GitHub
commit 00ea3575c8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 0 deletions

View File

@ -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"

View File

@ -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"