FSMDesigner ist ein Design-Werkzeug für endliche Automaten (Finite State Machines, FSM) mit integrierter Generierung von Hardware Description Language (HDL). Es verwendet das Automaten-Modell Simple-Moore, das effiziente komplexe Steuerschaltkreise garantiert. Features sind das grafische Design von Automaten, Unterstützung von automatischen Standard-Übergängen, Validierung der Automaten, ein wohldefiniertes XML-Dateiformat, Generierung von RTL-HDL-Ausgabe für Verilog und VHDL, vollständige Skriptfähigkeit in Python, ein modernes GUI mit Rückgängigmachen und Wiederholen, Unterstützung eines Simulationsmodus und tabellenbasierte Datenbearbeitung. (non)