RTLocating: Intent-aware RTL Localization for Hardware Design Iteration
Changwen Xing, Yanfeng Lu, Lei Qi, Chenxu Niu, Jie Li, Xi Wang, Yong Chen, Jun Yang

TL;DR
RTLocating is a novel framework that uses intent-aware localization techniques to identify affected RTL blocks in hardware design updates, improving accuracy in iterative chip development workflows.
Contribution
This paper formalizes the $ riangle$Spec-to-RTL localization problem and introduces RTLocating, the first intent-aware localization framework with a scalable benchmark derived from industrial data.
Findings
RTLocating outperforms baselines with 0.568 MRR and 15.08% R@1.
EvoRTL-Bench is the first industrial-scale benchmark for intent-code alignment.
The framework achieves significant improvements in localization accuracy.
Abstract
Industrial chip development is inherently iterative, favoring localized, intent-driven updates over rewriting RTL from scratch. Yet most LLM-Aided Hardware Design (LAD) work focuses on one-shot synthesis, leaving this workflow underexplored. To bridge this gap, we for the first time formalize Spec-to-RTL localization, a multi-positive problem mapping natural language change requests (Spec) to the affected Register Transfer Level (RTL) syntactic blocks. We propose RTLocating, an intent-aware RTL localization framework, featuring a dynamic router that adaptively fuses complementary views from a textual semantic encoder, a local structural encoder, and a global interaction and dependency encoder (GLIDE). To enable scalable supervision, we introduce EvoRTL-Bench, the first industrial-scale benchmark for intent-code alignment derived from OpenTitan's Git history, comprising…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEmbedded Systems Design Techniques · Formal Methods in Verification · Parallel Computing and Optimization Techniques
