A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines.

Pranav Ashar, Srinivas Devadas, A. Richard Newton

Browse the full DAC paper archive.