Publications
A snapshot-based approach to verifying AI-written RTL with FPV
TYPE OF PUBLICATION
AUTHORS
Bernat Homs, Oscar Palomar, Miquel Moretó and Marcelo Orenes-Vera
PUBLISHER
YEAR OF PUBLICATION
2026
PLACE OF PUBLICATION
HiPEAC 2026
ISBN
ISSN
DOI
CITACION
LINK TO THE REPOSITORY
LINK TO THE PUBLICATION
https://bzl.es/wp-content/uploads/2026/02/Poster_BHoms_Hipeac.pdf