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