Assessing Large Language Models in Generating RTL Design Specifications. - Hung-Ming Huang; Yu-Hsin Yang; Fu-Chieh Chang 001; Yun-Chia Hsu; Yin-Yu Lin; Ming-Fang Tsai; Chun-Chih Yang; Pei-Yuan Wu (CoRR, 2025)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop. - Fu-Chieh Chang 001; Yu-Hsin Yang; Hung-Ming Huang; Yun-Chia Hsu; Yin-Yu Lin; Ming-Fang Tsai; Chun-Chih Yang; Pei-Yuan Wu (CoRR, 2026)