Core based on RV32I ISA
Why do you think that https://github.com/SymbioticEDA/riscv-formal is a good alternative to planckRV32I
Core based on RV32I ISA
Why do you think that https://github.com/SymbioticEDA/riscv-formal is a good alternative to planckRV32I