ForSyDe.Shallow

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

Unlike systems built using the deep-embedded Signal type of ForSyDe (see ForSyDe.Signal), systems built with ForSyDe.Shallow.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, ForSyDe.Shallow.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:

• ForSyDe.Shallow.CoreLib contains the basic definitions and functions such as events and signals.
• ForSyDe.Shallow.MoCLib defines the models of computations included in ForSyDe.
• ForSyDe.Shallow.UtilityLib provides several additional modules that are useful and convenient in practice. Their status is experimental.

Documentation

module ForSyDe.Shallow.CoreLib

module ForSyDe.Shallow.MoCLib

module ForSyDe.Shallow.UtilityLib