Synthesis of Finite State Machines: Logic Optimization | Kaicus Deutschland