Who checks the checkers? Automatically finding bugs in C-to-RTL formal equivalence checkers
@inproceedings{dvcon,
author = {Michalis Pardalos and
Alastair F. Donaldson and
Emiliano Morini and
Laura Pozzi and
John Wickerson},
title = {Who checks the checkers? {Automatically} finding bugs in {C}-to-{RTL} formal equivalence checkers},
booktitle = {Design and Verification Conference},
year = {2024},
doi = {https://doi.org/10.30420/566438006},
}