Insights from Rights and Wrongs:A Large Language Model for Solving Assertion Failures in RTL Design

Zhou, Jie, Ji, Youshu, Wang, Ning et al. (7 more authors) (2025) Insights from Rights and Wrongs:A Large Language Model for Solving Assertion Failures in RTL Design. 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:
Copyright, Publisher and Additional Information:

This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.
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:40
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: 2503.04057v1.pdf

Description: Accepted manuscript

Licence: CC-BY 2.5

Request a copy

file not available

Export

Statistics


CORE (COnnecting REpositories)