SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop

Fu-Chieh Chang, Yu-Hsin Yang, Hung-Ming Huang +5

RTL implementations frequently lack up-to-date or consistent specifications, making comprehension, maintenance, and verification costly and error-prone. While prior work has explor…