Finite state machine state assignment for area and power minimization. - Aiman H. El-Maleh; Sadiq M. Sait; F. Nawaz Khan (ISCAS, 2006)