FSMDesigner

FSMDesigner is an open source C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation.

FSMDesigner uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits. You can also export your FSM to Verilog HDL or VHDL.