Barkalov A. Logic Synthesis for FPGA-Based Mealy Finite State Machines...2025