A fast algorithm for the optimal state assignment of large finite state machines.

Devadas Varma, Eliezer A. Trachtenberg

Browse the full ICCAD paper archive.