Search Results for author: Giuseppe Stracquadanio

Found 1 papers, 0 papers with code

VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs

no code implementations17 Jan 2024 Giuseppe Stracquadanio, Sourav Medya, Stefano Quer, Debjit Pal

Then, it assigns an importance score to each operand in a design statement and uses that score for generating explanations for failures.

Cannot find the paper you are looking for? You can Submit a new open access paper.