{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T06:01:12Z","timestamp":1783749672527,"version":"3.55.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,28]],"date-time":"2022-05-28T00:00:00Z","timestamp":1653696000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,28]],"date-time":"2022-05-28T00:00:00Z","timestamp":1653696000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,28]]},"DOI":"10.1109\/iscas48785.2022.9937754","type":"proceedings-article","created":{"date-parts":[[2022,11,11]],"date-time":"2022-11-11T20:38:08Z","timestamp":1668199088000},"page":"3244-3248","source":"Crossref","is-referenced-by-count":1,"title":["SAT-based Scheduling Algorithm for High-level Synthesis Considering Resource Sharing"],"prefix":"10.1109","author":[{"given":"Hao","family":"Jiang","sequence":"first","affiliation":[{"name":"Fudan University,State Key Lab of ASIC and System,Shanghai,P. R. China,201203"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fan","family":"Yang","sequence":"additional","affiliation":[{"name":"Fudan University,State Key Lab of ASIC and System,Shanghai,P. R. China,201203"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Changhao","family":"Yan","sequence":"additional","affiliation":[{"name":"Fudan University,State Key Lab of ASIC and System,Shanghai,P. R. China,201203"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xuan","family":"Zeng","sequence":"additional","affiliation":[{"name":"Fudan University,State Key Lab of ASIC and System,Shanghai,P. R. China,201203"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2008.4483947"},{"key":"ref11","first-page":"1","article-title":"Smt solving for arithmetic theories: Theory and tool support","author":"\u00e1brah\u00e1m","year":"2017","journal-title":"2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2014.895828"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/AIACT.2019.8847727"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.28.4.354"},{"key":"ref15","first-page":"181","article-title":"A single-instance incremental sat formulation of proof- and counterexample-based abstraction","author":"een","year":"2010","journal-title":"Formal Methods in Computer Aided Design"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.06.003"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2514740"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645550"},{"key":"ref6","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":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/127601.127751"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2013.6654637"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1145\/1146909.1147025","article-title":"An efficient and versatile scheduling algorithm based on sdc formulation","author":"cong","year":"2006","journal-title":"2006 43rd ACM\/IEEE Design Automation Conference"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICICDT.2014.6838614"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2110592"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3174243.3174268"}],"event":{"name":"2022 IEEE International Symposium on Circuits and Systems (ISCAS)","location":"Austin, TX, USA","start":{"date-parts":[[2022,5,27]]},"end":{"date-parts":[[2022,6,1]]}},"container-title":["2022 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9937201\/9937203\/09937754.pdf?arnumber=9937754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:57:52Z","timestamp":1670875072000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9937754\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,28]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iscas48785.2022.9937754","relation":{},"subject":[],"published":{"date-parts":[[2022,5,28]]}}}