Equivalence Checking a Floating−point Unit against a High−level C Model: Extended Version
Rajdeep Mukherjee‚ Saurabh Joshi‚ Andreas Griesmayer‚ Daniel Kroening and Tom Melham
Journal
arXiv Computing Research Repository
Month
September
Volume
arXiv:1609.00169 [cs.SE]
Year
2016