ANN: Haskell-Embedded System Design: ForSyDe 3.0 and Tutorial

Hi everyone,

I am glad to announce the 3.0 release of ForSyDe's implementation, now
available from HackageDB.

The ForSyDe (Formal System Design) methodology has been developed with
the objective to move system design (e.g. System on Chip, Hardware and
Software systems) to a higher level of abstraction.

ForSyDe is implemented as a Haskell-embedded behavioral DSL (Domain
Specific Language).

>From this release, ForSyDe includes a new deep-embedded DSL and
embedded compiler. We have also published tutorial which should be
much more user-friendly than the Haddock documentation and the ForSyDe
research papers.

ForSyDe includes two DSL flavours  which offer different features:

  1) Deep-embedded DSL (ForSyDe.Signal)

    Deep-embedded signals, based on the same concepts as Lava, are
    aware of the system structure. Based on that structural information
    ForSyDe's embedded compiler, can perform different analysis and
    transformations.
        o Thanks to Template Haskell, computations are expressed in
           Haskell, not needing to specifically design a DSL for that
           purpose.
        o Embedded compiler backends:
              + Simulation