Automated Formal Verification of a Highly-Configurable Register Generator. - Shuhang Zhang; Bryan Olmos; Basavaraj Naik (CoRR, 2024)