{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:15:11Z","timestamp":1729620911835,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iscas.2005.1465918","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"5645-5648","source":"Crossref","is-referenced-by-count":2,"title":["Using Symbolic Computer Algebra for Subexpression Factorization and Subexpression Decomposition in High Level Synthesis"],"prefix":"10.1109","author":[{"family":"Xianwu Xing","sequence":"first","affiliation":[]},{"family":"Ching-Chuen Jong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/92.974892"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307492"},{"year":"0","key":"10"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1145\/288548.289115","article-title":"polynomial methods for component matching and verification","author":"smith","year":"1998","journal-title":"Proc Int Conf Computer-Aided Design"},{"key":"7","first-page":"307","article-title":"eisenstein-type irreducibility criteria","volume":"171","author":"mott","year":"1994","journal-title":"Lecture Notes in Pure and Appl Math"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1109\/TCAD.2003.816213","article-title":"application of symbolic computer algebra in high-level data-flow synthesis","volume":"22","author":"peymandoust","year":"2003","journal-title":"IEEE Trans CAD"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968637"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156151"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860857"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.2000.8586"}],"event":{"name":"2005 IEEE International Symposium on Circuits and Systems","location":"Kobe, Japan"},"container-title":["2005 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9898\/31469\/01465918.pdf?arnumber=1465918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T03:25:39Z","timestamp":1552101939000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1465918\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/iscas.2005.1465918","relation":{},"subject":[]}}