RFSM-Light is a simplified version of the RFSM State Diagram simulator and compiler.
The main difference is the ability to describe state diagrams graphically using an interface similar to that used in the SSDE editor.
On the other hand, and contrary to RFSM, RFSM-Light only handles systems composed of a single FSM and hence does not support the abstraction facilities offered by the full RFSM language.
Apart from these differences, the underlying concepts and capabilities of the tools are similar. In particular, starting from a model of a system as a reactive finite state machine — i.e. a set of states connected by transitions triggered by an event and a set boolean guards and triggering a sequence of actions — RFSM-Light can
-
generate a DOT representation of the model (to be viewed with Graphviz for example)
-
simulate the behavior of the model in response to stimuli attached to inputs (producing
.vcd
files to be viewed using the gtkwave software -
generate description of the system (including testbench code when stimuli are attached to inputs) in
-
CTask
(a C dialect with primitives for describing event-based synchronisation) -
SystemC
-
VHDL
-
A minimalistic "Howto" is available here
Prebuilt Windows and MacOS (Intel and M1) versions can be downloaded
here (check the Assets
tab).
For Windows, a quick Install Guide is available here
Note the Graphviz package and the gtkwave
application (used, respectively, to display diagrams and viewing simulation results) are not
included in the distribution and must be installed separately. If you cannot (or don't want) to install
the Graphviz
package, versions of Rfsm-Light using the QGV
library instead are provided (the corresponding files have the _qgv
suffix in the corresponding
directory. These versions are provided only as
workarounds because the rendering is poorer than when using the external Graphviz
package.
See this file