On the integration of CAST.FSM into the VLSI design process

  • T. Mueller-Wipperfuerth
CAST Tools and Environments
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1105)


The integration of CAST.FSM within a VLSI design environment is presented. Currently very few algorithms for FSM manipulation and optimization are available in state-of-the art VLSI design tools. We propose a framework of tools where methods from state machine theory become applicable within a VLSI design flow and give results of a method application targeting FSM testability to illustrate the practical applicability of the approach.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. Fox, “A higher level of synthesis,” IEEE Spectrum, vol. 30, no. 3, pp. 43–47, 1993.Google Scholar
  2. 2.
    F. Pichler and H.Schwaertzel, CAST: Methods in Modelling. Berlin: Springer, 1992.Google Scholar
  3. 3.
    T. Mueller-Wipperfuerth and M. Geiger, “Algebraic Decomposition of MCNC Benchmark FSMs for Logic Synthesis,” in EURO ASIC '91, (Paris), pp. 146–151, 1991.Google Scholar
  4. 4.
    T. Mueller-W., J. Scharinger, and F. Pichler, “FSM Shift Register Realization for Improved Testability,” in Proceedings Eurocast 93, Springer Verlag, 1993.Google Scholar
  5. 5.
    M. Mesarovic, D. Macko, and Y. Takahara, Theory of Hierarchical, Multilevel, Systems. New York and London: Academic Press, 1970.Google Scholar
  6. 6.
    D. Gajski, N. Dutt, A. Wu, and S. Lin, High-Level Synthesis. Boston: Kluwer, 1992.Google Scholar
  7. 7.
    Synopsys Inc., Design Compiler Reference Manual, Dec 1992. Version 3.0.Google Scholar
  8. 8.
    S. Yang, Logic Synthesis and Oprimization Benchmarks User Guide. MCNC, 1991.Google Scholar
  9. 9.
    K. McElvain, IWLS'93 Benchmark Set. MCNC, 1993. Version 4.0.Google Scholar
  10. 10.
    F. Pichler and H. Schwaertzel, CAST — Computerunterstützte Systemtheorie. Berlin: Springer, 1990.Google Scholar
  11. 11.
    T. Mueller-Wipperfuerth, Finite State Machine Structuring with CAST.FSM * applied to VLSI Controller Design. PhD thesis, University of Linz, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • T. Mueller-Wipperfuerth
    • 1
  1. 1.Institute of Systems SciencesJohannes Kepler UniversityLinzAustria

Personalised recommendations