{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T15:33:43Z","timestamp":1777390423985,"version":"3.51.4"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/iccad.2015.7372602","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T17:15:52Z","timestamp":1452186952000},"page":"434-441","source":"Crossref","is-referenced-by-count":1,"title":["Asynchronous QDI circuit synthesis from signal transition protocols"],"prefix":"10.1109","author":[{"given":"BoYuan","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YiHsiang","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JieHong R.","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.15"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2011.10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.859516"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309112"},{"key":"ref14","first-page":"389","article-title":"Automatic synthesis of speed-independent circuits from signal transition graph specifications","author":"park","year":"1996","journal-title":"Proc Int Conf on VLSI Design"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1995.520362"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1993.386423"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580065"},{"key":"ref18","first-page":"1686","article-title":"Signal transition graph constraints for speed-independent circuit synthesis","author":"puri","year":"1993","journal-title":"Proc Int Symp on Circuits and Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2007.4428851"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2014.16"},{"key":"ref3","author":"taubin","year":"2007","journal-title":"Design Automation Of Real-Life Asynchronous Devices And Systems"},{"key":"ref6","article-title":"Synthesis of self-timed VLSI circuits from graph-theoretic specifications","author":"chu","year":"1987","journal-title":"Technical Report MIT"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2014.6881519"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1109\/43.402496","article-title":"Asynchronous circuit synthesis with Boolean satisfiability","volume":"14","author":"gu","year":"1995","journal-title":"IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2013.17"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2002.1018139"},{"key":"ref9","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 on Information and Systems"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/JPROC.2006.875789","article-title":"Asynchronous techniques for system-on-chip","volume":"94","author":"martin","year":"2006","journal-title":"Proceedings of the IEEE"},{"key":"ref20","article-title":"Minimalist: An environment for the synthesis, verification and testability of burst-mode asynchronous machines","author":"fuhrer","year":"1999","journal-title":"Columbia University Technical Report"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.31"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1999.761528"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3385-3"},{"key":"ref26","year":"0"},{"key":"ref25","year":"0","journal-title":"AMBA Specification"}],"event":{"name":"2015 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"Austin, TX, USA","start":{"date-parts":[[2015,11,2]]},"end":{"date-parts":[[2015,11,6]]}},"container-title":["2015 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7367889\/7372533\/07372602.pdf?arnumber=7372602","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T23:15:27Z","timestamp":1498259727000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7372602\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iccad.2015.7372602","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}