Optimum and heuristic algorithms for finite state machine decomposition and partitioning.

Pranav Ashar, Srinivas Devadas, A. Richard Newton

Browse the full ICCAD paper archive.