arXiv:2606.28409v1 Announce Type: cross Abstract: 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/RTL co-simulation (CoSim) -- because HLS accepts only a synthesizable subset of C (HLS-C). Yet most existing large language model (LLM) systems built for HLS code repair only cover the early pipeline stages and feed raw tool logs directly to the model, yielding brittle and hard-to-reproduce fixes. We formulate C-to-HLS-C conversion as a closed-loop generation-verificati
The increasing complexity of HLS designs and the growing capability of LLMs are converging, making automated HLS code repair a timely and critical area of research.
This development can significantly accelerate the design and verification cycles for hardware, reducing costs and time-to-market for chip development, which is crucial for advanced computing.
The process of converting software-compilable C to synthesizable C (HLS-C) can become more autonomous and reliable through evidence-driven LLM agents, enhancing automated hardware development.
- · Semiconductor companies
- · Hardware design engineers
- · High-Level Synthesis (HLS) tool providers
- · AI developers specializing in code generation
- · Manual HLS debugging services
Faster and more efficient high-level synthesis workflows for complex chip designs.
Reduced barriers to entry for software developers moving into hardware design, broadening the talent pool.
Accelerated innovation in specialized hardware, contributing to advancements in AI/ML accelerators and other custom silicon.
This signal links to a primary source. Continuum Brief monitors and indexes it as part of the live intelligence stream — we do not republish source content.
Read at arXiv cs.AI