TimelyHLS: LLM-Based Timing-Aware and Architecture-Specific FPGA HLS Optimization
Not on the map. Why?
Abstract (arXiv)
Achieving timing closure and design-specific optimizations in FPGA-targeted High-Level Synthesis (HLS) remains a significant challenge due to the complex interaction between architectural constraints, resource utilization, and the absence of automated support for platform-specific pragmas. In this work, we propose TimelyHLS, a novel framework integrating Large Language Models (LLMs) with Retrieval-Augmented Generation (RAG) to automatically generate and iteratively refine HLS code optimized for FPGA-specific timing and performance requirements. TimelyHLS is driven by a structured architectural knowledge base containing FPGA-specific features, synthesis directives, and pragma templates. Given a kernel, TimelyHLS generates HLS code annotated with both timing-critical and design-specific pragmas. The synthesized RTL is then evaluated using commercial toolchains, and simulation correctness is verified against reference outputs via custom testbenches. TimelyHLS iteratively incorporates synthesis logs and performance reports into the LLM engine for refinement in the presence of functional discrepancies. Experimental results across 10 FPGA architectures and diverse benchmarks show that TimelyHLS reduces the need for manual tuning by up to 70%, while achieving up to 4x latency speedup (e.g., 3.85x for Matrix Multiplication, 3.7x for Bitonic Sort) and over 50% area savings in certain cases (e.g., 57% FF reduction in Viterbi). TimelyHLS consistently achieves timing closure and functional correctness across platforms, highlighting the effectiveness of LLM-driven, architecture-aware synthesis in automating FPGA design.
Key facts. Cited by 5 papers in the map (data through 7 Oct 2026). First posted on arXiv 23 Jul 2025.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2026: 5.
5 papers.
- 2026Bench4HLS: End-to-End Evaluation of LLMs in High-Level Synthesis Code Generationcited by 2
- 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
- 2026BigPower: Hierarchical Source-Level Module Power Estimation for CPUs with Large Language Modelscited by 0
- 2026HLSmith: An Expert-Guided Agentic Framework for C/C++-to-HLS Translationcited by 0
- 2026HLSmith: An Expert-Guided Agentic Framework for C/C++-to-HLS Translation7 Aug 2026
- 2026Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification25 Jun 2026
- 2026BigPower: Hierarchical Source-Level Module Power Estimation for CPUs with Large Language Models11 Jun 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
- 2025HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis ↗
- 2024Optimizing High-Level Synthesis Designs with Retrieval-Augmented Large Language Models
- 2025SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
- 2025Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
- 2026RAG-Enhanced Kernel-Based Heuristic Synthesis (RKHS): A Structured Methodology Using Large Language Models for Hardware Design ↗
- 2025CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference
- 2026Synthesis-in-the-Loop Evaluation of LLMs for RTL Generation: Quality, Reliability, and Failure Modes
- 2025Exploring Code Language Models for Automated HLS-based Hardware Generation: Benchmark, Infrastructure and Analysis