Skip to content
Preprint

SynAct: A Reasoning-Acting Large Language Model Agent for Adaptive Synthesis Optimization

Aug 2026 · 0 citations · 30 references
Computer Science

TL;DR

SynAct is presented, 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 to improve timing.

Abstract

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.

View source

Similar papers

Book Open access Jul 2026

Semantic Mutation via LLMs: A Hybrid Approach to Evolutionary Program Synthesis

This work proposes a hybrid framework that integrates Large Language Models into GP in two complementary roles: as a semantic mutation operator that proposes non-local program rewrites during evolution, and as a post-evolution repair that iteratively refines single failed programs after search terminates.

Woletemaryam Liyew, Dojun Oh, Seokki Lee et al. · 0 citations
Preprint Aug 2026

SeqFeed: Improving Agentic RTL Code Generation with Sequential Behavior Feedback

Experimental results across multiple LLMs demonstrate the effectiveness of SeqFeed, which comprises two complementary mechanisms: an SQL-like waveform query language that enables agents to anchor queries to semantic events and sample signal values at relative time points, and a dependency graph that tracks signal propa...

Yu-Xin Du, Ju-Xin Niu, Tao Hu et al. · 0 citations
Conference Open access Sep 2026

Verifiable PDE Reasoning and Modeling with Neurosymbolics

The PDE-Controller formalizes informal PDEs, synthesizes solver-ready code, and plans subgoals to tackle nonconvex con-trol via interactions with external solvers, and the Lean Finder accelerates PDE formalization via a semantics-aware search engine for Lean/Mathlib that retrieves relevant theorems.

Wu-Yang Chen · 0 citations
Open access Jul 2026

Timing-driven Approximate Logic Synthesis Based on Cooperative Search

This paper develops two LAC search actions specialized in critical path shortening and area reduction, respectively, and shows that compared to a state-of-the-art area-driven method, this framework further reduces 20% critical path delay with comparable area savings, while being 7.9× faster.

Xiangfei Hu, Yuyang Ye, Chang Meng et al. · 0 citations
Preprint Jul 2026

From Atomic Actions to Standard Operating Procedures: Iterative Tool Optimization for Self-Evolving LLM Agents

EvoSOP is introduced, a framework that empowers agents to extract SOPs from execution trajectories and iteratively optimize the toolset through a systematic lifecycle of construction, merging, evaluation, and pruning, providing a scalable pathway for the development of self-evolving agents.

Haipeng Ding, Yuexiang Xie, Zhewei Wei et al. · 2 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.