Steven M. Nowick

• Sequential optimization of asynchronous and synchronous finite-state machines