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

Open Webpage

Fu-Chieh Chang, Yu-Hsin Yang, Hung-Ming Huang, Yun-Chia Hsu, Yin-Yu Lin, Ming-Fang Tsai, Chun-Chih Yang, Pei-Yuan Wu

Published: 2026, Last Modified: 11 May 2026CoRR 2026EveryoneRevisionsBibTeXCC BY-SA 4.0