HLSTester combines LLM-based testbench adaptation, backward slicing, feedback-guided mutation, and redundancy filtering to automatically detect behavioral discrepancies between C/C++ programs and HLS-generated FPGA circuits.
Correlated Multi-objective Multi-fidelity Optimization for HLS Directives Design,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
HLSTester combines LLM-based testbench adaptation, backward slicing, feedback-guided mutation, and redundancy filtering to automatically detect behavioral discrepancies between C/C++ programs and HLS-generated FPGA circuits.