Krys/masking csrs - Githubissues

YosysHQ / riscv-formal

RISC-V Formal Verification Framework

ISC License

94 stars 21 forks source link

Closed KrystalDelusion closed 1 year ago

KrystalDelusion commented 1 year ago

Add support for masking CSRs during checks. See procedure doc for more information.