TY - RPRT TI - A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs AU - Yi Zhang AU - He Jiang AU - Xiaochen Li AU - Shikai Guo AU - Peiyu Zou AU - Zun Wang PY - 2025 UR - https://arxiv.org/abs/2508.15536 ID - 2508.15536 ER -