{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T14:25:34Z","timestamp":1773843934614,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/iccd.2015.7357111","type":"proceedings-article","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T21:57:06Z","timestamp":1450389426000},"page":"251-258","source":"Crossref","is-referenced-by-count":18,"title":["Trace-based automated logical debugging for high-level synthesis generated circuits"],"prefix":"10.1109","author":[{"given":"Pietro","family":"Fezzardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Castellana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Ferrandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Assertion support in high&#x2014;level synthesis design flow","author":"ribon","year":"2011","journal-title":"Specification and Design Languages (FDL) 2011 Forum on"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1109\/FPGA.2003.1227258","article-title":"Source level debugger for the Sea Cucumber synthesizing compiler","author":"hemmert","year":"2003","journal-title":"Field-Programmable Custom Computing Machines 2003 FCCM 2003 11th Annual IEEE Symposium on"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927498"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927496"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147025"},{"key":"ref15","first-page":"134","article-title":"A source&#x2014;level dynamic analysis methodology and tool for high&#x2014;level synthesis","author":"chen","year":"1997","journal-title":"Proceedings of the 10th International Symposium on System Synthesis ser ISSS '97"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19980710)28:8<859::AID-SPE188>3.0.CO;2-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2008.4541637"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2013.6718324"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2435264.2435272"},{"key":"ref6","article-title":"IEEE Standard Verilog Hardware Description Language","year":"2001","journal-title":"IEEE Std 1364&#x2013;2001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927497"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2014.6865091"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927495"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2011.102"},{"key":"ref1","year":"0","journal-title":"Pand A project homepage"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2010.5470747"}],"event":{"name":"2015 33rd IEEE International Conference on Computer Design (ICCD)","location":"New York City, NY, USA","start":{"date-parts":[[2015,10,18]]},"end":{"date-parts":[[2015,10,21]]}},"container-title":["2015 33rd IEEE International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7347055\/7357071\/07357111.pdf?arnumber=7357111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:16:40Z","timestamp":1602685000000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7357111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iccd.2015.7357111","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}