Enhancing Finite State Machine Design Automation with Large Language Models and Prompt Engineering Techniques. - Qun-Kai Lin; Cheng Hsu; Tian-Sheuan Chang (APCCAS, 2024)