A resistor in the cloud is worth two in the hand.
The Dabao open-source hardware board features a Boachip-1x RISC-V MCU, whose RTL Verilog files are also open, and is IRIS inspectable.