{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T05:04:52Z","timestamp":1775451892188,"version":"3.50.1"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8715138","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:29:07Z","timestamp":1558027747000},"page":"284-287","source":"Crossref","is-referenced-by-count":25,"title":["One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing"],"prefix":"10.23919","author":[{"given":"Saman","family":"Froehlich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Scalable and scalably-verifiable sequential synthesis","author":"mischenko","year":"2008","journal-title":"ICCAD"},{"key":"ref11","first-page":"83","article-title":"Groebner basis based formal verification of large arithmetic circuits using gaussian elimination and cone-based polynomial extraction","volume":"39","author":"farahmandi","year":"2015","journal-title":"MICPRO"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.3850\/9783981537079_0248","article-title":"Formal verification of integer multipliers by combining Gröbner basis with logic reduction","author":"ahmed","year":"2016","journal-title":"DATE"},{"key":"ref13","article-title":"PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers","author":"mahzoon","year":"2018","journal-title":"ICCAD"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008699807402"},{"key":"ref15","author":"somenzi","year":"2015","journal-title":"CUDD CU Decision Diagram Package&#x2014 Release 2 3 0"},{"key":"ref16","article-title":"Gear -approxadderlib","year":"0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898069"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2016.7428057"},{"key":"ref6","author":"chandrasekharan","year":"2018","journal-title":"Design Automation Techniques for Approximation Circuits"},{"key":"ref5","first-page":"416","article-title":"Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished","author":"?e\u0161ka","year":"2017","journal-title":"ICCAD"},{"key":"ref8","article-title":"Evoapprox8b: Library of approximate adders and multipliers for circuit design and benchmarking of approximation methods","author":"mrazek","year":"2017","journal-title":"DATE"},{"key":"ref7","article-title":"Approximate hardware generation using symbolic computer algebra employing Gröbner basis","author":"froehlich","year":"2018","journal-title":"DATE"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2018.00112"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105401"},{"key":"ref9","first-page":"1","article-title":"Adac: Automated design of approximate circuits","author":"?e\u0161ka","year":"2018","journal-title":"CAV"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Florence, Italy","start":{"date-parts":[[2019,3,25]]},"end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08715138.pdf?arnumber=8715138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T20:31:00Z","timestamp":1643229060000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8715138\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8715138","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}