Copyright | (c) ES Group, KTH/ICT/ES 2007-2013 |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | forsyde-dev@ict.kth.se |
Stability | experimental |
Portability | non-portable (Template Haskell, LSTV) |
Safe Haskell | None |
Language | Haskell98 |
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