Input don't care sequences in FSM networks.

Huey-Yih Wang, Robert K. Brayton

Browse the full ICCAD paper archive.