A Scalable ODC-Based Algorithm for RTL Insertion of Gated Clocks