Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification

Zhe Zhao, Hongbing Lang, Zhihan Xiao +3

Software-compilable C programs routinely fail to complete the four-stage pipeline of a high-level synthesis (HLS) toolchain -- compilation, C simulation (CSim), synthesis, and C/RT…