Power-gated FSM synthesis integrating partitioning and state assignment | IEEE Conference Publication | IEEE Xplore