-: High-Level Synthesis of Power-Gated Circuits | IEEE Journals & Magazine | IEEE Xplore