Αποστολή με SMS: Finite State Machine Logic Synthesis for Complex Programmable Logic Devices