Section: Software
Clem
The Clem Toolkit [56] is a set of tools devoted to design, simulate, verify and generate code for le [60] , [59] programs. This latter is a synchronous language supporting a modular compilation. The language also supports automata possibly designed with a dedicated graphical editor. The Clem toolkit comes with a simulation tool. Hardware description (Vhdl) and software code (C) are generated for le programs. Moreover, we also generate files to feed the NuSMV model checker [52] in order to perform validation of program behaviors.