SequEnglishtial Optimization of Asynchronous and Synchronous Finite-State Machines by