{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T15:06:16Z","timestamp":1743347176375,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/async.1998.666502","type":"proceedings-article","created":{"date-parts":[[2002,11,27]],"date-time":"2002-11-27T11:41:39Z","timestamp":1038397299000},"page":"159-170","source":"Crossref","is-referenced-by-count":20,"title":["Verification of speed-dependences in single-rail handshake circuits"],"prefix":"10.1109","author":[{"given":"R.","family":"Negulescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Peeters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178564"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/43.97615"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1994.656283"},{"journal-title":"Synthesis and testing of bounded wire delay asynchronous circuits from signal transition graphs","year":"1992","author":"lavagno","key":"ref13"},{"key":"ref14","first-page":"1","author":"martin","year":"1990","journal-title":"Developments in Concurrency and Communication"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1997.587181"},{"journal-title":"Computer-aided synthesis and verification of gate-level timed circuits","year":"1995","author":"myers","key":"ref16"},{"journal-title":"Computer Science","year":"1995","author":"negulescu","key":"ref17"},{"key":"ref18","article-title":"A technique for finding and verifying speed-dependences in gate circuits","author":"negulescu","year":"1997","journal-title":"ACM Int Workshop Timing Issues in the Specification of and Synthesis of Digital Syst"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.1998.657553"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114826"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/WCADM.1995.514647"},{"journal-title":"ACM Distinguished Dissertations","year":"1989","author":"dill","key":"ref6"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4210-9","author":"brzozowski","year":"1995","journal-title":"Asynchronous Circuits"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1994.656288"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF02252954"},{"key":"ref2","volume":"5","author":"van berkel","year":"1993","journal-title":"Handshake Circuits An Asynchronous Architecture for VLSI Programming"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(92)90001-F"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref9"},{"journal-title":"Single-Rail Handshake Circuits","year":"1996","author":"peeters","key":"ref20"},{"journal-title":"A Theory of Delay-insensitive Systems","year":"1994","author":"verhoeff","key":"ref21"}],"event":{"name":"Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems","acronym":"ASYNC-98","location":"San Deigo, CA, USA"},"container-title":["Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx4\/5413\/14632\/00666502.pdf?arnumber=666502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T11:18:42Z","timestamp":1497525522000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/666502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/async.1998.666502","relation":{},"subject":[]}}