Qfsm - A graphical tool for designing finite state machines.
Qfsm is a graphical editor for finite state machines written in C++ using the graphical toolkit Qt.
A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation.
Finite state machines are a model to describe complex objects or systems in terms of the states they may be in. In practice they can used to design integrated circuits or to create regular expressions, scanners or other program code.
Current features of Qfsm are:
Drawing, editing and printing of diagrams
Binary, ASCII and "free text" condition codes
Integrity check
Interactive simulation
HDL export in the file formats: AHDL, VHDL, Verilog HDL, KISS
Creation of VHDL test code
Diagram export in the formats: EPS, SVG, and PNG
State table export in Latex, HTML and plain text format
State Machine Compiler (SMC) export (supporting code generation in many programming languages)
Ragel file export (used for C/C++, Java or Ruby code generation)
Other export formats: SCXML, vvvv Automata code
