forsyde / ForSyDe-SystemC

The SystemC implementation of the ForSyDe system modeling and simulation methodology

Home Page:http://forsyde.ict.kth.se

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

 ForSyDe's SystemC-embedded Domain Specific Language.
 ====================================================

DESCRIPTION

 The ForSyDe (Formal System Design) methodology has been developed
 with the objective to move design of heterogeneous embedded systems
 to a higher level of abstraction and to bridge the abstraction gap
 by transformational design refinement.
 
 This library provides the implementation of ForSyDe's modeling
 framework as a SystemC-embedded Domain Specific Language (DSL). 

 For more information, API documentation, and tutorials please visit the
 ForSyDe's web page:
 <http://forsyde.ict.kth.se/>.


INSTALLATION

 For information on how to install ForSyDe-SystemC see the INSTALL file.

About

The SystemC implementation of the ForSyDe system modeling and simulation methodology

http://forsyde.ict.kth.se

License:Other


Languages

Language:C++ 92.6%Language:C 7.4%