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…