The Dabao open-source hardware board features a Boachip-1x RISC-V MCU, whose RTL Verilog files are also open, and is IRIS inspectable.