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
Location:
Europe
Year:
2024
Type:
Paper
Format:
pdf