search

YosysHQ / riscv-formal

RISC-V Formal Verification Framework
ISC License
94 stars 21 forks source link

minor corrections to quickstart #17

Closed naegling closed 1 year ago

naegling commented 1 year ago

Feel free to either cherry-pick or discard.