{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:00:08Z","timestamp":1779087608150,"version":"3.51.4"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2004.1382610","type":"proceedings-article","created":{"date-parts":[[2005,2,22]],"date-time":"2005-02-22T20:29:50Z","timestamp":1109104190000},"page":"411-418","source":"Crossref","is-referenced-by-count":5,"title":["On breakable cyclic definitions"],"prefix":"10.1109","author":[{"given":"J.-H.R.","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mishchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.K.","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SCT.1988.5270"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(75)80050-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/T-C.1970.222884","article-title":"the necessity of closed circuit loops in minimal combinational circuits","volume":"c 19","author":"kautz","year":"1970","journal-title":"IEEE Transactions on Computers"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1991.139995"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/43.293952"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_34"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/775832.775875","article-title":"The synthesis of cyclic combinational circuits","author":"riedel","year":"2003","journal-title":"Proc Design Automation Conference"},{"key":"ref18","first-page":"105","article-title":"Cyclic combinational circuits: analysis for synthesis","author":"riedel","year":"2003","journal-title":"Proc lnt'l Workshop on Logic and Synthesis"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(70)80006-X"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4210-9","author":"brzozowski","year":"1995","journal-title":"Asynchronous Circuits"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270310"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/775832.775874","article-title":"Making cyclic circuits acyclic","author":"edwards","year":"2003","journal-title":"Proc Design Automation Conference"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009191"},{"key":"ref2","author":"berry","year":"1999","journal-title":"The Constructive Semantics of Pure Esterel Draft Book"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5641.003.0021","article-title":"The foundations of Esterel","author":"berry","year":"2000","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"ref9","article-title":"On the symbolic analysis of combinational loops in circuits and synchronous programs","author":"halbwachs","year":"1995","journal-title":"Proc EUROMICRO"},{"key":"ref20","article-title":"Formal Analysis of Cyclic Circuits","author":"shiple","year":"1996"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1109\/ICCAD.1992.279349","article-title":"False loops through resource sharing","author":"stok","year":"1992","journal-title":"Proc Int'l Conf on Computer-Aided Design"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1996.494321"}],"event":{"name":"ICCAD 2004. International Conference on Computer Aided Design","location":"San Jose, CA, USA","acronym":"ICCAD-04"},"container-title":["IEEE\/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9494\/30133\/01382610.pdf?arnumber=1382610","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T13:59:24Z","timestamp":1734962364000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1382610\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iccad.2004.1382610","relation":{},"subject":[]}}