FSM decomposition for power gating design automation in sequential circuits | IEEE Conference Publication | IEEE Xplore