UVLLM:An Automated Universal RTL Verification Framework using LLMs

Hu, Yuchen, Ye, Junhao, Xu, Ke et al. (11 more authors) (2025) UVLLM:An Automated Universal RTL Verification Framework using LLMs. In: 62nd DAC, Chips to Systems Conference, proceedings. 62nd Design Automation Conference, 22-25 Jun 2025, Moscone West. , USA.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 2025
  • Published: 25 June 2025
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Date Deposited: 10 Apr 2025 10:30
Last Modified: 30 Sep 2025 23:06
Status: Published
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: 2411.16238v1.pdf

Description: Accepted manuscript

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of Accepted manuscript]

Export

Statistics


CORE (COnnecting REpositories)