Logic Synthesis For Fsm-Based Control Units by Alexander Barkalov & Larysa Titarenko