Qfsm

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