TY  - RPRT
TI  - Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
AU  - Shuhang Zhang
AU  - Bryan Olmos
PY  - 2025
UR  - https://arxiv.org/abs/2505.17990
ID  - 2505.17990
ER  -