@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 = {10.30420/566438006},
}