YosysHQ/riscv-formal

Activity

shushruthholla opened this issue · 1 comments

shushruthholla commented

Is this repo still active and usable?

jix commented

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.