A Formal Verification App Towards Efficient, Chip-Wide Clock Gating Verification Author(s): Prosenjit Chatterjee, Scott Fields, and Syed Suhaib Location: United States Year: 2014 Type: Paper Download