Verification of arithmetic datapath designs using word-level approach

Verification of arithmetic datapath designs using word-level approach - A case study. Yu, C., Brown, W., & Ciesielski, M. J. In 2015 IEEE International Symposium on Circuits and Systems, ISCAS 2015, Lisbon, Portugal, May 24-27, 2015, pages 1862–1865, 2015.

Paper doi bibtex

@inproceedings{DBLP:conf/iscas/YuBC15,
  author    = {Cunxi Yu and
               Walter Brown and
               Maciej J. Ciesielski},
  title     = {Verification of arithmetic datapath designs using word-level approach
               - {A} case study},
  booktitle = {2015 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
               2015, Lisbon, Portugal, May 24-27, 2015},
  pages     = {1862--1865},
  year      = {2015},
  crossref  = {DBLP:conf/iscas/2015},
  url       = {https://doi.org/10.1109/ISCAS.2015.7169020},
  doi       = {10.1109/ISCAS.2015.7169020},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscas/YuBC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"yk2fieTLgD3TB8zsv","bibbaseid":"yu-brown-ciesielski-verificationofarithmeticdatapathdesignsusingwordlevelapproachacasestudy-2015","authorIDs":["5ce6fb5226c0fcda0100030c","5dcdc5f178619fde010000b3"],"author_short":["Yu, C.","Brown, W.","Ciesielski, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cunxi"],"propositions":[],"lastnames":["Yu"],"suffixes":[]},{"firstnames":["Walter"],"propositions":[],"lastnames":["Brown"],"suffixes":[]},{"firstnames":["Maciej","J."],"propositions":[],"lastnames":["Ciesielski"],"suffixes":[]}],"title":"Verification of arithmetic datapath designs using word-level approach - A case study","booktitle":"2015 IEEE International Symposium on Circuits and Systems, ISCAS 2015, Lisbon, Portugal, May 24-27, 2015","pages":"1862–1865","year":"2015","crossref":"DBLP:conf/iscas/2015","url":"https://doi.org/10.1109/ISCAS.2015.7169020","doi":"10.1109/ISCAS.2015.7169020","timestamp":"Wed, 16 Oct 2019 14:14:49 +0200","biburl":"https://dblp.org/rec/bib/conf/iscas/YuBC15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/iscas/YuBC15,\n author = {Cunxi Yu and\n Walter Brown and\n Maciej J. Ciesielski},\n title = {Verification of arithmetic datapath designs using word-level approach\n - {A} case study},\n booktitle = {2015 {IEEE} International Symposium on Circuits and Systems, {ISCAS}\n 2015, Lisbon, Portugal, May 24-27, 2015},\n pages = {1862--1865},\n year = {2015},\n crossref = {DBLP:conf/iscas/2015},\n url = {https://doi.org/10.1109/ISCAS.2015.7169020},\n doi = {10.1109/ISCAS.2015.7169020},\n timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n biburl = {https://dblp.org/rec/bib/conf/iscas/YuBC15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Yu, C.","Brown, W.","Ciesielski, M. J."],"key":"DBLP:conf/iscas/YuBC15","id":"DBLP:conf/iscas/YuBC15","bibbaseid":"yu-brown-ciesielski-verificationofarithmeticdatapathdesignsusingwordlevelapproachacasestudy-2015","role":"author","urls":{"Paper":"https://doi.org/10.1109/ISCAS.2015.7169020"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://ycunxi.github.io/utah-csl/bibtex/all.bib","creationDate":"2019-05-23T19:58:10.274Z","downloads":0,"keywords":["dblp"],"search_terms":["verification","arithmetic","datapath","designs","using","word","level","approach","case","study","yu","brown","ciesielski"],"title":"Verification of arithmetic datapath designs using word-level approach - A case study","year":2015,"dataSources":["L6BLFSB28hKk5Nt67"]}