forsyde-shallow-3.3.1.0: ForSyDe's Haskell-embedded Domain Specific Language.

Copyright(c) SAM Group KTH/ICT/ECS 2007-2008
LicenseBSD-style (see the file LICENSE)
Maintainerforsyde-dev@ict.kth.se
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

ForSyDe.Shallow

Description

Shallow-embedded implementation of ForSyDe (see ForSyDe.Shallow.Signal).

Unlike systems built using the deep-embedded Signal type of ForSyDe (see Signal), systems built with Signal can make use of new and experimental features such as multiple, heterogeneous MoCs (Models of Computation) other than the Synchronous MoC (the only Model of Computation currently supported by deep-embdded ForSyDe). However, as an important tradeoff, Signal is unaware of the resulting system structure, only allowing simulation (i.e. a VHDL or GraphML backend is impossible to implement).

The shallow implementation of ForSyDe consists of three main libraries:

Documentation