Esi and Eso

Traces of Esterel-programs are usually given as Esi and Eso file. Esi files only specify inputs, Eso files contains also the oputputs. Since the outputs are given as special comments, every valid Eso file is also a valid Esi file. For a given Esterel program prog.strl, there are two ways to generate the resulting Eso file:

via Esterel Studio

  • Using the command line, we first have to create a new project
      estudio --create-project prog.etp
      estudio --insert prog.strl prog.etp
  • Now we have to set the main module. Lets assume, that the main module is called prog, as the file.
      sed 's/<configuration>14<\/configuration>/<configuration>14<\/configuration>\n<\/Prop>\n<Prop id="17"   
        name="@ESTUDIO_COMPILATION:main_module">\n<value>prog<\/value>\n<configuration>14<\/configuration>\n<\/Prop>\n<Prop id="18" 
        name="@ESTUDIO_TESTBENCH:esifile">\n<value>prog.esi<\/value>\n<configuration>14<\/configuration>/' prog.etp > /tmp/prog.etp
      mv  /mtp/prog.etp > .
  • Now we can generate a scenario
      estudio --v5 -cs prog.etp

The file ./Default/Simulation/Scenarios/missing.esi is generated.

  • The next step is to generate a executable for the esterel file:
      estudio -y --v5 -g prog.etp
      estudio -y --v5 --simul GenExe prog.etp

This generates ./Default/Simulation/prog.exe.

  • The resulting output file is for the scenario is generated by ./prog.exe -nographic -signal_dump=ESI,prog.eso missing.esi

using a generic interface