OPTIMISTA: state minimization of asynchronous FSMs for optimum output logic.

Robert M. Fuhrer, Steven M. Nowick

Browse the full ICCAD paper archive.