TY  - RPRT
TI  - SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
AU  - Fu-Chieh Chang
AU  - Yu-Hsin Yang
AU  - Hung-Ming Huang
AU  - Yun-Chia Hsu
AU  - Yin-Yu Lin
AU  - Ming-Fang Tsai
AU  - Chun-Chih Yang
AU  - Pei-Yuan Wu
PY  - 2026
UR  - https://arxiv.org/abs/2603.02895
ID  - 2603.02895
ER  -