Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). Mukherjee, R., Joshi, S., Griesmayer, A., Kroening, D., & Melham, T. CoRR, 2016.
Link
Paper bibtex @article{journals/corr/Mukherjee0GKM16,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Mukherjee, Rajdeep and Joshi, Saurabh and Griesmayer, Andreas and Kroening, Daniel and Melham, Tom},
biburl = {https://www.bibsonomy.org/bibtex/2cf1f749d767bf92f96219cdb287af9a8/dblp},
ee = {http://arxiv.org/abs/1609.00169},
interhash = {0e223e70c20a36d59838b301cb6caa55},
intrahash = {cf1f749d767bf92f96219cdb287af9a8},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T11:43:21.000+0200},
title = {Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1609.html#Mukherjee0GKM16},
volume = {abs/1609.00169},
year = 2016
}