VeriRAG: A Retrieval-Augmented Framework for Automated RTL Testability Repair

Qi, Haomin; Du, Yuyang; Zhang, Lihao; Liew, Soung Chang; Chen, Kexin; Du, Yining

doi:10.48550/arXiv.2507.15664

VeriRAG: A Retrieval-Augmented Framework for Automated RTL Testability Repair

Haomin Qi, Yuyang Du, Lihao Zhang, Soung Chang Liew, Kexin Chen, Yining Du

International Symposium on Quality Electronic Design (ISQED), 2026.

PDF | arXiv | DOI | Code

Abstract

Large language models have demonstrated potential in computer-aided design, particularly for automated debugging and verification within electronic design automation tools. However, Design for Testability remains relatively underexplored. This paper presents VeriRAG, a retrieval-augmented framework for automated RTL testability repair.