REVIEW 2 major objections 4 minor 22 references
A closed-loop LLM agent fixes ~92% of local chip-layout DRC violations on a 60-layout test suite by letting verification guide every edit.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 06:33 UTC pith:34NH2UAN
load-bearing objection Solid LLM-agent system for DRC repair with unusually careful ablations, but the 92.5% success rate is measured on a synthetic benchmark whose violation types are exactly the rule families the engine can fix. the 2 major comments →
DRC-Aid: Design-Rule Correction via Agentic Framework utilizing Inference-Time Large Language Models
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper claims that local DRC repair can be cast as verification-in-the-loop search over a deliberately small action space. A deterministic Rule Engine turns each reported violation into a bounded menu of grid-snapped edits (move/shrink/expand in four directions), tagged legal, risky, or blocked. An off-the-shelf LLM chooses an edit from this menu using serialized geometry and history; Calibre DRC and LVS verify each step, while budgeted DFS with backtracking and a memory bank guide exploration. On 60 FreePDK45 layouts with 285 injected violations, this reaches DRC-clean, LVS-equivalent repair in ~92% of cases and ~98% total violation reduction, versus 54.4% for random and 83.3% for determ
What carries the argument
The load-bearing mechanism is the Rule Engine: a deterministic pre-processor that converts an ambiguous verification marker into ranked geometric hypotheses and a small action menu, shrinking a combinatorial space (shapes × edit types × directions × magnitudes) down to what an LLM can reason over. Around it, budgeted depth-first search with anchor protection and backtracking turns single edits into multi-step plans; the Connectivity Engine bundles compensatory routing edits when a move severs a net; a global Memory Bank fingerprints visited states so the search cannot cycle; and mandatory Calibre DRC plus LVS health checks provide immediate reward signals that reject edits which clear geomet
Load-bearing premise
The load-bearing premise is that the 60-layout FreePDK45 suite, with violations injected inside the six rule families the Rule Engine covers, represents the local DRC-repair problem; if real layouts involve rule types or geometry outside that coverage, the measured ~92% success rate may not transfer.
What would settle it
Run DRC-Aid, with its Rule Engine unchanged, on a test suite whose violations include rule categories outside the six it handles (e.g., density, antenna, via-array, or non-Manhattan polygon rules) or on a different PDK; if strict success falls far below ~92%, the claim that local DRC repair is automatable at this level is falsified.
If this is right
- Local DRC repair can be automated with off-the-shelf LLMs, provided the model only selects from a bounded, rule-engine-generated edit menu rather than inventing geometry from scratch.
- Verification-in-the-loop is what makes repair safe: removing LVS checks drops strict success from ~92% to roughly 74%, even though raw violation clearance stays above 95%.
- Static prompting is not a viable repair route (SSR at most 6.6%); the gain comes from the closed-loop agentic structure, not from the LLM alone.
- When full repair is not achieved, the framework still returns LVS-equivalent partial candidates that clear 78–86% of violations, so failures degrade gracefully rather than corrupting the layout.
- Every layout in the 60-case suite was strictly resolved by at least two of the six model–seed runs, suggesting residual failures are budget- or sampling-related rather than intrinsic to the geometry.
Where Pith is reading between the lines
- The same architecture could likely port to other repetitive local-fix loops in physical design, such as post-route fixup or analog layout editing, wherever a deterministic rule layer can be defined; the authors list congestion and post-route scenarios as future work.
- Because the deterministic heuristic already reaches 83.3% SSR, a cheap production variant could reserve LLM reasoning for the hard minority of layouts (roughly those with six or more markers), where the LLM's margin widens to about 20 points.
- A sharper test of whether the LLM's advantage is genuinely semantic would be to shuffle or strip the geometric context from the action menu; if the SSR gap over the deterministic ranker vanishes, the gain is in prompt structure rather than spatial reasoning.
- Per-rule-family success rates would reveal where the Rule Engine's geometric hypothesis construction is the bottleneck; the current aggregate numbers may hide rule types where the menu itself rarely contains a correct fix.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents DRC-Aid, a closed-loop agentic framework for local design-rule correction in IC layouts. A deterministic Rule Engine converts Calibre-reported violations into a bounded menu of geometric edits (move/shrink/expand on spacing, minimum-width, enclosure, containment, and overlap checks). An off-the-shelf LLM (Qwen3-Next-80B or Gemma-4-26B) selects among these edits, with budgeted depth-first search and backtracking, a global memory bank to avoid cyclic re-exploration, and mandatory Calibre nmDRC/nmLVS verification after every edit. The Connectivity Engine bundles compensatory routing edits when an action would sever electrical connectivity. Evaluated on a 60-layout suite derived from DRC-clean FreePDK45 standard cells, the framework reports ~92.5% strict success (DRC-clean and LVS-equivalent) and ~98% total violation reduction, with LLM selection outperforming random (54.4%), deterministic-heuristic (83.3%), softmax (82.8%), and a reimplemented simulated-annealing baseline (38.3%) under identical infrastructure. Ablations attribute the result to the structured coupling of constrained action generation, verification-in-the-loop, and LLM-based selection.
Significance. If the reported results hold, the paper makes a credible case that an off-the-shelf LLM can act as a strategic action selector in a verification-in-the-loop repair system, converting a combinatorial geometric search into a tractable menu-selection task. The work is carefully engineered: it reports mean±std over three seeds, includes a component-wise ablation table, compares LLM selection against non-LLM selectors under identical candidate generation, search budget, and Calibre verification, and explicitly controls for the possibility that the LLM's advantage is merely stochastic sampling over the same heuristic ranking. The use of commercial-grade Calibre nmDRC/nmLVS as the ground-truth verification is a strength. The main limitation is that the evaluation benchmark is self-constructed from perturbations that fall exactly within the rule families the Rule Engine can address, which limits external validity but does not undermine the internal consistency of the measurements.
major comments (2)
- [Sec. 3.2.1 and Sec. 4.1] The evaluation benchmark is co-designed with the action space. Section 4.1 describes the 60-layout suite as constructed by perturbing DRC-clean FreePDK45 cells 'by randomized amounts calculated relative to the ruledeck thresholds,' and Table 1 shows the marker categories are spacing, enclosure, minimum width, and overlap — exactly the rule families for which the Rule Engine generates actions (Sec. 3.2.1). Consequently, for every injected violation, the Rule Engine's hypothesis construction will include an inverse of the perturbation as a candidate action, so the action menu is guaranteed to contain a repair for each isolated violation. The measured ~92.5% SSR is therefore an upper bound for a distribution tailored to the framework's capabilities and may not transfer to real-world DRC rules such as antenna, density, end-of-line, or multi-polygon interactions that the engine explicitly doe
- [Table 4] The claim that LLM selection outperforms the deterministic heuristic lacks statistical support. The reported mean±std over three seeds for Gemma-26B (92.2±5.1) overlaps the deterministic heuristic's 83.3% in the sense that one Gemma seed achieves only 86.7%, a ~3.4-point margin. Qwen-80B (92.8±1.0) is more consistent, but with n=3 model-level repetitions the difference is not formally established. The authors should report per-seed paired comparisons (e.g., deterministic heuristic versus each LLM seed on the same 60 layouts), bootstrap confidence intervals, or focus the claim on the ≥6-marker subset where the gap (63.2% vs 82.5–84.2%) is more convincing. This point is load-bearing for the central claim that the LLM adds value beyond a fixed ranker.
minor comments (4)
- [Sec. 3.2.1] The search-space equation uses notations C_layout, E_tp, E_dir, E_mag without formal definition. Please define each set and the Cartesian-product decomposition more precisely.
- [Table 3] The configuration columns are hard to read because checkmark/dash patterns are not labeled per row. A textual description of each configuration or a clearer legend would improve reproducibility.
- [Sec. 4.1] The statement '45–48 of 60 layouts requiring at least one backtrack across model–seed runs' is vague. Report the per-model, per-seed counts, or replace with a distribution.
- [Abstract] The abstract reports '~92.5%' SSR, which is the average of 92.2% and 92.8%. State the per-model range or report the mean and std to be precise.
Circularity Check
No circularity: the core result is an empirical closed-loop measurement; benchmark/action-menu overlap is an external-validity limitation, not a circular reduction.
full rationale
I find no circular step in the claimed derivation chain. The central results (Sec. 4.2) are measured outcomes of a closed-loop system, not quantities derived from fitted inputs. The Rule Engine's action menu (Sec. 3.2.1) and the benchmark construction (Sec. 4.1) overlap in rule families (spacing, minimum-width, enclosure, extension, containment, overlap), so the test distribution is co-designed with the action space; this is a genuine threat to external validity and is partly conceded by the paper ('the engine does not generate other topology-changing actions'; 'broadening rule-deck coverage across technologies'). But it is not circularity: strict success is defined externally by Calibre nmDRC/nmLVS (Sec. 3.3.1), not by 'the menu contains the inverse perturbation,' and the random (54.4%) and heuristic (83.3%) baselines under the identical menu show that menu membership alone does not force the result. No parameter is fitted to the test set (LLMs are off-the-shelf, not fine-tuned), and no load-bearing self-citation appears in the reference list. The paper's own limitations confirm scope, but the 92.5% SSR claim remains an empirical finding about the evaluated distribution, not a tautology.
Axiom & Free-Parameter Ledger
free parameters (4)
- Global search cap (300 productive cycles) =
300
- Temperature schedule for LLM decoding =
start 0.2, raised stepwise to at most 0.6
- Per-node branch budget decay with depth and anchor-protection bonus =
not specified exactly
- Deterministic heuristic baseline lexicographic priority =
violation coverage > primary class > smaller magnitude > tie-break
axioms (3)
- domain assumption Calibre nmDRC/nmLVS correctly reports all DRC violations and LVS mismatches
- domain assumption The Rule Engine's action menu is complete for the rule categories in the benchmark
- domain assumption FreePDK45 standard cells are representative of real physical-design DRC repair tasks
read the original abstract
Resolving Design Rule Violations (DRVs) in layouts entails an iterative loop of geometric edits and verification. We present DRC-Aid, a closed-loop agentic framework that automates local DRC repair by formulating it as verification-in-the-loop search. To constrain the combinatorial geometric repair space, a deterministic Rule Engine converts physical verification tool-reported violations into a bounded menu of geometric edits. An off-the-shelf Large Language Model (LLM) evaluates local geometric context to select edits from this menu, with budgeted depth-first search and backtracking. Immediate feedback from verification tools such as Calibre nmDRC/nmLVS enforces geometric compliance and guards against electrical-topology degradation, while a global Memory Bank prevents cyclic re-exploration. Evaluated on FreePDK45 layouts containing DRVs, DRC-Aid achieves DRC-clean, LVS-equivalent repairs in ~92.5% of cases with a ~98% total violation reduction, while residual cases yield partially repaired LVS-equivalent candidates. Under an identical search and verification infrastructure, LLM-based selection outperforms random (54.4%) and deterministic-heuristic (83.3%) policies, with the gap widening on cases with six or more violations.
Figures
Reference graph
Works this paper leans on
-
[1]
Chen-Chia Chang, Chia-Tung Ho, Yaguang Li, Yiran Chen, and Haoxing Ren. 2025. DRC-Coder: Automated DRC Checker Code Generation Using LLM Autonomous Agent. InProceedings of the 2025 International Symposium on Physical Design (Austin, TX, USA)(ISPD ’25). Association for Computing Machinery, New York, NY, USA, 143–151. doi:10.1145/3698364.3705347
arXiv 2025
-
[2]
Kahng, Sayak Kundu, and Bodhisatta Pramanik
Amur Ghose, Andrew B. Kahng, Sayak Kundu, and Bodhisatta Pramanik. 2026. Invited: Agentic AI for Physical Design R&D: Status and Prospects. InProceedings of the 2026 International Symposium on Physical Design(Germany)(ISPD ’26). 6 Association for Computing Machinery, New York, NY, USA, 133–141. doi:10. 1145/3764386.3779612
arXiv 2026
-
[3]
Google AI for Developers. 2026. Gemma 4 model card. https://ai.google.dev/ gemma/docs/core/model_card_4
2026
-
[4]
Khandakar Shakib Al Hasan, Syed Rifat Raiyan, Hasin Mahtab Alvee, and Wahid Sadik. 2026. CircuitLM: A Multi-Agent LLM-Aided Design Frame- work for Generating Circuit Schematics from Natural Language Prompts. arXiv:2601.04505 [cs.AI] https://arxiv.org/abs/2601.04505
Pith/arXiv arXiv 2026
-
[5]
Zhuolun He and Bei Yu. 2024. Large Language Models for EDA: Future or Mirage?. InProceedings of the 2024 International Symposium on Physical Design(Taipei, Taiwan)(ISPD ’24). Association for Computing Machinery, New York, NY, USA, 65–66. doi:10.1145/3626184.3639700
arXiv 2024
-
[6]
Wenli Huang, Bin Li, Wenchao Liu, Zhaohui Wu, Zonghan Lei, Songting Huang, and Chaozheng Qin. 2025. A DRC Automatic Repair Strategy for Standard Cell Layout Based on Improved Simulated Annealing Algorithm.Electronics14, 21 (2025). doi:10.3390/electronics14214267
-
[7]
Wei-Tse Hung, Jun-Yang Huang, Yih-Chih Chou, Cheng-Hong Tsai, and Mango Chao. 2020. Transforming Global Routing Report into DRC Violation Map with Convolutional Neural Network. InProceedings of the 2020 International Sympo- sium on Physical Design(Taipei, Taiwan)(ISPD ’20). Association for Computing Machinery, New York, NY, USA, 57–64. doi:10.1145/3372780.3375557
arXiv 2020
-
[8]
Riadul Islam and Dhandeep Challagundla. 2025. Pre-Global Routing DRC Vi- olation Prediction Using Unsupervised Learning. In2025 23rd IEEE Interre- gional NEWCAS Conference (NEWCAS). 450–454. doi:10.1109/NewCAS64648. 2025.11107147
arXiv 2025
-
[9]
Sungyu Jeong, Chanhyong Lee, Minsu Kim, Iksu Jang, Myungguk Lee, Junung Choi, and Byungsub Kim. 2024. A Layout-to-Generator Conversion Framework With Graphical User Interface for Visual Programming of Analog Layout Gener- ators.IEEE Access12 (2024), 125942–125954. doi:10.1109/ACCESS.2024.3409738
arXiv 2024
-
[10]
Kahng, J
A.B. Kahng, J. Lienig, I.L. Markov, and J. Hu. 2011.VLSI Physical Design: From Graph Partitioning to Timing Closure. Springer Berlin. https://books.google.com/ books?id=DWUGHyFVpboC
2011
-
[11]
Kahng, Lutong Wang, and Bangqi Xu
Andrew B. Kahng, Lutong Wang, and Bangqi Xu. 2022. TritonRoute-WXL: The Open-Source Router With Integrated DRC Engine.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems41, 4 (2022), 1076–1089. doi:10.1109/TCAD.2021.3079268
arXiv 2022
-
[12]
Woosuk Kwon, Zhuohan Li, Siyuan Zhuang, Ying Sheng, Lianmin Zheng, Cody Hao Yu, Joseph Gonzalez, Hao Zhang, and Ion Stoica. 2023. Efficient Memory Management for Large Language Model Serving with PagedAttention. InProceedings of the 29th Symposium on Operating Systems Principles(Koblenz, Germany)(SOSP ’23). Association for Computing Machinery, New York, N...
arXiv 2023
-
[13]
L. Lavagno, G. Martin, I.L. Markov, and L.K. Scheffer (Eds.). 2016.Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology. CRC Press. https://doi.org/10.1201/9781315215112
-
[14]
Shuowei Li, Ckristian Duran, Ritaro Takenaka, and Tetsuya Iizuka. 2025. Fully- Standard-Cell-Based Synthesizable Charge-Redistribution SAR ADCs and P&R- Based Layout Automation Framework.IEEE Access13 (2025), 83450–83469. doi:10.1109/ACCESS.2025.3569273
arXiv 2025
-
[15]
Jhen-Gang Lin, Yu-Guang Chen, Yun-Wei Yang, Wei-Tse Hung, Cheng-Hong Tsai, De-Shiun Fu, and Mango Chia-Tso Chao. 2023. DRC Violation Prediction with Pre- global-routing Features Through Convolutional Neural Network. InProceedings of the Great Lakes Symposium on VLSI 2023(Knoxville, TN, USA)(GLSVLSI ’23). Association for Computing Machinery, New York, NY, ...
arXiv 2023
-
[16]
Bingyang Liu, Haoyi Zhang, Xiaohan Gao, Zichen Kong, Xiyuan Tang, Yibo Lin, Runsheng Wang, and Ru Huang. 2025. LayoutCopilot: An LLM-Powered Multiagent Collaborative Framework for Interactive Analog Layout Design.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems44, 8 (2025), 3126–3139. doi:10.1109/TCAD.2025.3529805
arXiv 2025
-
[17]
Mingjie Liu, Teodor-Dumitru Ene, Robert Kirby, Chris Cheng, Nathaniel Pinck- ney, Rongjian Liang, Jonah Alben, Himyanshu Anand, Sanmitra Banerjee, Ismet Bayraktaroglu, Bonita Bhaskaran, Bryan Catanzaro, Arjun Chaudhuri, Sharon Clay, Bill Dally, Laura Dang, Parikshit Deshpande, Siddhanth Dhodhi, Sameer Halepete, Eric Hill, Jiashang Hu, Sumit Jain, Ankit Ji...
Pith/arXiv arXiv 2024
-
[18]
Shang Liu, Wenji Fang, Yao Lu, Jing Wang, Qijun Zhang, Hongce Zhang, and Zhiyao Xie. 2025. RTLCoder: Fully Open-Source and Efficient LLM-Assisted RTL Code Generation Technique.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems44, 4 (2025), 1448–1461. doi:10.1109/TCAD.2024. 3483089
-
[19]
Haoxing Ren and Matthew Fojtik. 2021. Invited- NVCell: Standard Cell Lay- out in Advanced Technology Nodes with Reinforcement Learning. In2021 58th ACM/IEEE Design Automation Conference (DAC). 1291–1294. doi:10.1109/ DAC18074.2021.9586188
arXiv 2021
-
[20]
Stine, Ivan Castellanos, Michael Wood, Jeff Henson, Fred Love, W
James E. Stine, Ivan Castellanos, Michael Wood, Jeff Henson, Fred Love, W. Rhett Davis, Paul D. Franzon, Michael Bucher, Sunil Basavarajaiah, Julie Oh, and Ravi Jenkal. 2007. FreePDK: An Open-Source Variation-Aware Design Kit. In2007 IEEE International Conference on Microelectronic Systems Education (MSE’07). 173–174. doi:10.1109/MSE.2007.44
-
[21]
Shailja Thakur, Jason Blocklove, Hammond Pearce, Benjamin Tan, Siddharth Garg, and Ramesh Karri. 2024. AutoChip: Automating HDL Generation Using LLM Feedback. arXiv:2311.04887 [cs.PL] https://arxiv.org/abs/2311.04887
Pith/arXiv arXiv 2024
-
[22]
An Yang, Anfeng Li, Baosong Yang, Beichen Zhang, Binyuan Hui, Bo Zheng, Bowen Yu, Chang Gao, Chengen Huang, Chenxu Lv, Chujie Zheng, Dayiheng Liu, Fan Zhou, Fei Huang, Feng Hu, Hao Ge, Haoran Wei, Huan Lin, Jialong Tang, Jian Yang, Jianhong Tu, Jianwei Zhang, Jianxin Yang, Jiaxi Yang, Jing Zhou, Jingren Zhou, Junyang Lin, Kai Dang, Keqin Bao, Kexin Yang, ...
Pith/arXiv arXiv 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.