Adaptable FWHW Formal Co-Verification of SoC RISC-V Components. - Paulette Iskandar; Bryan Olmos; Wolfgang Kunz; Djones Lettnin (VLSI-SoC, 2024)