A scalable algorithm for RTL insertion of gated clocks based on ODCs computation | IEEE Journals & Magazine | IEEE Xplore