Synthesis of power-managed sequential components based on computational kernel extraction | IEEE Journals & Magazine | IEEE Xplore