Performing an adequation means to execute heuristics, seeking for an optimized implementation of a given algorithm onto a given architecture.
There can be several algorithms and architectures but only one main algorithm (cf. Main mode in section 5.1.1) and one main architecture (cf. section 6.3.2) on which the adequation will be performed.
To define an algorithm as main, right click on the background of the target definition window. Choose the Set As Main Definition option. To define an architecture as main, right click on the background of the target architecture. Choose the Set As Main Architecture option
To be able to perform an adequation, each type must be associated with a duration (cf. chapter 7). SynDEx needs characterization for each vertex of the transformed graph to perform the adequation. You will also have to characterize additional operations generated by SynDEx in case of conditioning (cf. section 5.2) or repetition (cf. section 5.3).
To launch the adequation of the main algorithm onto the main architecture, from the Adequation menu, choose the Launch Adequation option.
The adequation process in preceded by:
In case of a multi-periodic application, the flattening process is preceded by:
The main algorithm graph is transformed for the adequation to obtain a graph with a unique level of hierarchy, where each vertex is an operation in the sense of AAA (which is the same as an atomic definition in SynDEx). This transformation consists in replacing references by corresponding definitions, and paths of dependences connected along the hierarchy through ports by direct dependences between corresponding ports of the transformed operations.
In case of abstract references (cf. section 5.1.6), the hierarchy is not taken into account, ie the flattening does not go into the hierarchical referenced definitions. All the abstract references are directly replaced by operations containing the same ports as their definition. References or dependences included in those definitions are ignored.
The schedule is displayed as sets of operations infinitely repeated.
In case of a multi-periodic application, the schedule may be performed in two phases:
SynDEx adds some Wait vertices to force the operators to respect the beginning dates computed by the adequation.
To view the computed distribution and schedule, from the Adequation menu, choose the Display Schedule option. It opens a window for the diagram of the real-time simulation of the algorithm executed on the architecture.
In the schedule window you will find one schedule for each operator and for each communication medium of the architecture.
Each schedule for an operator describes a scheduling of constants, sensors, actuators, functions and delays. By default constants are not displayed. From the Window menu, choose Schedule Display Options. Then check Show Constants to change this setting.
Each schedule for a communication medium describes a scheduling of inter-operator communications, sending (resp. receiving) data from (resp. to) an operator.
Each box has a length which is proportional to the duration of the corresponding operation. In case of big duration differences, you can disable the scale. From the Window menu, choose Schedule Display Options. Then uncheck Scale to change this setting.
When the cursor points at an operation, its box is highlighted in orange. The predecessors of the target operation have their boxes highlighted in green and its successors in red.
Click on a column of an operator or a communication medium. Then drag and drop on another column to change its position.
From the Window menu, choose Schedule Display Options. Check Horizontal Display to change the orientation of the display. Check Show Arrows to draw arrows between boxes which are in relation of execution precedence Uncheck Labels to not draw the names of the operations.