mlsanityData to 7 Oct 2026

An AST-guided LLM Approach for SVRF Code Synthesis

arXiv 2507.00352 ↗First posted 1 Jul 2025cs.SE cs.AI cs.ETcited by 3

Not on the map. Why?

Abstract (arXiv)

Standard Verification Rule Format (SVRF) is essential for semiconductor applications like Design Rule Check (DRC), Layout Versus Schematic (LVS), and Optical Proximity Correction (OPC) and it faces challenges as advancing nodes create complex design rules that renders traditional SVRF development ineffective and highlight an expertise gap. This paper introduces a novel methodology integrating Abstract Syntax Tree (AST) embedding and Retrieval-Augmented Generation (RAG) for enhanced SVRF code synthesis, ensuring semantic accuracy and error minimization through structural validation with domain-specific insights for precise code generation. We evaluate different T5-based models and propose an innovative SVRF-specific scoring framework that complements standard metrics like BLEU and ROUGE-L. In our approach, AST provides rigorous structural validation, while RAG infuses relevant domain knowledge, effectively enhancing the code generation workflow. Testing on a comprehensive benchmark of 740 DRC rule implementations, our methodology demonstrates up to a 40% improvement in code generation accuracy compared to basic text-based fine-tuning process. This fusion of industry expertise with advanced coding strategies not only optimizes SVRF development under limited dataset constraints but also creates a more intuitive and efficient coding environment. Consequently, users can rapidly iterate through design cycles, reduce manual error correction, and significantly improve overall productivity.

Key facts. Cited by 3 papers in the map (data through 7 Oct 2026). Builds on 7 of its 12 references that are in the map. First posted on arXiv 1 Jul 2025.

Builds on

7 of 12 references.

References · 7

  1. 2017Attention Is All You Needcited by 59,932
  2. 2020Language Models are Few-Shot Learnerscited by 32,199
  3. 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,491
  4. 2020Retrieval-Augmented Generation for Knowledge-Intensive NLP Taskscited by 9,160
  5. 2022Scaling Instruction-Finetuned Language Modelscited by 2,997
  6. 2021CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generationcited by 890
  7. 2023A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trendscited by 66

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2025: 1; 2026: 2.

3 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2025SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
  2. 2024MetRex: A Benchmark for Verilog Code Metric Reasoning Using LLMs
  3. 2025DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base
  4. 2025VeriRAG: A Retrieval-Augmented Framework for Automated RTL Testability Repair
  5. 2025VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
  6. 2025The Cream Rises to the Top: Efficient Reranking Method for Verilog Code Generation
  7. 2025Understanding and Mitigating Errors of LLM-Generated RTL Code
  8. 2025Large Language Model for Verilog Code Generation: Literature Review and the Road Ahead