Equivalence checking of a floating-point unit against a high-level C model (21st International Symposium on Formal Methods, 2016)

(untitled) - Mukherjee, R; Joshi, S; Griesmayer, A; Kroening, D; Melham, T