Skip to main content
SpringerLink
Log in

Extensions and semantics of controller state diagrams for practical applications

  • 1 Design Environments and Tools
  • Conference paper
  • First Online:
Computer Aided Systems Theory — EUROCAST'97 (EUROCAST 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1333))

Included in the following conference series:

  • 113 Accesses

Abstract

This paper discusses issues of graphical modelling of Extended Finite State Machines. Tools supporting graphical entry of state based systems are usable by intuition, but need to be based on an exact definition of semantics of graphical elements. We identify necessary features of state diagrams for practical applicability and compare available graphical interfaces of EDA tools with the Statecharts formalism. Semantics of graphical models of state based systems based on the hardware description language VHDL are presented.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Gajski, N. Dutt, A. Wu, and S. Lin. High-Level Synthesis. Kluwer, Boston, 1992.

    Google Scholar 

  2. Klaus Ten Hagen. Abstrakte Modellierung Digitaler Schaltungen. Springer, Berlin, 1995.

    Google Scholar 

  3. D. Harel. STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8(4):403–414, 1987.

    Article  Google Scholar 

  4. IEEE. IEEE Standard VHDL Language Reference Manual, 1994. ANSI/IEEE Std 1076-1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Systems Science Microelectronic Systems, University of Linz, Austria

    Thomas Müller-Wipperfürth

Authors
  1. Thomas Müller-Wipperfürth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz Pichler Roberto Moreno-Díaz

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Müller-Wipperfürth, T. (1997). Extensions and semantics of controller state diagrams for practical applications. In: Pichler, F., Moreno-Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST'97. EUROCAST 1997. Lecture Notes in Computer Science, vol 1333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025033

Download citation

  • DOI: https://doi.org/10.1007/BFb0025033

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63811-7

  • Online ISBN: 978-3-540-69651-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation