{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:37:52Z","timestamp":1729611472331,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/hldvt.2011.6114160","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T19:31:55Z","timestamp":1325878315000},"page":"9-16","source":"Crossref","is-referenced-by-count":2,"title":["Modular equivalence verification of polynomial datapaths with multiple word-length operands"],"prefix":"10.1109","author":[{"given":"Bijan","family":"Alizadeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2002.995022"},{"key":"18","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1007\/3-540-45657-0_40","article-title":"A cooperating validity checker","author":"stump","year":"2002","journal-title":"Proceedings of the 10th International Conference on Computer Aided Verification"},{"key":"15","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1145\/277044.277186","article-title":"A decision procedure for bit-vector arithmetic","author":"barrett","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/43.913756"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/54.587742"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1997.600304"},{"key":"11","first-page":"52","article-title":"Formal verification of word-level specifications","author":"horeth","year":"1999","journal-title":"Proceedings of Design Automation and Test in Europe (DATE)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217583"},{"key":"21","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1109\/TCAD.2003.816213","article-title":"Application of symbolic computer algebra in high-level data-flow synthesis","volume":"22","author":"paymandoust","year":"2003","journal-title":"IEEE Trans On Computer-Aided Design (TCAD)"},{"key":"20","first-page":"572","article-title":"Formal verification at higher levels of abstraction","author":"kroening","year":"2007","journal-title":"Proceedings of International Conference on Computer-Aided Design (ICCAD)"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.917409"},{"key":"23","first-page":"79","article-title":"A function in number theory","volume":"17","author":"smarandache","year":"1980","journal-title":"Analele Univ Timisoara"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(95)00305-G"},{"year":"0","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"journal-title":"Singular 3-1-1 A Computation Algebra System for Polynomial Computations","year":"2010","author":"decker","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2059271"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.153"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.888277"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614938"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244150"},{"key":"7","first-page":"22","article-title":"A canonical decision diagram for modular equivalence verification of polynomial functions","author":"alizadeh","year":"2008","journal-title":"fifth Workshop on Constraints in Formal Verification (CFV)"},{"key":"6","article-title":"A generalization of the Smarandache function to several variables","volume":"6","author":"hungerbuhler","year":"2006","journal-title":"Electron J Comb Number Theory"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0022-314X(74)90031-6"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/322358.322373"},{"key":"9","first-page":"141","article-title":"OBBD - A BDD structure for probabilistic verification","author":"meinel","year":"1998","journal-title":"Workshop on Probabilistic Methods in Verification"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"}],"event":{"name":"2011 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2011,11,9]]},"location":"Napa Valley, CA, USA","end":{"date-parts":[[2011,11,11]]}},"container-title":["2011 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093762\/6113979\/06114160.pdf?arnumber=6114160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T12:22:56Z","timestamp":1497961376000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6114160\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2011.6114160","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}