SynAct: A Reasoning-Acting Large Language Model Agent for Adaptive Synthesis Optimization
On the map: LLM reasoning → Reasoning for agents, planning and code
also in 1 more
Abstract (arXiv)
Logic synthesis transforms RTL designs into gate-level netlists, where PPA results are highly sensitive to the choice of optimization commands, making synthesis tuning both high-dimensional and expensive. Previous approaches fall into two categories: automated methods, which perform black-box search over fixed action spaces with limited decision-level interpretability, and LLM-based methods, which typically generate static scripts upfront and cannot adapt to evolving circuit states. We present SynAct, an adaptive closed-loop LLM reasoning--acting agent that iteratively diagnoses live synthesis reports and reasons over the current circuit state, retrieved tool knowledge, and historical optimization experience to issue targeted commands. SynAct focuses on improving timing, particularly worst negative slack (WNS), while maintaining balanced area and power trade-offs. Experiments on a commercial synthesis tool across 14 designs show that SynAct reduces average WNS to 27% of that from bootstrap synthesis.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Placed in Reasoning for agents, planning and code, one of 17 directions in LLM reasoning. Builds on 11 of its 23 references that are in the map. First posted on arXiv 13 Aug 2026.
Builds on
11 of 23 references.
References · 11
- 2020Retrieval-Augmented Generation for Knowledge-Intensive NLP Taskscited by 9,160
- 2022ReAct: Synergizing Reasoning and Acting in Language Modelscited by 8,355
- 2023AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversationcited by 1,906
- 2024From Local to Global: A Graph RAG Approach to Query-Focused Summarizationcited by 1,411
- 2017Grammar Variational Autoencodercited by 283
- 2023ChipNeMo: Domain-Adapted LLMs for Chip Designcited by 168
- 2023ChatEDA: A Large Language Model Powered Autonomous Agent for EDAcited by 118
- 2019DRiLLS: Deep Reinforcement Learning for Logic Synthesiscited by 47
- 2018Developing Synthesis Flows Without Human Knowledgecited by 29
- 2024Customized Retrieval Augmented Generation and Benchmarking for EDA Tool Documentation QAcited by 28
- 2021BOiLS: Bayesian Optimisation for Logic Synthesiscited by 18
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2026SKILL: Self-correcting Knowledge-guided Iterative Large Language Model Agent for Logic Optimization
- 2026ARES: Adaptive Reasoning-Effort Steering for PPA- and Cost-Aware RTL Optimization with LLM Agents
- 2026AnalogAgent: Self-Improving Analog Circuit Design Automation with LLM Agents
- 2026CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimization
- 2025VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
- 2025Can Reasoning Models Reason about Hardware? An Agentic HLS Perspective
- 2025Comprehensive Verilog Design Problems: A Next-Generation Benchmark Dataset for Evaluating Large Language Models and Agents on RTL Design and Verification
- 2025SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning