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