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 (In Press)

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)
Depositing User: Pure (York)
Date Deposited: 10 Apr 2025 10:30
Last Modified: 10 Apr 2025 10:40
Status: In Press
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Accepted Version


Embargoed until: 25 June 2025

Filename: 2411.16238v1.pdf

Description: Accepted manuscript

Licence: CC-BY 2.5

Request a copy

file not available

Export

Statistics


CORE (COnnecting REpositories)