TY  - RPRT
TI  - Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)
AU  - Rajdeep Mukherjee
AU  - Saurabh Joshi
AU  - Andreas Griesmayer
AU  - Daniel Kroening
AU  - Tom Melham
PY  - 2016
UR  - https://arxiv.org/abs/1609.00169
ID  - 1609.00169
ER  -