GitHub - forsyde/ForSyDe-SystemC: The SystemC implementation of the ForSyDe system modeling and simulation methodology

forsyde / ForSyDe-SystemC Public

Notifications You must be signed in to change notification settings
Fork 4
Star 8

The SystemC implementation of the ForSyDe system modeling and simulation methodology

forsyde.ict.kth.se

View license

8 stars 4 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 199 Commits
examples		examples
src		src
INSTALL		INSTALL
LICENSE		LICENSE
NEWS		NEWS
README		README

Repository files navigation

 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.