Multi-processor Systems on FPGA with hands-on tutorial

One day course in Designing and programming of MPSoCs is a complex and error prone activity. In addition, the design space exploration (DSE) 
for embedded systems targeting similar platforms has been shown to be difficult and slow. 

Capturing design specification through models based on Models-of-Computations (MoCs) and using them as entry for System Design Automation is convenient. MoCs provide abstraction and high level modeling through a clear set of rules based on mathematics. 

At KTH, we have developed the ForSyDe design flow that allows us to specify designs at a high-level of abstraction.
The user models the design as a set of concurrent processes, selects the MoC associated with the process and generates a solution for the selected target platform. Our aim is to provide a design flow that allows the design to quickly explore design space and come up with a solution that is correct-by-construction.

In this seminar, we present the principles behind the ForSyDe Design Flow, together with hands-on experience on using one of the target backends - the NoC System Generator (NSG). 

The NSG tool is a GUI-based State-of-the-Art SDA technique in the form of fully integrated design flow that allows the designer to generate of NoC-based MPSoC solutions and fast prototype them on FPGA. 

In addition, we have developed a method for importing Simulink code to the system by embedding it inside a ForSyDe Synchronous MoC constructor.