Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

From Lustre to SCCharts (lgr)

  • TODO: add Lustre Model and dataflow SCChart (lgr)
  • TODO: <presentation> lgr
  • second implementation: Use variables instead of signals whenever possible
  • idea: Add when operator (as syntactic sugar)
  • when operator is a mux with memory node (intra tick delay)
  • x = z when clk => x = clk? z : x
  • Pre in Lustre:
    • guarded pre transforamtion
    • clock as parameter for pre
    • preXclk = pre(x, clk) // clk is bool
  • use bottom instead of / for no value
  • add operator representation (for fby and others)
  • add view for concrete model representation to KEITH (once worked via fallback synthesis)

View file
name1simpleEquations.lus
height250
View file
name2references.lus
height250
View file
name2referencescomlex.lus
height250
View file
name3automaton.lus
height250
View file
name4bigggerExample_heater.lus
height250
View file
name5whenExpression.lus
height250

Image AddedImage AddedImage AddedImage AddedImage AddedImage AddedImage Added

View file
namesemantikMeeting2.pdf
height250