Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Structural Mutation Based Differential Testing for FPGA Logic Synthesis Compilers
Zhihao Xu, Shikai Guo, Guilin Zhao +4
Field Programmable Gate Arrays (FPGAs) play a crucial role in Electronic Design Automation (EDA) applications, which have been widely used in safety-critical environments, includin…
cs.SE2025
Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
Hui Zeng, Zhihao Xu, Hui Li +2
Field-Programmable Gate Arrays (FPGAs) play an indispensable role in Electronic Design Automation (EDA), translating Register-Transfer Level (RTL) designs into gate-level netlists.…