2 papers
cs.AR2026
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…
cs.AR2025
Assessing Large Language Models in Generating RTL Design Specifications
Hung-Ming Huang, Yu-Hsin Yang, Fu-Chieh Chang +5
As IC design grows more complex, automating comprehension and documentation of RTL code has become increasingly important. Engineers currently should manually interpret existing RT…