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. Proceedings - Design Automation Conference. IEEE, USA.

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)
Date Deposited: 10 Apr 2025 10:40
Last Modified: 07 Apr 2026 16:00
Published Version: https://doi.org/10.1109/DAC63849.2025.11133100
Status: Published
Publisher: IEEE
Series Name: Proceedings - Design Automation Conference
Identification Number: 10.1109/DAC63849.2025.11133100
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: 2503.04057v1.pdf

Description: Accepted manuscript

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of Accepted manuscript]

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)