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