silabs-robin's repositories
core-v-docs
Documentation for the OpenHW Group's set of CORE-V RISC-V cores
Language:MakefileNOASSERTION000
core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
Language:AssemblyNOASSERTION000
cv32e40s
4 stage, in-order, secure RISC-V core based on the CV32E40P
Language:SystemVerilogNOASSERTION000
cv32e40s-dv
CV32E40S Design-Verification environment
Apache-2.0000
cv32e40x
4 stage, in-order, compute RISC-V core based on the CV32E40P
Language:SystemVerilogNOASSERTION000
cv32e40x-dv
CV32E40X Design-Verification environment
Language:Assembly000
riscv-formal
RISC-V Formal Verification Framework
Language:VerilogISC000