A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.
cryptography
microcontroller
cpu
crypto
verilog
mit-license
systemverilog
risc
formal-verification
yosys
risc-v
verilator
micro-controller
riscv64
-
Updated
Jan 31, 2022 - SystemVerilog