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.
A normalized dollar cost per LLM call reported alongside the figure of merit (FoM) is introduced, enabling fair comparison across effort levels and optimizers and finding the construction of the long-term memory matters little.
Stef Cuyckens, M. Jivanescu, Jun Yin et al.· arXiv.org· 0 citations
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.· Proceedings of the Genetic a...· 0 citations
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...
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· Proceedings of the Thirty-Fi...· 0 citations
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.· ACM Transactions on Design A...· 0 citations
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.