{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T19:42:40Z","timestamp":1772307760550,"version":"3.50.1"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council (EPSRC) Impact Acceleration Grant Dataflow Computation \u00e0 la Carte","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC Research","doi-asserted-by":"publisher","award":["A4A (EP\/L025507\/1)"],"award-info":[{"award-number":["A4A (EP\/L025507\/1)"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC Research","doi-asserted-by":"publisher","award":["POETS (EP\/N031768\/1)"],"award-info":[{"award-number":["POETS (EP\/N031768\/1)"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. VLSI Syst."],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1109\/tvlsi.2020.2975591","type":"journal-article","created":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T22:56:36Z","timestamp":1585090596000},"page":"1527-1539","source":"Crossref","is-referenced-by-count":6,"title":["Design and Implementation of Reconfigurable Asynchronous Pipelines"],"prefix":"10.1109","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8431-604X","authenticated-orcid":false,"given":"Alessandro","family":"de Gennaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4030-0089","authenticated-orcid":false,"given":"Danil","family":"Sokolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrey","family":"Mokhov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"ref38","article-title":"Data flow schemas","author":"dennis","year":"1972"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/5.740020"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.884574"},{"key":"ref31","year":"2020","journal-title":"Keithley 2612B System Source Meter Data Sheet"},{"key":"ref30","year":"2020","journal-title":"TSMC 90 nm CMOS Logic or MS\/RF Low Power"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2999539"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/WIECON-ECE.2015.7444009"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/APEMC.2010.5475640"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ARVLSI.1997.634853"},{"key":"ref10","article-title":"Kommunikation mit automaten","author":"petri","year":"1962"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"ref11","first-page":"269","article-title":"Workcraft: Ten years later","author":"sokolov","year":"2016","journal-title":"This asynchronous world Essays dedicated to Alex Yakovlev on the occasion of his 60th birthday"},{"key":"ref12","first-page":"315","article-title":"Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers","volume":"e80 d","author":"cortadella","year":"1997","journal-title":"IEICE Trans Inf Syst"},{"key":"ref13","first-page":"49","article-title":"Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT","volume":"70","author":"khomenko","year":"2006","journal-title":"Fundam Inf"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"35","DOI":"10.7551\/mitpress\/1102.003.0005","article-title":"Syntax-directed translation of concurrent programs into self-timed circuits","author":"burns","year":"1988","journal-title":"Advanced Research in VLSI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206431"},{"key":"ref16","first-page":"1","article-title":"The Balsa asynchronous circuit synthesis system","volume":"224","author":"bardsley","year":"2000","journal-title":"Proc Forum Design Lang"},{"key":"ref17","article-title":"Pipelined asynchronous circuits","author":"lines","year":"1998"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2014.6868662"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342264"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.11"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26408-0_5"},{"key":"ref27","article-title":"A usable reachability analyser","author":"khomenko","year":"2009"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3022670.2976746"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2012.2205998"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.1996.542821"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927276"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3385-3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2011.71"},{"key":"ref2","article-title":"TensorFlow: Large-scale machine learning on heterogeneous distributed systems","author":"abadi","year":"2016","journal-title":"arXiv 1603 04467"},{"key":"ref9","first-page":"581","article-title":"Analysis of static data flow structures","volume":"88","author":"sokolov","year":"2008","journal-title":"Fundam Inf"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.cs.01.060186.001301"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2627351"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2008.18"},{"key":"ref21","first-page":"199","article-title":"Signal graphs: From self-timed to timed ones","author":"rosenblum","year":"1985","journal-title":"Proc Int Workshop Timed Petri Nets"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980098"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref41","first-page":"205","article-title":"Observability conditions and automatic operand-isolation in high-throughput asynchronous pipelines","author":"saifhashemi","year":"2012","journal-title":"Integrated Circuit and System Design Power and Timing Modeling Optimization and Simulation"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0011-684X(85)90108-X"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2019.00009"},{"key":"ref25","article-title":"Towards a practical programming language based on dependent type theory","author":"norell","year":"2007"}],"container-title":["IEEE Transactions on Very Large Scale Integration (VLSI) Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/92\/9104037\/09046248.pdf?arnumber=9046248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,2]],"date-time":"2024-08-02T21:12:31Z","timestamp":1722633151000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9046248\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":43,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tvlsi.2020.2975591","relation":{},"ISSN":["1063-8210","1557-9999"],"issn-type":[{"value":"1063-8210","type":"print"},{"value":"1557-9999","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6]]}}}