State assignment for finite state machines using T flip-flops | IEEE Conference Publication | IEEE Xplore