Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs Author(s): Shuhang Zhang, Bryan Olmos Location: United States Year: 2025 Type: Paper Format: pdf Download
