SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
Not on the map. Why?
Abstract (arXiv)
In today's rapidly evolving field of electronic design automation (EDA), the complexity of hardware designs is increasing, necessitating more sophisticated automation solutions. High-level synthesis (HLS), as a pivotal solution, automates hardware designs from high-level abstractions (e.g., C/C++). However, it faces significant challenges, particularly in design space exploration and optimization. While large language models (LLMs) have shown notable capabilities in code generation, their application to HLS has been limited due to the scarcity of (publicly) available HLS code datasets. Hence, research in this domain has primarily focused on techniques such as prompt engineering and retrieval-augmented generation (RAG). To overcome this limitation, this paper introduces SAGE-HLS, the first-of-its-kind fine-tuned LLM specifically for HLS code generation. Our method includes three key advancements: (i) We implement Verilog-to-C/C++ porting, converting verified and synthesizable Verilog codes into corresponding C, creating a dataset of 16.7K HLS codes; (ii) We implement a fine-tuning strategy, which is based on instruction prompting to code generation guided by abstract syntax tree (AST); (iii) We develop a semi-automated evaluation framework using VerilogEval to assess the functionality of the generated HLS code. Our experiments show that SAGE-HLS, fined-tuned on the QwenCoder (2.5) 7B model, achieves a near 100% success rate in code synthesizability and a 75% success rate in functional correctness.
Key facts. Cited by 9 papers in the map (data through 14 Oct 2026). First posted on arXiv 5 Aug 2025.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2026: 9.
9 papers.
- 2026Bench4HLS: End-to-End Evaluation of LLMs in High-Level Synthesis Code Generationcited by 2
- 2026HLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement Learningcited by 1
- 2026Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verificationcited by 1
- 2026From Pragmas to Partners: A Symbiotic Evolution of Agentic High-Level Synthesiscited by 0
- 2026ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verificationcited by 0
- 2026A3D: Agentic AI flow for autonomous Accelerator Designcited by 0
- 2026CASS-RTL: Correctness-Aware Subspace Steering for RTL Generation with LLMscited by 0
- 2026Agentic Electronic Design Automation: A Handoff Perspectivecited by 0
- 2026ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Designcited by 0
- 2026ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design28 Jul 2026
- 2026Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification25 Jun 2026
- 2026Agentic Electronic Design Automation: A Handoff Perspective18 Jun 2026
- 2026CASS-RTL: Correctness-Aware Subspace Steering for RTL Generation with LLMs4 Jun 2026
- 2026A3D: Agentic AI flow for autonomous Accelerator Design14 May 2026
- 2026HLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement Learning13 May 2026
- 2026ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification1 Mar 2026
- 2026From Pragmas to Partners: A Symbiotic Evolution of Agentic High-Level Synthesis1 Feb 2026
- 2026Bench4HLS: End-to-End Evaluation of LLMs in High-Level Synthesis Code Generation16 Jan 2026
Similar, not cited
Close in wording, no citation either way
- 2025Exploring Code Language Models for Automated HLS-based Hardware Generation: Benchmark, Infrastructure and Analysis
- 2024Optimizing High-Level Synthesis Designs with Retrieval-Augmented Large Language Models
- 2025Large Language Model for Verilog Code Generation: Literature Review and the Road Ahead
- 2025HDLCoRe: A Training-Free Framework for Mitigating Hallucinations in LLM-Generated HDL
- 2024New Solutions on LLM Acceleration, Optimization, and Application
- 2025TimelyHLS: LLM-Based Timing-Aware and Architecture-Specific FPGA HLS Optimization
- 2025Veritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form
- 2025DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base