Tools and Libraries

ForSyDe Tools on github

Many ForSyDe tools and libraries have now been moved to the  ForSyDe page on github.com. Please visit this page for the latest version of the tools.

ForSyDe Embedded DSLs

Today, ForSyDe is available as an  Embedded Domain Specific Language (EDSL). There are currently two implementations of it:

A ForSyDe model can be used as a system-level specification, serving as an input for a design process. There are different and important design activities related to system-level design, such as verification, design space exploration (DSE), and automatic implementation.

Design-Space Exploration Tools

A-DSE

A tool called analytical-DSE is available which is capable to provide very fast solutions fulfilling time constraints. The tool is based on analytical performance analysis and constraint-based programming. By relying on worst-case execution times, the tool enables a fast search of compliant and optimal implementation for time critical systems.

JAS-DSE

A framework for joint analytical and simulation-based (JAS) DSE, or JAS-DSE. Such a framework is capable to find more efficient solutions once the functionality and a model of the working scenario is available. As well as more efficient design of time-critical systems, the aforementioned JAS-DSE framework also targets mixed-critical systems, by considering worst-case analysis in a first analytical phase, and simulation-based analysis in a later phase. The first analytical phase of this framework is supported by analytical-DSE, while the simulation-based performance analysis is currently supported by a tool called KisTA.

Back-ends

f2cc

For automatic implementation, a tool called f2cc is available for synthezising synchronous ForSyDe models into C or CUDA C code.

f2dot

A tool for plotting the XML intermediate model representation into  DOT graphs is f2dot.

NoC System Generator

The NoC System Generator is a Fast Prototyping tool for quickly setting up large many/multi-core (Real-Time) systems on FPGAs, where the CPU cores are interconnected through a Network-on-Chip. The demo version available from the download page is limited to 4 nodes, 8 SW processes, 1 type of NoC (buffer-less deflection routing) and Altera FPGA technology.

Miscellaneous Tools

forsyde-tikz

forsyde-tikz is a LaTeX style package containing graphic primitives for drawing ForSyDe process networks with TikZ.

Getting the Tools

Many ForSyDe tools have now been moved to the  ForSyDe page on github.com. Please visit this page for the latest version of the tools.

The latest version of our supporting modeling libraries and development tools can be obtained from the repository. Occasionally, there will also be releases on the download page.

Getting the Latest Version

If you would like to see how ForSyDe looks today, you can check it out directly from our repositories.

Downloading Packaged Releases

It is also possible to to download ForSyDe tools as packaged releases, but you may not get the newly added functionalities.