| Portability | non-portable (Template Haskell, LSTV) |
|---|---|
| Stability | experimental |
| Maintainer | forsyde-dev@ict.kth.se |
ForSyDe.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/
- simulate :: SysFunToSimFun sysFun simFun => SysDef sysFun -> simFun
Documentation
simulate :: SysFunToSimFun sysFun simFun => SysDef sysFun -> simFunSource
simulate takes a system definition and generates a function
able simulate a System using a list-based representation
of its signals.