Decomposition and factorization of sequential finite state machines

Srinivas Devadas, A. Richard Newton. Decomposition and factorization of sequential finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems, 8(11):1206-1217, 1989. [doi]

Abstract

Abstract is missing.