{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T16:32:18Z","timestamp":1781886738072,"version":"3.54.5"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iccad.2017.8203807","type":"proceedings-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T22:02:04Z","timestamp":1513288924000},"page":"416-423","source":"Crossref","is-referenced-by-count":44,"title":["Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished"],"prefix":"10.1109","author":[{"given":"Milan","family":"Ceska","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiri","family":"Matyas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vojtech","family":"Mrazek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lukas","family":"Sekanina","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zdenek","family":"Vasicek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tomas","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2950067.2950068"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1166\/jolpe.2011.1157"},{"key":"ref12","first-page":"7","article-title":"Energy-efficient approximate multiplier design using bit significance-driven logic compression","author":"qiqieh","year":"2017","journal-title":"Proc DATE"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744778"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228504"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.280"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2014.2336175"},{"key":"ref17","first-page":"1","article-title":"Automated high-level generation of low-power approximate computing circuits","author":"nepal","year":"2017","journal-title":"IEEE Trans Emerg Topics Comput"},{"key":"ref18","first-page":"258","article-title":"Evoapprox8b: Library of approximate adders and multipliers for circuit design and benchmarking of approximation methods","author":"mrazek","year":"2017","journal-title":"Proc of DATE’10"},{"key":"ref19","first-page":"81:1","article-title":"Design of power-efficient approximate multipliers for approximate artificial neural networks","author":"mrazek","year":"2016","journal-title":"Proc ICC'16"},{"key":"ref28","first-page":"24","article-title":"ABC: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"Proc of CAV Ser LNCS"},{"key":"ref4","first-page":"83:1","article-title":"Approximation-aware rewriting of AIGs for error tolerant applications","author":"chandrasekharan","year":"0","journal-title":"Proc of ICCAD'16 2016"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-17310-3","author":"miller","year":"2011","journal-title":"Cartesian Genetic Programming"},{"key":"ref3","first-page":"1","article-title":"Proteus: Exploiting numerical precision variability in deep neural networks","author":"judd","year":"2016","journal-title":"ICSE-16"},{"key":"ref6","first-page":"152","article-title":"Analyzing imprecise adders using BDDs - a case study","author":"yu","year":"2016","journal-title":"Proc IEEE ISVLSI"},{"key":"ref5","first-page":"1576","article-title":"Towards low power approximate DCT architecture for HEVC standard","author":"vasicek","year":"2017","journal-title":"Proc of DATE’17"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750371"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2014.6880184"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2906199"},{"key":"ref9","first-page":"343","article-title":"A comparative review and evaluation of approximate adders","author":"jiang","year":"2015","journal-title":"Proc of GLVLSI'15"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2893356"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744863"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744925"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2605382"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105401"},{"key":"ref23","first-page":"1048","article-title":"Formal verification of integer multipliers by combining Gröbner basis with logic reduction","author":"sayed-ahmed","year":"2016","journal-title":"Proc of DATE'16"},{"key":"ref26","first-page":"410","article-title":"When boolean satisfiability meets gaussian elimination in a simplex way","author":"han","year":"2012","journal-title":"CAV'12"},{"key":"ref25","first-page":"3218","article-title":"Approximate probabilistic inference via word-level counting","author":"chakraborty","year":"2016","journal-title":"Proceedings of the AAAI-16"}],"event":{"name":"2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"Irvine, CA","start":{"date-parts":[[2017,11,13]]},"end":{"date-parts":[[2017,11,16]]}},"container-title":["2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8167715\/8203744\/08203807.pdf?arnumber=8203807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T21:07:08Z","timestamp":1643144828000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8203807\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/iccad.2017.8203807","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}