search

YosysHQ / riscv-formal

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

Re-enable serv liveness check #23

Closed KrystalDelusion closed 1 year ago

KrystalDelusion commented 1 year ago

Defines fairness flag for liveness test, extending the timeout_*bus length to 4 bits and extending the check depth.

olofk commented 1 year ago

Tested locally and works fine. Approved