{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T02:10:22Z","timestamp":1735524622351,"version":"3.32.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf01383833","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T00:29:21Z","timestamp":1112401761000},"page":"245-273","source":"Crossref","is-referenced-by-count":5,"title":["Signal transition graph constraints for synthesis of hazard-free asynchronous circuits with unbounded-gate delays"],"prefix":"10.1007","volume":"5","author":[{"given":"Radhakrishna","family":"Nagalla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Hellestrand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Tam-Ann Chu, Synthesis of Self-timed Control Circuits from Graphs: An Example. InInternational Conference on Computer Design, ICCD-86, pp. 565?571, October 1986."},{"key":"CR2","unstructured":"Tam-Anh Chu,Synthesis of Self-timed VLSI Circuits from Graph-theoretic Specifications. PhD thesis, MIT, June 1987."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"F. Commoner, A.W. Holt, S. Even, and A. Pnueli, Marked Directed Graphs.Journal of Computer and System Sciences, 5:511?523, 1971.","journal-title":"Journal of Computer and System Sciences"},{"key":"CR4","unstructured":"Ganesh Gopalakrishnan and Prabhat Jain, Some Recent Asynchronous System Design Methodologies. Technical Report UU-CS-TR-90-016, University of Utah, October 1990."},{"key":"CR5","unstructured":"Michel Hack, Analysis of Production Schemata by Petri Nets. Master's thesis, MIT, 1972. (Project MAC TR-94)."},{"key":"CR6","unstructured":"Luciano Lavagno, K. Keutzer, and A. Sangiovanni-Vincentelli, Synthesis of Verifiably Hazard-free Asynchronous Control Circuits. InAdvanced Research in VLSI, 1991. Also in DAC-91."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Luciano Lavagno, K. Keutzer, and A. Sangiovanni-Vincentelli, Algorithms for Synthesis of Hazard-Free Asynchronous Circuits. InProceedings of the Design Automation Conference, June 1991.","DOI":"10.1145\/127601.127685"},{"key":"CR8","series-title":"Technical Report UCB-ERL M92\/19","volume-title":"A Novel Framework for Solving the State Assignment Problem for Event-Based Specifications","author":"Luciano Lavagno","year":"1992","unstructured":"Luciano Lavagno, C.W. Moon, R.K. Brayton, and A. Sangiovanni-Vincentelli, A Novel Framework for Solving the State Assignment Problem for Event-Based Specifications. Technical Report UCB-ERL M92\/19, University of California, Berkeley, 1992. Also in DAC-92."},{"issue":"11","key":"CR9","doi-asserted-by":"crossref","first-page":"1185","DOI":"10.1109\/43.41504","volume":"8","author":"Teresa H.Y. Meng","year":"1989","unstructured":"Teresa H.Y. Meng, Robert W. Brodersen, and David G. Messerschnitt, Automatic Synthesis of Asynchronous Circuits from High-Level Specifications.IEEE Transactions on CAD of Integrated Circuits, 8(11):1185?1205, November 1989.","journal-title":"IEEE Transactions on CAD of Integrated Circuits"},{"key":"CR10","unstructured":"Teresa H.Y. Meng,Synchronization Design of Digital Systems. Kluwer Academic, 1990."},{"key":"CR11","unstructured":"R.E. Miller,Switching Theory, Volume II, Chapter 10. John Wiley and Sons, 1965."},{"key":"CR12","unstructured":"Cho W. Moon, Paul R. Stephen, and Robert K. Brayton, Specification, Synthesis and Verification of Hazard-free Asynchronous Circuits. Technical Report UCB\/ERLM91\/67, UC Berkeley, August 1991. Also in ICCAD-91."},{"issue":"4","key":"CR13","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"Tadao Murata","year":"1989","unstructured":"Tadao Murata, Petri Nets: Properties, Analysis and Applications.Proceedings of the IEEE, 77(4):541?580, April 1989.","journal-title":"Proceedings of the IEEE"},{"key":"CR14","unstructured":"Ruchir Puri, Signal Transition Graph Constraints for Hazard-free Synthesis of Asynchronous Circuits. Unpublished manuscript, June 1992. To appear in Proc. of ISCAS 93."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Stephen H. Unger,Asynchronous Sequential Switching Circuits. John Wiley & Sons Inc., 1969.","DOI":"10.1109\/SWAT.1970.3"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"P. Vanbekbergen, F. Catthoor, G. Goossens, and H. De Man, Optimized Synthesis of Asynchronous Control Circuits from Graph-theoretic Specifications. InProceedings of International Conference on Computer-Aided Design, pp. 184?187, 1990.","DOI":"10.1109\/ICCAD.1990.129875"},{"key":"CR17","series-title":"Technical report","volume-title":"Time and Area Performance Synthesis of Asynchronous Control Circuits","author":"P. Vanbekbergen","year":"1990","unstructured":"P. Vanbekbergen, F. Catthoor, G. Goossens, and H. De Man, Time and Area Performance Synthesis of Asynchronous Control Circuits. Technical report, IMEC Laboratory, B-3030 Leuven, Belgium, 1990."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Meng-Lin Yu and P.A. Subrahmanyam, A New Approach for Checking the Unique State Coding Property of Signal Transition Graphs. InProceedings of European Conference on Design Automation, pp. 312?321, March 1992.","DOI":"10.1109\/EDAC.1992.205945"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01383833.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01383833\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01383833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T01:48:07Z","timestamp":1735523287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01383833"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF01383833"],"URL":"https:\/\/doi.org\/10.1007\/bf01383833","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}