Equivalence Checking of a Floating-Point Unit Against a High-Level C Model Rajdeep Mukherjee, admin, Andreas Griesmayer, Daniel Kroening, Tom Melham Last updated on Nov 15, 2021 PDF Cite DOI Formal Verification