On this page we tried gathering many of the ForSyDe documents (e.g. technical reports, tutorials, API documentations) scattered across the internet and grouping them by relevant topics. The purpose is to point to and help the interested reader to reach whatever information she might need without much hassle. As a general rule, here you find tool-oriented documentation. For associated scientific publications, please check our Publications page.

Design of Systems

Here we point to documentations on tools and frameworks for design-related activities, such as modeling, simulation, testing, etc.


These documents present a general view of ForSyDe modeling and/or go through multiple design frameworks and compares them.


These documents use ForSyDe-Shallow as base framework.

  • The ForSyDe-Shallow Getting Started Tutorial introduces basic modeling concepts such as signals, processes and process constructors and guides through modeling and simulating a simple counter system.

  • The Examples Repository contains a couple of tutorial examples, where the best documentation is the source code itself. Check the repository’s README file for how to generate the code documentation.

  • An Equalizer Example, extracted from Ingo Sander’s PhD Thesis, shows how to use ForSyDe-Shallow in order to design and simulate an equalizer system.

  • A (rather old) example on how to model an ASK transceiver system which has been re-compiled for the newest ForSyDe-Shallow library version. Except for the installation instructions, the document remains highly relevant.

  • The online API documentation for the ForSyDe-Shallow library is indispensable once you start using the framework.


These documents use ForSyDe-Atom as base framework.


These documents use ForSyDe-SystemC as base framework.

  • The SY MoC Tutorial is a small example of modeling a synchronous process network in ForSyDe-SystemC.

  • The SDF MoC Tutorial is an example of up/down sampler modeled in the synchronous data flow MoC in ForSyDe-SystemC.

  • The CT MoC Tutorial is an example of a low-pass filter modeled in the continuous time MoC in ForSyDe-SystemC.

  • The API documentation was generated with Doxygen.

Design Space Exploration

These documents refer to the DeSyDe design space exploration tool.

  • The Getting Started with DeSyDe tutorial guides the reader how to write the DeSyDe XML input files for specifying the applications, constraints and platform models in order to enable design space exploration.

  • The examples folder in the DeSyDe source repository contain a few examples and case studies used for different papers.


Plotting and Visualization


  1. Haskell is the host language behind ForSyDe-Shallow and ForSyDe-Deep, ForSyDe-Atom and Reactive-GPAC