Don't Care Sequences and the Optimization of Interacting Finite State Machines.

June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi

Browse the full ICCAD paper archive.