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
}
Downloads: 0
{"_id":"mMLThydrEYsAJMofx","bibbaseid":"mukherjee-joshi-griesmayer-kroening-melham-equivalencecheckingafloatingpointunitagainstahighlevelcmodelextendedversion-2016","downloads":0,"creationDate":"2018-08-20T17:47:15.684Z","title":"Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).","author_short":["Mukherjee, R.","Joshi, S.","Griesmayer, A.","Kroening, D.","Melham, T."],"year":2016,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/tom?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Mukherjee"],"firstnames":["Rajdeep"],"suffixes":[]},{"propositions":[],"lastnames":["Joshi"],"firstnames":["Saurabh"],"suffixes":[]},{"propositions":[],"lastnames":["Griesmayer"],"firstnames":["Andreas"],"suffixes":[]},{"propositions":[],"lastnames":["Kroening"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Melham"],"firstnames":["Tom"],"suffixes":[]}],"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","bibtex":"@article{journals/corr/Mukherjee0GKM16,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Mukherjee, Rajdeep and Joshi, Saurabh and Griesmayer, Andreas and Kroening, Daniel and Melham, Tom},\n biburl = {https://www.bibsonomy.org/bibtex/2cf1f749d767bf92f96219cdb287af9a8/dblp},\n ee = {http://arxiv.org/abs/1609.00169},\n interhash = {0e223e70c20a36d59838b301cb6caa55},\n intrahash = {cf1f749d767bf92f96219cdb287af9a8},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T11:43:21.000+0200},\n title = {Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1609.html#Mukherjee0GKM16},\n volume = {abs/1609.00169},\n year = 2016\n}\n\n","author_short":["Mukherjee, R.","Joshi, S.","Griesmayer, A.","Kroening, D.","Melham, T."],"key":"journals/corr/Mukherjee0GKM16","id":"journals/corr/Mukherjee0GKM16","bibbaseid":"mukherjee-joshi-griesmayer-kroening-melham-equivalencecheckingafloatingpointunitagainstahighlevelcmodelextendedversion-2016","role":"author","urls":{"Link":"http://arxiv.org/abs/1609.00169","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1609.html#Mukherjee0GKM16"},"keyword":["dblp"],"downloads":0},"search_terms":["equivalence","checking","floating","point","unit","against","high","level","model","extended","version","mukherjee","joshi","griesmayer","kroening","melham"],"keywords":["dblp"],"authorIDs":[],"dataSources":["NyBbkYhtYKHg8fY2r"]}