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

Shuhang Zhang, Bryan Olmos

Registers are primary storage elements in System-on-chip~(SoC) designs and play an important role in maintaining state information and processing data in digital systems. With resp…