TY  - RPRT
TI  - HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
AU  - Kangwei Xu
AU  - Bing Li
AU  - Grace Li Zhang
AU  - Ulf Schlichtmann
PY  - 2025
UR  - https://arxiv.org/abs/2504.14641
ID  - 2504.14641
ER  -