search

YosysHQ / riscv-formal

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

Convert % formatting to fstrings in genchecks.py #11

Closed KrystalDelusion closed 1 year ago

KrystalDelusion commented 1 year ago

Rebased to updated main