3 papers
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.…
cs.AI2025
Modeling Relational Logic Circuits for And-Inverter Graph Convolutional Network
Weihao Sun, Shikai Guo, Siwen Wang +2
The automation of logic circuit design enhances chip performance, energy efficiency, and reliability, and is widely applied in the field of Electronic Design Automation (EDA).And-I…