Villa, Tiziano Synthesis of finite state machines : functional optimization / Villa, Tiziano,Timothy Kam,Robert K.Brayton,Alberto Sangiovanni-VIincentell Dewey Class. No.: 621.395 / SYN