Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. - Lucas Klemmer; Sonja Gurtner; Daniel Große (FDL, 2022)