@inproceedings{conf/isvlsi/YasinSPC19,
  added-at = {2019-09-24T00:00:00.000+0200},
  author = {Yasin, Atif and Su, Tiankai and Pillement, Sébastien and Ciesielski, Maciej J.},
  biburl = {https://www.bibsonomy.org/bibtex/2ba3e34c56f5ea323fd581f40ac851433/dblp},
  booktitle = {ISVLSI},
  crossref = {conf/isvlsi/2019},
  ee = {https://doi.org/10.1109/ISVLSI.2019.00022},
  interhash = {e59cf65ad960dd652026b5f798d8f7c6},
  intrahash = {ba3e34c56f5ea323fd581f40ac851433},
  isbn = {978-1-7281-3391-1},
  keywords = {dblp},
  pages = {76-81},
  publisher = {IEEE},
  timestamp = {2019-10-17T13:45:19.000+0200},
  title = {Formal Verification of Integer Dividers: Division by a Constant.},
  url = {http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2019.html#YasinSPC19},
  year = 2019
}

{"_id":"g3idhZNg9srZKxfro","bibbaseid":"yasin-su-pillement-ciesielski-formalverificationofintegerdividersdivisionbyaconstant-2019","authorIDs":["5dcdc5f178619fde010000b3"],"author_short":["Yasin, A.","Su, T.","Pillement, S.","Ciesielski, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-09-24T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Yasin"],"firstnames":["Atif"],"suffixes":[]},{"propositions":[],"lastnames":["Su"],"firstnames":["Tiankai"],"suffixes":[]},{"propositions":[],"lastnames":["Pillement"],"firstnames":["Sébastien"],"suffixes":[]},{"propositions":[],"lastnames":["Ciesielski"],"firstnames":["Maciej","J."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2ba3e34c56f5ea323fd581f40ac851433/dblp","booktitle":"ISVLSI","crossref":"conf/isvlsi/2019","ee":"https://doi.org/10.1109/ISVLSI.2019.00022","interhash":"e59cf65ad960dd652026b5f798d8f7c6","intrahash":"ba3e34c56f5ea323fd581f40ac851433","isbn":"978-1-7281-3391-1","keywords":"dblp","pages":"76-81","publisher":"IEEE","timestamp":"2019-10-17T13:45:19.000+0200","title":"Formal Verification of Integer Dividers: Division by a Constant.","url":"http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2019.html#YasinSPC19","year":"2019","bibtex":"@inproceedings{conf/isvlsi/YasinSPC19,\n added-at = {2019-09-24T00:00:00.000+0200},\n author = {Yasin, Atif and Su, Tiankai and Pillement, Sébastien and Ciesielski, Maciej J.},\n biburl = {https://www.bibsonomy.org/bibtex/2ba3e34c56f5ea323fd581f40ac851433/dblp},\n booktitle = {ISVLSI},\n crossref = {conf/isvlsi/2019},\n ee = {https://doi.org/10.1109/ISVLSI.2019.00022},\n interhash = {e59cf65ad960dd652026b5f798d8f7c6},\n intrahash = {ba3e34c56f5ea323fd581f40ac851433},\n isbn = {978-1-7281-3391-1},\n keywords = {dblp},\n pages = {76-81},\n publisher = {IEEE},\n timestamp = {2019-10-17T13:45:19.000+0200},\n title = {Formal Verification of Integer Dividers: Division by a Constant.},\n url = {http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2019.html#YasinSPC19},\n year = 2019\n}\n\n","author_short":["Yasin, A.","Su, T.","Pillement, S.","Ciesielski, M. J."],"key":"conf/isvlsi/YasinSPC19","id":"conf/isvlsi/YasinSPC19","bibbaseid":"yasin-su-pillement-ciesielski-formalverificationofintegerdividersdivisionbyaconstant-2019","role":"author","urls":{"Link":"https://doi.org/10.1109/ISVLSI.2019.00022","Paper":"http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2019.html#YasinSPC19"},"keyword":["dblp"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Maciej ciesielski?items=1000","creationDate":"2019-11-14T21:24:01.377Z","downloads":0,"keywords":["dblp"],"search_terms":["formal","verification","integer","dividers","division","constant","yasin","su","pillement","ciesielski"],"title":"Formal Verification of Integer Dividers: Division by a Constant.","year":2019,"dataSources":["4afdeGY8cGceGP6Kx"]}