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

Metadata

Item Type:	Proceedings Paper
Authors/Creators:	Zhou, Jie Ji, Youshu Wang, Ning Hu, Yuchen Jiao, Yinyao Yao, Bingkun Fang, Xinwei https://orcid.org/0000-0003-3630-2249 Zhao, Shuai Guan, Nan Jiang, Zhe
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 Oct 2025 23:06
Status:	Published
Related URLs:	https://arxiv.org/abs/2503.04057
Open Archives Initiative ID (OAI ID):	oai:eprints.whiterose.ac.uk:225387

Download

Accepted Version

Filename: 2503.04057v1.pdf

Description: Accepted manuscript

Licence: CC-BY 2.5

CLICK TO DOWNLOAD

[thumbnail of Accepted manuscript]

CORE (COnnecting REpositories)

CORE (COnnecting REpositories)