{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:08:42Z","timestamp":1760080122300},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.23919\/fpl.2017.8056792","type":"proceedings-article","created":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T20:28:18Z","timestamp":1507235298000},"page":"1-8","source":"Crossref","is-referenced-by-count":11,"title":["Bridging high-level synthesis and application-specific arithmetic: The case study of floating-point summations"],"prefix":"10.23919","author":[{"given":"Yohann","family":"Uguen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florent","family":"de Dinechin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Derrien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Floating-point design with vivado HLS","author":"hrica","year":"2012","journal-title":"Xilinx Application Note"},{"year":"2015","key":"ref11","article-title":"Vivado Design Suite User Guide: High-Level Synthesis"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2532874"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2007.25"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-010-0127-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2009.54"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/12.841125"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2513673"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1080\/01495730008947357"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2457443.2457447"},{"key":"ref3","first-page":"53","author":"de dinechin","year":"2012","journal-title":"Table-Based Division by Small Integer Constants"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2008.4762363"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1791-0_21"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2013.6648190"},{"key":"ref7","article-title":"Polly's polyhedral scheduling in the presence of reductions","author":"doerfert","year":"2015","journal-title":"Second International Workshop on Polyhedral Compilation Techniques"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2006.311288"},{"year":"0","key":"ref1","article-title":"EEMBC-the embedded microprocessor benchmark consortium"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509694"},{"key":"ref20","article-title":"Automatic Fixed-Point Conversion: a Gateway to High-Level Power Optimization","author":"sentieys","year":"2014","journal-title":"Design Automation and Test in Europe"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2014.64"}],"event":{"name":"2017 27th International Conference on Field Programmable Logic and Applications (FPL)","start":{"date-parts":[[2017,9,4]]},"location":"Ghent, Belgium","end":{"date-parts":[[2017,9,8]]}},"container-title":["2017 27th International Conference on Field Programmable Logic and Applications (FPL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8049195\/8056751\/08056792.pdf?arnumber=8056792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T19:46:55Z","timestamp":1513194415000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8056792\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.23919\/fpl.2017.8056792","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}