Equivalence Checking of a Floating-Point Unit Against a High-Level C Model.

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

Browse the full FM paper archive.