search

YosysHQ / riscv-formal

RISC-V Formal Verification Framework
ISC License
101 stars 23 forks source link

Documentation updates #15

Closed KrystalDelusion closed 1 year ago

KrystalDelusion commented 1 year ago

Mostly focused on documenting the usage of genchecks.py. Also includes some expanded information on macros in case genchecks.py is not used and a few other minor things.