TY - RPRT TI - Structural Mutation Based Differential Testing for FPGA Logic Synthesis Compilers AU - Zhihao Xu AU - Shikai Guo AU - Guilin Zhao AU - Siwen Wang AU - Qian Ma AU - Hui Li AU - Furui Zhan PY - 2025 UR - https://arxiv.org/abs/2508.17713 ID - 2508.17713 ER -