{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:47:28Z","timestamp":1725756448518},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/fpt.2013.6718340","type":"proceedings-article","created":{"date-parts":[[2014,1,24]],"date-time":"2014-01-24T21:19:42Z","timestamp":1390598382000},"page":"112-119","source":"Crossref","is-referenced-by-count":12,"title":["SOAP: Structural optimization of arithmetic expressions for high-level synthesis"],"prefix":"10.1109","author":[{"given":"Xitong","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Bayliss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George A.","family":"Constantinides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"GMP The GNU Multiple Precision Arithmetic Library","year":"1991","author":"granlund","key":"19"},{"journal-title":"XST User Guide for Virtex-6 Spartan-6 and 7 Series Devices","year":"2013","key":"22"},{"key":"17","article-title":"On the definition of ulp(x)","author":"muller","year":"2005","journal-title":"Research Report Laboratoire de l'Informatique du Parall?elisme RR2005-09"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/2331684.2331686"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2009.54"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_19"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382566"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156151"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2011.48"},{"key":"12","article-title":"On the Generation of Precise Fixed-Point Expressions","author":"darulova","year":"2013","journal-title":"Technical Report E?cole Polytechnique Fe?de?rale de Lausanne"},{"journal-title":"Efficient Computation with Structured Matrices and Arithmetic Expressions","year":"2011","author":"mouilleron","key":"3"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2011.44"},{"key":"2","first-page":"75","article-title":"A new abstract domain for the representation of mathematically equivalent expressions","author":"ioualalen","year":"2012","journal-title":"Proceedings of the 19th International Conference on Static Analysis SAS '12"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"journal-title":"IEEE Standard for Floating-Point Arithmetic Microprocessor Standards Committee of the IEEE Computer","year":"2008","key":"1"},{"journal-title":"LegUp Documentation-Release 3 0","year":"2013","key":"10"},{"journal-title":"High-Level Synthesis Tools for Xilinx Fpgas","year":"2010","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3636-9"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8588-8"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"journal-title":"Vivado design suite user guide-high-level synthesis","year":"2012","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5.52214"}],"event":{"name":"2013 International Conference on Field-Programmable Technology (FPT)","start":{"date-parts":[[2013,12,9]]},"location":"Kyoto, Japan","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 International Conference on Field-Programmable Technology (FPT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6712172\/6718311\/06718340.pdf?arnumber=6718340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T23:54:06Z","timestamp":1490226846000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6718340\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/fpt.2013.6718340","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}