3 papers
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.LG2026
SCENIC: Semantic-Conditioned Edge-Aware Neural Framework for Structured IoT Command Generation
Luke Ztz Hu, Hongbing Lang, Songping Mai
Edge Internet of Things (IoT) agents are often constrained by memory capacity, privacy requirements, communication latency, and recurring inference cost. Current smart-home assista…
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…