Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
ForSyDe's SystemC-embedded Domain Specific Language. ==================================================== NOTE: Active development has moved to ForSyDe-SystemC II, a C++20 consolidation and redesign that continues on from this project's v1.0 tag: <https://github.com/SBU-CPS-Lab/ForSyDe-SystemC-II>. This repository remains available as-is for existing projects that depend on its current API. 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: <https://forsyde.github.io/>. INSTALLATION For information on how to install ForSyDe-SystemC see the INSTALL file.