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

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

collaborators

2 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.AR2024★ 2 cited

A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers

Zhihao Xu, Shikai Guo, Guilin Zhao +3

Field Programmable Gate Array (FPGA) logic synthesis compilers (e.g., Vivado, Iverilog, Yosys, and Quartus) are widely applied in Electronic Design Automation (EDA), such as the de…