Abstract: Finite State Machines (FSMs), typically implemented in Verilog, are fundamental to the control logic of Systems-on-Chip (SoCs). With recent advances in large language models (LLMs) for code ...