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.…