Finite State Machine Logic Synthesis for Complex Programmable Logic Devices innbundetEngelsk, 2013