The Clem Toolkit  is a set of tools devoted to design, simulate, verify and generate code for le  ,  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  in order to perform validation of program behaviors.