TY - RPRT TI - UVLLM: An Automated Universal RTL Verification Framework using LLMs AU - Yuchen Hu AU - Junhao Ye AU - Ke Xu AU - Jialin Sun AU - Shiyue Zhang AU - Xinyao Jiao AU - Dingrong Pan AU - Jie Zhou AU - Ning Wang AU - Weiwei Shan AU - Xinwei Fang AU - Xi Wang AU - Nan Guan AU - Zhe Jiang PY - 2024 UR - https://arxiv.org/abs/2411.16238 ID - 2411.16238 ER -