Don't cares in logic minimization of extended finite state machines.

Yunjian Jiang, Robert K. Brayton

Browse the full ASPDAC paper archive.