{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:09:48Z","timestamp":1761581388231,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/fpt.2015.7393155","type":"proceedings-article","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T21:42:08Z","timestamp":1454017328000},"page":"228-231","source":"Crossref","is-referenced-by-count":10,"title":["JIT trace-based verification for high-level synthesis"],"prefix":"10.1109","author":[{"given":"Liwei","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magzhan","family":"Ikram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swathi","family":"Gurumani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suhaib","family":"Fahmy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deming","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyle","family":"Rupnow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.2003.1227258"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147178"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2361661"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927498"},{"year":"0","key":"ref11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927496"},{"key":"ref12","first-page":"1192","article-title":"Chstone: A benchmark program suite for practical c-based high-level synthesis","author":"hara","year":"2008","journal-title":"ISCAS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2753768"},{"key":"ref7","article-title":"Using dynamic signal-tracing to debug compiler-optimized hls circuits on fpgas","author":"jeffrey","year":"2015","journal-title":"FCCM"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.79"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645541"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/2499370.2462164","article-title":"Formal verification of ssa-based optimizations for Ilvm","volume":"48","author":"zhao","year":"2013","journal-title":"ACM SIGPLAN Notices"}],"event":{"name":"2015 International Conference on Field Programmable Technology (FPT)","start":{"date-parts":[[2015,12,7]]},"location":"Queenstown, New Zealand","end":{"date-parts":[[2015,12,9]]}},"container-title":["2015 International Conference on Field Programmable Technology (FPT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7386271\/7393109\/07393155.pdf?arnumber=7393155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T04:44:58Z","timestamp":1498279498000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7393155\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/fpt.2015.7393155","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}