{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T09:04:25Z","timestamp":1725440665948},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185378","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T19:09:22Z","timestamp":1250017762000},"page":"56-65","source":"Crossref","is-referenced-by-count":2,"title":["High-level optimization of integer multipliers over a finite bit-width with verification capabilities"],"prefix":"10.1109","author":[{"given":"O.","family":"Sarbishei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Tabandeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Alizadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"mibench: a free, commercially representative embedded benchmark suite","author":"guthaus","year":"2001","journal-title":"IEEE 4th Annual Workshop on Workload Characterization"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2004.1329374"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630151"},{"key":"1","first-page":"41","article-title":"optimizing residue arithmetic on fpgas","author":"fu","year":"2008","journal-title":"Proc IEEE Int Conf Field-Programmable Technology (ICFPT)"},{"key":"7","first-page":"1139","article-title":"intellectual property protection for rns circuits on fpgas","author":"parrilla","year":"2004","journal-title":"Proc FPL"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2002.1187123"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DEPCOS-RELCOMEX.2006.43"},{"key":"4","first-page":"128","article-title":"rdsp: a risc dsp based on residue number system","author":"charles","year":"2003","journal-title":"Proc Euromicro Symp Digital Systems Design"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2002.1011216"},{"key":"8","first-page":"806","article-title":"parallel fpga implementation of rsa with residue number systems","author":"ciet","year":"2003","journal-title":"Proc 46th IEEE MWCAS03"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185378.pdf?arnumber=5185378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T20:52:17Z","timestamp":1489783937000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185378\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185378","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}