A Formal Verification App Towards Efficient, Chip-Wide Clock Gating Verification Author(s): Prosenjit Chatterjee, Scott Fields, and Syed Suhaib Download
