HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis.

Kangwei Xu, Bing Li, Grace Li Zhang, Ulf Schlichtmann

Browse the full ICCAD paper archive.