HLS-Seek replaces full-synthesis RL with a comparative proxy reward model plus uncertainty-triggered real checks, yielding higher correctness and better QoR than larger models at 8.5x lower training cost.
Hlspilot: Llm-based high-level synthesis
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3representative citing papers
An agent factory combining sub-kernel ILP assembly with multi-agent cross-optimization lets general coding agents deliver mean 8.27x speedups in HLS designs on standard benchmarks.
An LLM-based agent with dual-tier static/dynamic checking and an HLS knowledge graph reaches 0.9826 coverage and 0.9533 consistency on 107 benchmark pairs, beating AST, RAG, and iterative baselines.
citing papers explorer
-
HLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement Learning
HLS-Seek replaces full-synthesis RL with a comparative proxy reward model plus uncertainty-triggered real checks, yielding higher correctness and better QoR than larger models at 8.5x lower training cost.
-
Agent Factories for High Level Synthesis: How Far Can General-Purpose Coding Agents Go in Hardware Optimization?
An agent factory combining sub-kernel ILP assembly with multi-agent cross-optimization lets general coding agents deliver mean 8.27x speedups in HLS designs on standard benchmarks.
-
Shift-Left High-Level Synthesis Verification via Knowledge-Augmented LLM Agent
An LLM-based agent with dual-tier static/dynamic checking and an HLS knowledge graph reaches 0.9826 coverage and 0.9533 consistency on 107 benchmark pairs, beating AST, RAG, and iterative baselines.