Abstract
CAST.FSM is applied to the problem of controller decomposition for ASIC design automation purposes. Requirements and extensions are investigated to integrate the interactive method bank CAST.FSM into the design process and to make it fully applicable. A re-implementation of selected functions is presented and decomposition results and calculation times for the MCNC benchmark FSMs are discussed.
Preview
Unable to display preview. Download preview PDF.
References
P. Ashar, S. Devadas, A.R. Newton, “Optimum and Heuristic Algorithms for Finite State Machine Decomposition and Partitioning,” Proc. of the Intern. Conf. on Computer-Aided Design, 1989.
P. Ashar, S.Devadas, A.R. Newton, “A Unified Approach to the Decomposition and Redecomposition of Sequential Machines,” Proc. of the 27th Design Automation Conference, 1990.
R. Brayton, R. Rudell, A. Wang, A. Sangiovanni-Vincentelli, “MIS: A Multilevel Logic Optimization System”, IEEE Trans.on Computer Aided Design, 1987.
R. Brayton, G. D. Hachtel, C. T. McMullen, A. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Kluwer, Dordrecht, 1984.
Burger W., “A Versatile Development Tool for Knowledge-Based Computer Vision,” Cybernetics and Systems 22 (3), June 1991.
P. Duzy, H. Krämer, M. Pilsl, W. Rosenstiel, T. Wecker, “CALLAS — Conversion of Algorithms to Library Adaptable Structures,” Proc. of the VLSI 89 Conference, Munich, 1989.
M. Foster, “Partitioning Real Finite Automata: A Progress Report,” Technical Report, AT&T Bell Laboratories, 1988.
J. Hartmanis, R.E. Stearns, Algebraic Structure Theory of Sequential Machines, Prentice Hall, Englewood Cliffs, 1966.
B. Lin, A.R. Newton, “Synthesis of Multiple-level Logic from Symbolic High-level Description Languages,” Proc. of the VLSI 89 Conference, Munich, 1989.
B. Lisanke, “Logic Synthesis and Optimization Benchmarks,” Technical Report, MCNC, Research Triangle Park, North Carolina, December 1988.
T. Mueller-Wipperfuerth, “An Efficient Implementation of the FSM Lattice Computation and Decomposition Using CommonLisp/Flavors/C,” Technical Report, University of Linz, Institute of Systems Science, 1991.
F. Pichler, H. Prähofer, “CAST.FSM Computer Aided Systems Theory: Finite State Machines,” Cybernetics and Systems 88, R. Trappl (Ed.), Kluwer Academic Publishers, Dordrecht, 1988.
F. Pichler, H. Schwärtzel, CAST Computerunterstützte Systemtheorie, Springer, Berlin, 1990.
G. Rietsche, M. Neher, “CASTOR: State Assignment in a Finite State Machine Synthesis System,” Proc. of the IFIP Working Conference on Logic and Architecture Synthesis, Paris, 1990.
M. Geiger, “CAST.FSM Applied to VLSI Synthesis: Experimental Results and Requirements for Industrial Use,” these proceedings.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müller-Wipperfürth, T. (1992). Linking CAST.FSM to practical applications. In: Pichler, F., Díaz, R.M. (eds) Computer Aided Systems Theory — EUROCAST '91. EUROCAST 1991. Lecture Notes in Computer Science, vol 585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021037
Download citation
DOI: https://doi.org/10.1007/BFb0021037
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55354-0
Online ISBN: 978-3-540-47034-2
eBook Packages: Springer Book Archive