forsyde-deep-0.2.0: ForSyDe's Haskell-embedded Domain Specific Language.

Copyright(c) ES Group, KTH/ICT/ES 2007-2013
LicenseBSD-style (see the file LICENSE)
Maintainerforsyde-dev@ict.kth.se
Stabilityexperimental
Portabilitynon-portable (Template Haskell, LSTV)
Safe HaskellNone
LanguageHaskell98

ForSyDe.Deep.Backend.Simulate

Description

This module provides the simulation backend of ForSyDe's embedded compiler

This module is based on Lava2000: http://www.cs.chalmers.se/~koen/Lava/

Synopsis

Documentation

simulate :: SysFunToSimFun sysFun simFun => SysDef sysFun -> simFun Source #

simulate takes a system definition and generates a function able simulate a System using a list-based representation of its signals.