Abstract: Model-based hardware design approaches have gained traction due to their efficiency in prototyping and verification. This paper presents the design and verification of a single-cycle RISC-V ...