Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra. Shekhar, N., Kalla, P., Meredith, M. B., & Enescu, F. IEEE Trans. VLSI Syst., 16(4):376–387, 2008. Paper doi bibtex @article{DBLP:journals/tvlsi/ShekharKME08,
author = {Namrata Shekhar and
Priyank Kalla and
M. Brandon Meredith and
Florian Enescu},
title = {Simulation Bounds for Equivalence Verification of Polynomial Datapaths
Using Finite Ring Algebra},
journal = {{IEEE} Trans. {VLSI} Syst.},
volume = {16},
number = {4},
pages = {376--387},
year = {2008},
url = {https://doi.org/10.1109/TVLSI.2008.917409},
doi = {10.1109/TVLSI.2008.917409},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tvlsi/ShekharKME08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"nL4TMudgvoaTLX6k6","bibbaseid":"shekhar-kalla-meredith-enescu-simulationboundsforequivalenceverificationofpolynomialdatapathsusingfiniteringalgebra-2008","authorIDs":[],"author_short":["Shekhar, N.","Kalla, P.","Meredith, M. B.","Enescu, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Namrata"],"propositions":[],"lastnames":["Shekhar"],"suffixes":[]},{"firstnames":["Priyank"],"propositions":[],"lastnames":["Kalla"],"suffixes":[]},{"firstnames":["M.","Brandon"],"propositions":[],"lastnames":["Meredith"],"suffixes":[]},{"firstnames":["Florian"],"propositions":[],"lastnames":["Enescu"],"suffixes":[]}],"title":"Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra","journal":"IEEE Trans. VLSI Syst.","volume":"16","number":"4","pages":"376–387","year":"2008","url":"https://doi.org/10.1109/TVLSI.2008.917409","doi":"10.1109/TVLSI.2008.917409","timestamp":"Thu, 18 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/tvlsi/ShekharKME08","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tvlsi/ShekharKME08,\n author = {Namrata Shekhar and\n Priyank Kalla and\n M. Brandon Meredith and\n Florian Enescu},\n title = {Simulation Bounds for Equivalence Verification of Polynomial Datapaths\n Using Finite Ring Algebra},\n journal = {{IEEE} Trans. {VLSI} Syst.},\n volume = {16},\n number = {4},\n pages = {376--387},\n year = {2008},\n url = {https://doi.org/10.1109/TVLSI.2008.917409},\n doi = {10.1109/TVLSI.2008.917409},\n timestamp = {Thu, 18 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/tvlsi/ShekharKME08},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Shekhar, N.","Kalla, P.","Meredith, M. B.","Enescu, F."],"key":"DBLP:journals/tvlsi/ShekharKME08","id":"DBLP:journals/tvlsi/ShekharKME08","bibbaseid":"shekhar-kalla-meredith-enescu-simulationboundsforequivalenceverificationofpolynomialdatapathsusingfiniteringalgebra-2008","role":"author","urls":{"Paper":"https://doi.org/10.1109/TVLSI.2008.917409"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://ycunxi.github.io/utah-csl/bibtex/all.bib","creationDate":"2019-11-14T21:37:03.833Z","downloads":0,"keywords":[],"search_terms":["simulation","bounds","equivalence","verification","polynomial","datapaths","using","finite","ring","algebra","shekhar","kalla","meredith","enescu"],"title":"Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra","year":2008,"dataSources":["L6BLFSB28hKk5Nt67"]}