kesterel2lustre

compile Kernel Esterel to Lustre
git clone https://a3nm.net/git/kesterel2lustre/
Log | Files | Refs | README

logical.strl (207B)

      1 module logical:
      2 input I;
      3 output O;
      4 signal S1 in
      5 signal S2 in
      6 present I then emit S1 else nothing end
      7 ||
      8 present S1 then nothing else emit S2 end
      9 ||
     10 present S2 then emit O else nothing end
     11 end
     12 end
     13 end module