Don t care sequences and the optimization of interacting finite state machines

June-Kyung Rho, Fabio Somenzi. Don t care sequences and the optimization of interacting finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems, 13(7):865-874, 1994. [doi]

Abstract

Abstract is missing.