search

YosysHQ / riscv-formal

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

Activity #7

Closed shushruthholla closed 1 year ago

shushruthholla commented 1 year ago

Is this repo still active and usable?

jix commented 1 year ago

This repo is still active and usable, although not all of the included example configurations were kept up to date. I am using this successfully with both the picorv32 and with the NERV core.