This paper discusses synthesis optimization for finite state machine (FSM) design in FPGAs, emphasizing the importance of resource utilization and performance enhancement. It details various design constraints provided by synthesis tools to achieve optimal circuit performance, comparing FSM implementations using different process configurations and encoding techniques. The study includes analysis of synthesis results, highlighting the efficiency of different encoding schemes in terms of slice utilization, clock frequency, and timing characteristics.