search

YosysHQ / riscv-formal

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

The included VexRiscv example fails the liveness check and the instruction checks for jumps/branches #10

Open jix opened 1 year ago

jix commented 1 year ago

All other checks (apart from the reg check which I stopped after >10h) are passing.