{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:03:50Z","timestamp":1729627430764,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/isqed.2014.6783341","type":"proceedings-article","created":{"date-parts":[[2014,4,16]],"date-time":"2014-04-16T17:24:16Z","timestamp":1397669056000},"page":"309-316","source":"Crossref","is-referenced-by-count":2,"title":["RTL datapath optimization using system-level transformations"],"prefix":"10.1109","author":[{"given":"Samaneh","family":"Ghandali","sequence":"first","affiliation":[]},{"given":"Bijan","family":"Alizadeh","sequence":"additional","affiliation":[]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[]},{"given":"Zainalabedin","family":"Navabi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Polynomial Signal Processing","year":"2000","author":"mathews","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.816213"},{"journal-title":"Maple","year":"2013","key":"15"},{"journal-title":"Savitzky-Golay Filters for 2D Images","year":"0","author":"krumm","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s00200-003-0122-8","article-title":"Multivariate polynomial decomposition","volume":"14","author":"gathen zur j von","year":"2003","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80027-6"},{"journal-title":"Math Works Inc Natick Massachusetts","year":"2013","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8588-8_9"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687536"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2059271"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2012.6292301"},{"key":"10","first-page":"79","author":"smarandache","year":"1980","journal-title":"A Function in Number Theory"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.875712"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090892"},{"key":"5","first-page":"22","article-title":"Modular-hed: 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":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630151"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(95)00305-G"},{"key":"8","first-page":"169","article-title":"Factoring and eliminating commonsub expressions in polynomial expressions","author":"hosangadi","year":"2004","journal-title":"Proc ACM-IEEE International Conference on Computer-Aided Design (ICCAD"}],"event":{"name":"2014 15th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2014,3,3]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2014,3,5]]}},"container-title":["Fifteenth International Symposium on Quality Electronic Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6779216\/6783285\/06783341.pdf?arnumber=6783341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:14:20Z","timestamp":1565352860000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6783341\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isqed.2014.6783341","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}