2 papers
cs.FL2025
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…
cs.AR2024
Automated Formal Verification of a Highly-Configurable Register Generator
Shuhang Zhang, Bryan Olmos, Basavaraj Naik
Registers in IP blocks of an SoC perform a variety of functions, most of which are essential to the SoC operation. The complexity of register implementation is relatively low when…