Redesign using state splitting | IEEE Conference Publication | IEEE Xplore