{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:31:31Z","timestamp":1763724691450},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"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":[[2023,10,28]]},"DOI":"10.1109\/iccad57390.2023.10323796","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T13:58:45Z","timestamp":1701352725000},"page":"1-9","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Inductive Invariant Generation for Scalable Dataflow Circuit Verification"],"prefix":"10.1109","author":[{"given":"Jiahui","family":"Xu","sequence":"first","affiliation":[{"name":"ETH Zurich,Department of Information Technology and Electrical Engineering,Zurich,Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lana","family":"Josipovi\u0107","sequence":"additional","affiliation":[{"name":"ETH Zurich,Department of Information Technology and Electrical Engineering,Zurich,Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FPL57034.2022.00046"},{"key":"ref35","article-title":"Dy-namic inter-block scheduling for HLS","author":"cheng","year":"2022","journal-title":"Proceedings of the 32nd In-ternational Conference on Field-Programmable Logic and Applications"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3373087.3375297"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3373087.3375314"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2019.00056"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397291"},{"key":"ref36","first-page":"204","article-title":"Extending high-level synthesis for task-parallel programs","author":"chi","year":"2021","journal-title":"Proc IEEE Symp Field-Programmable Custom Computing Machines"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/FPL57034.2022.00063"},{"journal-title":"PolyBench The Polyhedral Benchmark Suite","year":"2012","author":"pouchet","key":"ref30"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127055"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM53951.2022.9786084"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2005.1430572"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC48570.2021.00009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2514740"},{"journal-title":"Vitis HLS","year":"2023","key":"ref1"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","article-title":"ABC: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"Proceedings of the 22nd International Conference on Computer Aided Verification"},{"key":"ref39","first-page":"253","article-title":"Cut-based inductive invariant computation","author":"case","year":"2008","journal-title":"Proc of the International Workshop on Logic Synthesis"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.12"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3485494"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3289602.3293914"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2009147"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_93"},{"journal-title":"Vivado Design Suite","year":"2020","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558639"},{"journal-title":"Compilers Principles Techniques and Tools","year":"1986","author":"aho","key":"ref20"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2009.12"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.1998.657533"},{"key":"ref22","first-page":"1","article-title":"Dynamatic: From C\/C++ to dynamically scheduled circuits","author":"josipovic","year":"2020","journal-title":"Proc ACM International Symposium on Field-programmable Gate Arrays"},{"journal-title":"Research Artifact for ICCAD’23 Automatic Inductive Invariant Generation for Scalable Dataflow Circuit Verification","year":"2023","author":"xu","key":"ref21"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558635"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICFPT47387.2019.00031"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3126525"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICFPT56656.2022.9974425"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0134-0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40922-X_23"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147077"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3105574"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3174243.3174264"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40922-X_8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3543622.3573196"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_7"}],"event":{"name":"2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","start":{"date-parts":[[2023,10,28]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2023,11,2]]}},"container-title":["2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323590\/10323543\/10323796.pdf?arnumber=10323796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T17:09:04Z","timestamp":1701364144000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10323796\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,28]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/iccad57390.2023.10323796","relation":{},"subject":[],"published":{"date-parts":[[2023,10,28]]}}}