It’s my pleasure to announce the availability of version 2.2 of the RFSM language and compiler.
RFSM is a domain specific language for describing, simulating and generating code from reactive finite state machines.
From a description of a system composed of a set of reactive FSMs, the RFSM compiler can generate
- graphical description of the system in the
.dotformat - execution traces in the
.vcdfile format - code in
C,SystemCandVHDLfor simulation or implementation on a target platform
The most significant change since version 2.0 is the introduction of a server mode allowing the compiler to be called on fragments of code. This feature is used by the Grasp application, a graphical front-end to RFSM (superseding the previous Rfsm-Light application).
RFSM is available from this GH page or as an OPAM package.
Comments, feedbacks and bug reports welcome !