Yun-Chia Hsu
According to our database1,
Yun-Chia Hsu authored at least 3 papers
between 2024 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop.
CoRR, March, 2026
2025
CoRR, December, 2025
2024
Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems, 2024