{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:23:14Z","timestamp":1748744594566,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.23919\/fmcad.2018.8603018","type":"proceedings-article","created":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T01:33:52Z","timestamp":1546997632000},"page":"1-9","source":"Crossref","is-referenced-by-count":9,"title":["Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques"],"prefix":"10.23919","author":[{"given":"Vikas","family":"Rao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Utkarsh","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irina","family":"Ilioaea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arpitha","family":"Srinath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Priyank","family":"Kalla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Enescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76898"},{"key":"ref11","first-page":"464","article-title":"Efficient Automatic Diagnosis of Digital Circuits","author":"liaw","year":"1990","journal-title":"Proc ICCAD"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217604"},{"key":"ref13","first-page":"729","article-title":"A Robust Functional ECO Engine by SAT Proof Minimization and Interpolation Techniques","author":"wu","year":"2010","journal-title":"International Conference on Computer-Aided Design (ICCAD)"},{"article-title":"Discussions on recent automatic debugging approaches","year":"2018","author":"rao","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2476472"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2012.55"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657071"},{"key":"ref19","article-title":"Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal","author":"buchberger","year":"1965","journal-title":"Ph D dissertation University of Innsbruck"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2259540"},{"key":"ref3","article-title":"Formal verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction","author":"sayed-ahmed","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.37"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0206-z"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024758"},{"key":"ref7","article-title":"Automated Test Generation for De-bugging Arithmetic Circuits","author":"farahmandi","year":"2016","journal-title":"Design Automation Test in Europe Conf Exhibition"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744925"},{"journal-title":"An Introduction to Gröbner Bases","year":"1994","author":"adams","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102237"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-21493-6_9","article-title":"Quantifier Elimination over Finite Fields with Gröbner Bases","author":"gao","year":"2011","journal-title":"Intl Conf Algebraic Informatics"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.3233\/SAT190039","article-title":"Picosat Essentials","author":"biere","year":"2008","journal-title":"Journal on Satisfiability Boolean Modeling and Computation (JSAT)"},{"key":"ref21","first-page":"297","article-title":"VLSI Designs for Multiplication Over Finite Fields GF(2m)","volume":"357","author":"mastrovito","year":"1989","journal-title":"lecture notes in CS"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008208521515"},{"journal-title":"SINGULAR 4-1-0 — A computer algebra system for polynomial computations","year":"2016","author":"decker","key":"ref23"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164890"}],"event":{"name":"2018 Formal Methods in Computer Aided Design (FMCAD)","start":{"date-parts":[[2018,10,30]]},"location":"Austin, TX","end":{"date-parts":[[2018,11,2]]}},"container-title":["2018 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8585253\/8602989\/08603018.pdf?arnumber=8603018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T00:20:27Z","timestamp":1643156427000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8603018\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":25,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2018.8603018","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}