{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:07:08Z","timestamp":1730232428999,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/iccad.2015.7372603","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T22:15:52Z","timestamp":1452204952000},"page":"442-449","source":"Crossref","is-referenced-by-count":7,"title":["SPOCK: Static performance analysis and deadlock verification for efficient asynchronous circuit synthesis"],"prefix":"10.1109","author":[{"given":"ChunHong","family":"Shih","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":[{"journal-title":"LP-SOLVE","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(84)90067-X"},{"key":"ref12","first-page":"164","article-title":"Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits","author":"mcmillan","year":"1992","journal-title":"Proc Workshop on Computer Aided Verification"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.875789"},{"key":"ref14","first-page":"180","article-title":"An efficient algorithm for time separation of events in concurrent systems","author":"mcgee","year":"2007","journal-title":"Proc Int'l Conf on Computer-Aided Deeign"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2008.18"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_50"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230492"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2012.14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2014.6881519"},{"key":"ref3","first-page":"315","article-title":"Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers","volume":"80","author":"cortadella","year":"1997","journal-title":"IEICE Transactions on Information and Systems"},{"journal-title":"NULL Convention LogicTM System","year":"1994","author":"fant","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372643"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2002.1018139"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2014.16"},{"year":"0","key":"ref1","article-title":"Berkeley Logic Synthesis and Verification Group"},{"journal-title":"Pipelined Asynchronous Circuits","year":"1995","author":"lines","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-011-1199-3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2009.31"}],"event":{"name":"2015 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2015,11,2]]},"location":"Austin, TX, USA","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\/07372603.pdf?arnumber=7372603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:53:38Z","timestamp":1490396018000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7372603\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccad.2015.7372603","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}