FSMDesigner4 is a C++ tool for designing Finite State Machines and generating HDL, offering an integrated solution for this purpose.
One of the key features of FSMDesigner is the graphical design tool for creating FSMs with states, transitions, and conditions. It also supports hierarchies, links, joins, and global transitions. There is even support for automatic default transitions with the xrest function.
FSMDesigner provides validation of FSMs and allows you to save and load designs using well-defined XML files. You can also generate RTL HDL output and the software is fully scriptable in Python or TCL.
The modern GUI includes all expected features such as undo and redo. FSMDesigner also includes simulation mode support, table-based data manipulation, and is easily portable to other operating systems.
In the latest release, version 1.2, FSMDesigner adds several new features including SVG export, improved state mnemonic map (including color), and implementation of mnemonic maps for complete projects. In addition, System Verilog Assertions have been added as an option for HDL output, which supports efficient verification including coverage analysis.
Overall, FSMDesigner is an excellent tool for designing FSMs and generating HDL output, thanks to its powerful features and efficient design.
Version 1.2: N/A