A Formal Verification App Towards Efficient, Chip-Wide Clock Gating Verification