{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:55:15Z","timestamp":1773194115291,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,15]],"date-time":"2022-05-15T00:00:00Z","timestamp":1652572800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,15]],"date-time":"2022-05-15T00:00:00Z","timestamp":1652572800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,15]]},"DOI":"10.1109\/fccm53951.2022.9786096","type":"proceedings-article","created":{"date-parts":[[2022,6,3]],"date-time":"2022-06-03T19:48:36Z","timestamp":1654285716000},"page":"1-10","source":"Crossref","is-referenced-by-count":7,"title":["Dynamic C-Slow Pipelining for HLS"],"prefix":"10.1109","author":[{"given":"Jianyi","family":"Cheng","sequence":"first","affiliation":[{"name":"Imperial College London,Department of Electrical and Electronic Engineering,UK"}]},{"given":"John","family":"Wickerson","sequence":"additional","affiliation":[{"name":"Imperial College London,Department of Electrical and Electronic Engineering,UK"}]},{"given":"George A.","family":"Constantinides","sequence":"additional","affiliation":[{"name":"Imperial College London,Department of Electrical and Electronic Engineering,UK"}]}],"member":"263","reference":[{"key":"ref10","article-title":"C to asynchronous dataflow circuits: An end-to-end toolflow","author":"venkataramani","year":"2004","journal-title":"IEEE 13th International Workshop on Logic Synthesis (IWLS)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"ref12","article-title":"Simple symmetric multi-threading in xilinx fpgas","author":"markovskiy","year":"2002"},{"key":"ref13","first-page":"185","article-title":"Post-placement c-slow retiming for the xilinx virtex fpga","author":"weaver","year":"0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2228270"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2007.18"},{"key":"ref16","first-page":"1","article-title":"Flushing-enabled loop pipelining for high-level synthesis","author":"dai","year":"2014","journal-title":"2014 51st ACM\/EDAC\/IEEE Design Automation Conference (DAC)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/SEEDA-CECNSM.2018.8544930"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191543"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488796"},{"key":"ref4","article-title":"Circt: Circuit ir compilers and tools","year":"2021"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3174243.3174264"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-95432-0_7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3126525"},{"key":"ref8","author":"page","year":"1991","journal-title":"FPGAs"},{"key":"ref7","article-title":"Finding and finessing static islands in dynamically scheduled circuits","author":"cheng","year":"0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2014.6927490"},{"key":"ref9","article-title":"Handel-C","year":"2005"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691121"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2017.8335152"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FPL53798.2021.00066"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2783363"},{"key":"ref24","first-page":"1","article-title":"Efficient memory arbitration in high-level synthesis from multi-threaded code","author":"cheng","year":"2021","journal-title":"IEEE Transactions on Computers"},{"key":"ref23","article-title":"This is boogie 2","author":"leino","year":"2008"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2008.4541637"},{"key":"ref25","article-title":"Polybench: The polyhedral benchmark suite","volume":"437","author":"pouchet","year":"2012"}],"event":{"name":"2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)","location":"New York City, NY, USA","start":{"date-parts":[[2022,5,15]]},"end":{"date-parts":[[2022,5,18]]}},"container-title":["2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9786061\/9786064\/09786096.pdf?arnumber=9786096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T21:02:18Z","timestamp":1656363738000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9786096\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,15]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/fccm53951.2022.9786096","relation":{},"subject":[],"published":{"date-parts":[[2022,5,15]]}}}