Integration of the Open-Source RISC-V Formal Verification Framework into the STMicroelectronics Toolchain and Its Application to the STRiVe2.4 CPU. - Lorenzo Bordonaro; Emilio Rapuano; Sara Bocchio; Luca Fanucci (ApplePies, 2024)