Tutorial 2 - csp
Version 3.1 by csp on 2014/04/25 14:08
T2A1
- Extended SCCharts are merely syntactic sugar to Core SCCharts. Each Extended SCChart is expressable in Core SCChart syntax.
- Compilation of code from a Core SCChart is much simpler than compiling an extended SCChart. Because of the semantically equality, it's much easier to perform a model-to-model transformation than to compileĀ an extended SCChart.
- A basic block is a set of instructions, that can be executed as one piece. Instructions with more than one incoming or outgoing sequential control-flow-edges or tick edges trigger a break between basic blocks.
- The ordering of a schedule is influenced by data-dependencies such as write-read, abs.write-rel.write and by the sequential control-flow.