ForSyDe.Shallow

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

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

Documentation

The ForSyDe.Shallow.Core module contains the basic definitions and functions such as events and signals.

module ForSyDe.Shallow.Core

The ForSyDe.Shallow.MoC module defines the models of computations included in ForSyDe.

module ForSyDe.Shallow.MoC

The ForSyDe.Shallow.Utility module provides several additional modules that are useful and convenient in practice.

module ForSyDe.Shallow.Utility