{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:53Z","timestamp":1725456113691},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540553541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021033","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:02:29Z","timestamp":1132621349000},"page":"422-441","source":"Crossref","is-referenced-by-count":0,"title":["CAST.FSM applied to VLSI synthesis: Experimental results and requirements for industrial use"],"prefix":"10.1007","author":[{"given":"Martin","family":"Geiger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"P. Ashar, S. Devadas, and A.R. Newton. A unified approach to the decomposition and redecomposition of sequential machines. In Proc. of the 27th Design Automation Conference, 1990.","DOI":"10.1145\/123186.123414"},{"key":"33_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"R. K. Brayton","year":"1984","unstructured":"R. K. Brayton, G. D. Hachtel, C. T. McMullen, and A.L. Sangiovanni-Vincentelli. Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers, Dordrecht, 1984."},{"key":"33_CR3","volume-title":"Technical Report 1","author":"K. H. B\u00f6hling","year":"1968","unstructured":"Karl Heinz B\u00f6hling. Zur Theorie der Schieberegister-Realisierungen von Schaltwerken. Technical Report 1, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, 1968."},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"R. Brayton, R. Rudell, A. Wang, and A. Sangiovanni-Vincentelli. MIS: A multiple-level logic optimization system. IEEE Trans. on Computer-Aided Design, CAD-6(6), November 1987.","DOI":"10.1109\/TCAD.1987.1270347"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Srinivas Devadas. General decomposition of sequential machines: Relationship to state assignment. In Proc. of the 26th Design Automation Conference, 1989.","DOI":"10.21236\/ADA208189"},{"issue":"3","key":"33_CR6","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1109\/TCAD.1985.1270123","volume":"CAD-4","author":"G. Micheli De","year":"1985","unstructured":"Giovanni De Micheli, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli. Optimal state assignment for finite state machines. IEEE Trans. on Computer-Aided Design, CAD-4(3):269\u2013285, July 1985.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"33_CR7","volume-title":"EDIF 2 0 0 \u2014 Electronic Design Interchange Format, Version 2 0 0","author":"EDIF Steering Committee","year":"1987","unstructured":"EDIF Steering Committee. EDIF 2 0 0 \u2014 Electronic Design Interchange Format, Version 2 0 0. Electronic Industries Association, 20001 Eye Street, NW, Washington DC, 20006, May 1987."},{"key":"33_CR8","volume-title":"Requirements for systems theory software applied to VLSI-design","author":"M. Geiger","year":"1990","unstructured":"M. Geiger. Requirements for systems theory software applied to VLSI-design. In Robert Trappl, editor, Proc. of the Tenth European Meeting on Cybernetics and Systems Research, Singapore, 1990. World Scientific Publishing Co."},{"key":"33_CR9","volume-title":"PhD thesis","author":"M. Geiger","year":"1991","unstructured":"Martin Geiger. Finite State Machine Methods Applied to VLSI Synthesis. PhD thesis, Institute of Systems Sciences, Johannes Kepler University Linz, 1991."},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Martin Geiger and Thomas M\u00fcller-Wipperf\u00fcrth. FSM decomposition revisited: Algebraic structure theory applied to MCNC benchmark FSMs. In Proc. of the 28th Design Automation Conference, 1991.","DOI":"10.1145\/127601.127661"},{"key":"33_CR11","volume-title":"Algebraic Structure Theory of Sequential Machines","author":"J. Hartmanis","year":"1966","unstructured":"J. Hartmanis and R. E. Stearns. Algebraic Structure Theory of Sequential Machines. Prentice Hall, Englewood Cliffs, 1966."},{"key":"33_CR12","volume-title":"Technical report","author":"B. Lisanke","year":"1988","unstructured":"Bob Lisanke. Logic synthesis and optimization benchmarks. Technical report, MCNC, Research Triangle Park, North Carolina, December 1988. (Documentation for the benchmark examples used in conjunction with the 1989 MCNC International Workshop on Logic Synthesis)."},{"key":"33_CR13","unstructured":"Bill Lin and A. Richard Newton. Synthesis of multiple-level logic from symbolic high-level description languages. In Proc. of the VLSI 89 Conference, Munich, 1989."},{"key":"33_CR14","unstructured":"S. M\u00e4rz, K. Buchenrieder, P. Duzy, R. Kumar, and T. Wecker. CALLAS \u2014 a system for automatic synthesis of digital circuits from algorithmic behavioral descriptions. In Proc. of the Conference EUROASIC 89, Grenoble, 1989."},{"key":"33_CR15","volume-title":"Technical report","author":"R. Mittelmann","year":"1989","unstructured":"Rudolf Mittelmann. CAST:FSM user's guide. Technical report, Institut f\u00fcr Systemwissenschaften, Johannes Kepler Universit\u00e4t Linz, July 1989."},{"key":"33_CR16","unstructured":"Thomas M\u00fcller-Wipperf\u00fcrth. An efficient implementation of the FSM lattice computation and decomposition using CommonLisp\/Flavors\/C. Technical report, Institute of Systems Sciences, University Linz, 1991."},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Thomas M\u00fcller-Wipperf\u00fcrth and Martin Geiger. Algebraic decomposition of MCNC benchmark FSMs for logic synthesis. In Proc. of the Conference EUROASIC 91, Paris, 1991.","DOI":"10.1109\/EUASIC.1991.212876"},{"key":"33_CR18","first-page":"731","volume-title":"CAST \u2014 computer aided systems theory: A framework for interactive method banks","author":"F. Pichler","year":"1988","unstructured":"F. Pichler. CAST \u2014 computer aided systems theory: A framework for interactive method banks. In Robert Trappl, editor, Proceedings of the Ninth European Meeting on Cybernetics and Systems Research, pages 731\u2013736, Dordrecht, 1988. Kluwer Academic Publishers."},{"key":"33_CR19","first-page":"737","volume-title":"Cybernetics and Systems 88","author":"F. Pichler","year":"1988","unstructured":"F. Pichler and H. Pr\u00e4hofer. CAST.FSM computer aided systems theory: Finite state machines. In R. Trappl, editor, Cybernetics and Systems 88, pages 737\u2013742, Dordrecht, 1988. Kluwer Academic Publishers."},{"key":"33_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-93436-0","volume-title":"CAST Computerunterst\u00fctzte Systemtheorie","author":"F. Pichler","year":"1990","unstructured":"F. Pichler and H. Schw\u00e4rtzel. CAST Computerunterst\u00fctzte Systemtheorie. Springer Verlag, Berlin, 1990."},{"key":"33_CR21","unstructured":"G. Rietsche and Neher. M. Castor: State assignment in a finite state machine synthesis system. In Proc. of the IFIP Working Conference on Logic and Architecture Synthesis, Paris, 1990."},{"key":"33_CR22","volume-title":"Abstract Automata","author":"P. H. Starke","year":"1972","unstructured":"Peter H. Starke. Abstract Automata. North-Holland Publishing Company, Amsterdam, 1972."},{"key":"33_CR23","unstructured":"IEEE Standard VHDL Language Reference Manual, IEEE Std. 1076\u20131987."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST '91"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0021033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:41:53Z","timestamp":1586558513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540553541"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0021033","relation":{},"subject":[]}}