From: "Jocelyn Sérot" <jocelyn.serot@uca.fr>
To: caml <caml-list@inria.fr>
Subject: [Caml-list] [ANN] Rfsm 1.0
Date: Mon, 23 Apr 2018 11:14:35 +0200 [thread overview]
Message-ID: <5C26D4F7-6BA6-48B4-A6A1-5FB19254377C@uca.fr> (raw)
Dear list,
This is my pleasure to announce the availability of the first public version (1.0) of Rfsm, a toolset for describing and simulating StateChart-like state diagrams. The toolset is composed of
- an Ocaml library
- a command-line compiler
- a Qt-based GUI application
The provided tools take
- a description of a system as a set of StateChart-like state diagrams
- a description of stimuli to be used as input for this system
and generate
- a graphical representation of the system (to be viewed with Graphviz (http://www.graphviz.org) for example)
- execution traces as `.vcd` files (to be viewed with Gtkwave (http://gtkwave.sourceforge.net) for example)
Additionnaly, dedicated backends can generate system descriptions in
- CTask (a C dialect with primitives for describing tasks and event-based synchronisation)
- SystemC
- VHDL
for simulation of implementation.
The Rfsm compiler is, of course, written in OCaml.
DOCUMENTATION
-------------
The project web page (including links for downloading the tools) is at http://cloud.ip.uca.fr/~serot/rfsm.
The user manual can be downloaded here : http://cloud.ip.uca.fr/~serot/rfsm/dist/rfsm.pdf.
The library API is documented here : http://cloud.ip.uca.fr/~serot/rfsm/doc/lib/index.html.
INSTALLATION
------------
Prebuilt Windows and MacOS versions can be downloaded from the project webpage
Source code is available from the project webpage or via (`git clone https://github.com/jserot/rfsm`).
An OPAM package (including the library and the command-line compiler) is in preparation.
Feedbacks, comments, bug reports welcome !
next reply other threads:[~2018-04-23 9:14 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-23 9:14 Jocelyn Sérot [this message]
2018-04-23 10:32 ` Kakadu
2018-04-30 15:17 ` Jocelyn Sérot
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5C26D4F7-6BA6-48B4-A6A1-5FB19254377C@uca.fr \
--to=jocelyn.serot@uca.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox