JGIFT transition table and z equations
- Kind of work:
- Project Work
Dr.-Ing. Florian Liers
Dr.-Ing. Prof. h. c. Karsten Henke
- With an Eclipse plug-in it is possible to build a transition table for a finite state machine. The information about the automaton is extracted from and written to a XML file. With suitable functions nodes and transitions of the given automaton can be edited. That includes the insertion and removal of nodes and transitions, as well as editing of edge weights.
Furthermore it is possible to generate the z equations for D-flipflops and/or
JK-flipflops. Of course the output equations of the state machine are generated,