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

Rajdeep Mukherjee‚ Saurabh Joshi‚ Andreas Griesmayer‚ Daniel Kroening and Tom Melham