Symbolic hazard-free minimization and encoding of asynchronous finite state machines.

Robert M. Fuhrer, Bill Lin, Steven M. Nowick

Browse the full ICCAD paper archive.