[ANN] RFSM version 2.2

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 .dot format
  • execution traces in the .vcd file format
  • code in C, SystemC and VHDL for 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 !

2 Likes