Graphical entry of FSMDs revisited: putting graphical models on a solid base

Authors:
T. Müller-Wipperfürth;R. Hagelauer
Affiliations:
Research Institute for Integrated Circuits, Johannes Kepler University Linz, Austria;Research Institute for Integrated Circuits, Johannes Kepler University Linz, Austria
Venue:
Proceedings of the conference on Design, automation and test in Europe
Year:
1998

Citing 2
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper discusses issues of graphical modelling of Finite State Machines with Datapath (FSMDs). Tools supporting the graphical entry of state based systems are usable by intuition, but need to be based on an exact definition of semantics of graphical elements. This paper proposes to define semantics of graphical models based on the hardware description language VHDL.