On the integration of CAST.FSM into the VLSI design process
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.
- 1.J. Fox, “A higher level of synthesis,” IEEE Spectrum, vol. 30, no. 3, pp. 43–47, 1993.Google Scholar
- 2.F. Pichler and H.Schwaertzel, CAST: Methods in Modelling. Berlin: Springer, 1992.Google Scholar
- 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.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.M. Mesarovic, D. Macko, and Y. Takahara, Theory of Hierarchical, Multilevel, Systems. New York and London: Academic Press, 1970.Google Scholar
- 6.D. Gajski, N. Dutt, A. Wu, and S. Lin, High-Level Synthesis. Boston: Kluwer, 1992.Google Scholar
- 7.Synopsys Inc., Design Compiler Reference Manual, Dec 1992. Version 3.0.Google Scholar
- 8.S. Yang, Logic Synthesis and Oprimization Benchmarks User Guide. MCNC, 1991.Google Scholar
- 9.K. McElvain, IWLS'93 Benchmark Set. MCNC, 1993. Version 4.0.Google Scholar
- 10.F. Pichler and H. Schwaertzel, CAST — Computerunterstützte Systemtheorie. Berlin: Springer, 1990.Google Scholar
- 11.T. Mueller-Wipperfuerth, Finite State Machine Structuring with CAST.FSM * applied to VLSI Controller Design. PhD thesis, University of Linz, 1994.Google Scholar