Showing cs.ARShow all
2 papers · 1 filter
cs.AR2026
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…
cs.AR2026
Shift-Left High-Level Synthesis Verification via Knowledge-Augmented LLM Agent
Zhihan Xiao, Hongbing Lang, Zhe Zhao +2
High-Level Synthesis (HLS) relies on transforming original C specifications into synthesizable HLS-oriented C (HLS-C) implementations. Functional consistency verification between o…