{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:36:20Z","timestamp":1729665380001,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/fpl.2016.7577369","type":"proceedings-article","created":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T18:11:15Z","timestamp":1475172675000},"page":"1-9","source":"Crossref","is-referenced-by-count":4,"title":["Automated bug detection for pointers and memory accesses in High-Level Synthesis compilers"],"prefix":"10.1109","author":[{"given":"Pietro","family":"Fezzardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Ferrandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2514740"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2015.7357111"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"journal-title":"GNU-GCC C Compiler","year":"0","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372552"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61053-7_58"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/223428.207111"},{"key":"ref17","first-page":"1","article-title":"Assertion support in high-level synthesis design flow","author":"ribon","year":"2011","journal-title":"2011 Forum on Specification & Design Languages FDL 2011 Oldenburg Germany"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1155\/2011\/406857"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2014.6865091"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744807"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2554688.2554780"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"928","DOI":"10.1109\/TVLSI.2003.817116","article-title":"Memory allocation and mapping in high-level synthesis - an integrated approach","volume":"11","author":"seo","year":"2003","journal-title":"IEEE Trans VLSI Syst"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488748"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/43.908442"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656098"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039381"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2442116.2442118"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927496"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/FCCM.2015.25","article-title":"Using dynamic signal-tracing to debug compiler-optimized HLS circuits on FPGAs","author":"goeders","year":"2015","journal-title":"23rd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines FCCM 2015"},{"key":"ref22","first-page":"309","article-title":"Address-sanitizer: A fast address sanity checker","author":"serebryany","year":"2012","journal-title":"2012 USENIX Conference on Annual Technical Conference"},{"journal-title":"IEEE","article-title":"IEEE Standard for Verilog Hardware Description Language","year":"2006","key":"ref21"},{"journal-title":"GCC C-torture tests","year":"0","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2008.4541637"}],"event":{"name":"2016 26th International Conference on Field Programmable Logic and Applications (FPL)","start":{"date-parts":[[2016,8,29]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2016,9,2]]}},"container-title":["2016 26th International Conference on Field Programmable Logic and Applications (FPL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7573873\/7577295\/07577369.pdf?arnumber=7577369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:00:17Z","timestamp":1498334417000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7577369\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/fpl.2016.7577369","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}