Finite State Machine Logic Synthesis for Complex Programmable Logic Devices heftetEngelsk, 2015