---

Chapter 1  Overview

1.1  The AAA methodology

SynDEx is based on the AAA methodology (cf. chapter 12).

A SynDEx application is made of:

• algorithm graphs (definitions of operations that the application may execute),
• architecture graphs (definitions of multicomponents: set of interconnected processors and specific integrated circuits).

Performing an adequation means to execute heuristics, seeking for an optimized implementation of a given algorithm onto a given architecture.
An implementation consists in:

• distributing the algorithm onto the architecture (allocate parts of algorithm onto components),
• scheduling the algorithm onto the architecture (give a total order for the operations distributed onto a component).

1.2  SynDEx distributions

SynDEx runs under Linux, Windows, and Mac OS X platforms. SynDEx is written in Objective Caml. The Graphical User Interface is written in Tcl/Tk with the OCaml library CamlTk. See chapter 12 for web links.

---