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

Automated Formal Verification of a Highly-Configurable Register Generator. - Shuhang Zhang; Bryan Olmos; Basavaraj Naik (CoRR, 2024)

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier? - Bryan Olmos; Daniel Gerl; Aman Kumar; Djones Lettnin (CoRR, 2024)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs. - Shuhang Zhang; Bryan Olmos (CoRR, 2025)