Who checks the checkers? Automatically finding bugs in C-to-RTL formal equivalence checkers Author(s): Michalis Pardalos, Alastair F. Donaldson, Emiliano Morini, Laura Pozzi, John Wickerson Download