search

YosysHQ / riscv-formal

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

The included SERV example fails most checks #9

Closed jix closed 1 year ago

jix commented 1 year ago

Only the causal, pc_bwd, pc_fwd and unique checks pass, the rest are failing.

I haven't looked into the reason for this yet. Finding out when things broke (i.e. trying different versions of riscv-formal, SERV and possibly even the oss-cad-suite) might be the easiest way to narrow down this issue.

KrystalDelusion commented 1 year ago

All checks except for liveness are passing in 0bbaa2016320452aae8c8c35b9d56e02c08d131d