{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:27Z","timestamp":1750220967878,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T00:00:00Z","timestamp":1559779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,6]]},"DOI":"10.1145\/3337801.3337809","type":"proceedings-article","created":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T19:04:37Z","timestamp":1562958277000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A type-safe arbitrary precision arithmetic portability layer for HLS tools"],"prefix":"10.1145","author":[{"given":"Luc","family":"Forget","sequence":"first","affiliation":[{"name":"Univ Lyon, INSA Lyon, Inria, CITI, Villeurbanne, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yohann","family":"Uguen","sequence":"additional","affiliation":[{"name":"Univ Lyon, INSA Lyon, Inria, CITI, Villeurbanne, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florent","family":"de Dinechin","sequence":"additional","affiliation":[{"name":"Univ Lyon, INSA Lyon, Inria, CITI, Villeurbanne, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Thomas","sequence":"additional","affiliation":[{"name":"Imperial College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"High-Level Synthesis (UG902). https:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/xilinx2018_3\/ug902-vivado-high-level-synthesis.pdf","author":"Suite User Guide Vivado Design","year":"2018","unstructured":"Vivado Design Suite User Guide : High-Level Synthesis (UG902). https:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/xilinx2018_3\/ug902-vivado-high-level-synthesis.pdf , 2018 . Vivado Design Suite User Guide: High-Level Synthesis (UG902). https:\/\/www.xilinx.com\/support\/documentation\/sw_manuals\/xilinx2018_3\/ug902-vivado-high-level-synthesis.pdf, 2018."},{"key":"e_1_3_2_1_2_1","first-page":"37","volume-title":"Automation & Test in Europe","author":"Bansal S.","year":"2018","unstructured":"S. Bansal , H. Hsiao , T. Czajkowski , and J. H. Anderson . High-level synthesis of software-customizable floating-point cores. In 2018 Design , Automation & Test in Europe , pages 37 -- 42 . IEEE, 2018 . S. Bansal, H. Hsiao, T. Czajkowski, and J. H. Anderson. High-level synthesis of software-customizable floating-point cores. In 2018 Design, Automation & Test in Europe, pages 37--42. IEEE, 2018."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1950413.1950423"},{"key":"e_1_3_2_1_4_1","volume-title":"Curiously recurring template patterns. C++ Report, 7(2):24--27","author":"Coplien J. O.","year":"1995","unstructured":"J. O. Coplien . Curiously recurring template patterns. C++ Report, 7(2):24--27 , 1995 . J. O. Coplien. Curiously recurring template patterns. C++ Report, 7(2):24--27, 1995."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/MDT.2011.44"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/TCAD.2015.2513673"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/IPDPSW.2018.00029"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/j.sysarc.2013.10.002"},{"key":"e_1_3_2_1_9_1","volume-title":"Algorithm c (AC) datatypes. https:\/\/github.com\/hlslibs\/ac_types","author":"Takach A.","year":"2018","unstructured":"A. Takach . Algorithm c (AC) datatypes. https:\/\/github.com\/hlslibs\/ac_types , 2018 . A. Takach. Algorithm c (AC) datatypes. https:\/\/github.com\/hlslibs\/ac_types, 2018."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/FCCM.2019.00038"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.23919\/FPL.2017.8056792"},{"key":"e_1_3_2_1_12_1","volume-title":"Evaluating the hardware cost of the posit number system (Online)","author":"Uguen Y.","year":"2019","unstructured":"Y. Uguen , L. Forget , and F. De Dinechin . Evaluating the hardware cost of the posit number system (Online) . 2019 . Y. Uguen, L. Forget, and F. De Dinechin. Evaluating the hardware cost of the posit number system (Online). 2019."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/FCCM.2006.21"}],"event":{"acronym":"HEART 2019","name":"HEART 2019: The 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies","location":"Nagasaki Japan"},"container-title":["Proceedings of the 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3337801.3337809","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3337801.3337809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:25Z","timestamp":1750204465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3337801.3337809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,6]]},"references-count":13,"alternative-id":["10.1145\/3337801.3337809","10.1145\/3337801"],"URL":"https:\/\/doi.org\/10.1145\/3337801.3337809","relation":{},"subject":[],"published":{"date-parts":[[2019,6,6]]},"assertion":[{"value":"2019-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}