TY - RPRT TI - SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip AU - Ziteng Hu AU - Yingjie Xia AU - Xiyuan Chen AU - Li Kuang PY - 2025 UR - https://arxiv.org/abs/2508.12910 ID - 2508.12910 ER -