most citedA Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers

2 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing cs.SEShow all

3 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

A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs

Yi Zhang, He Jiang, Xiaochen Li +3

FPGA (Field-Programmable Gate Array) logic synthesis tools are key components in the EDA (Electronic Design Automation) toolchain. They convert hardware designs written in descript…

cs.SE2025

A Novel Interactive-Guided Differential Testing Approach for FPGA Simulation Debugger Tools

Shikai Guo, Xiaoyu Wang, Xiaochen Li +2

Field-Programmable Gate Array (FPGA) development tool chains are widely used in FPGA design, simulation, and verification in critical areas like communications, automotive electron…