{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:51:31Z","timestamp":1729651891198,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2000.896490","type":"proceedings-article","created":{"date-parts":[[2002,11,7]],"date-time":"2002-11-07T21:03:12Z","timestamp":1036702992000},"page":"303-310","source":"Crossref","is-referenced-by-count":3,"title":["Achieving fast and exact hazard-free logic minimization of extended burst-mode gC finite state machines"],"prefix":"10.1109","author":[{"given":"H.","family":"Jacobson","sequence":"first","affiliation":[]},{"given":"C.","family":"Myers","sequence":"additional","affiliation":[]},{"given":"G.","family":"Gopalakrishman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240534"},{"journal-title":"Synthesis of asynchronous systems targeting finite state machines","year":"1995","author":"kudva","key":"ref30"},{"journal-title":"ASSASSIN A synthesis system for asynchronous control circuits","year":"1994","author":"ykman-couvreur","key":"ref10"},{"journal-title":"Computer-aided synthesis and verification of gate-level timed circuits","year":"1995","author":"myers","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/43.743711"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/12.644299"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.736185"},{"key":"ref15","first-page":"332","article-title":"Direct synthesis of timed asynchronous circuits","author":"jung","year":"1999","journal-title":"Proc International Conf Computer-Aided Design (ICCAD)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810610"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1999.761523"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1996.558219"},{"journal-title":"Synthesis of asynchronous controllers for heterogeneous systems","year":"1994","author":"yun","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1992.279310"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/92.736138"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1992.205896"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/54.282441"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240532"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.1995.520630"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/5.740024"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/43.736186"},{"journal-title":"Sequential optimization of asynchronous and synchronous finite-state machines","year":"1999","author":"fuhrer","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276285"},{"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 Transactions on Information and Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(93)90036-C"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1998.666495"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/43.700719"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1992.279309"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/43.720313"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/196244.196275","article-title":"basic gate implementation of speed-independendent circuits","author":"kondratyev","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(93)90032-8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/43.743715"}],"event":{"name":"International Conference on Computer Aided Design (ICCAD)","acronym":"ICCAD-00","location":"San Jose, CA, USA"},"container-title":["IEEE\/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE\/ACM Digest of Technical Papers (Cat. No.00CH37140)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7189\/19359\/00896490.pdf?arnumber=896490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T09:57:34Z","timestamp":1497520654000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/896490\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":31,"URL":"http:\/\/dx.doi.org\/10.1109\/iccad.2000.896490","relation":{},"subject":[]}}
