Bryan Olmos

According to our database, Bryan Olmos authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs.

Shuhang Zhang, Bryan Olmos

CoRR, May, 2025

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 a Highly-Configurable Register Generator.

Shuhang Zhang, Bryan Olmos, Basavaraj Naik

CoRR, 2024

Adaptable FWHW Formal Co-Verification of SoC RISC-V Components.

Paulette Iskandar, Bryan Olmos, Wolfgang Kunz, Djones Lettnin

Proceedings of the 32nd IFIP/IEEE International Conference on Very Large Scale Integration, 2024