formal verification

AutoSVA: Democratizing Formal Verification of RTL Module Interactions

_Proceedings of the 58th ACM/IEEE Design Automation Conference (DAC)_, 2021