SCR1 is a high-quality open-source RISC-V MCU core in Verilog