Project ConPro

This page as PDF

Overview

Q: How can complex algorithms be mapped to microchip level?
A: By specifying algorithms with a high-level parallel programming language and by using a higher-level synthesis approach

The ConPro  framework consists of a parallel programming language and a synthesis tool able to map the programming level to a hardware behaviour and different software models simulating concurrency.

  • Programming parallel systems by using the Concurrent Sequential Processes (CSP) model, shared resources, and atomic transactions when accessing global shared resources.¬†
  • Introduction of the ConPro programming language
  • Introduction of the synthesis flow and compiler internals
  • Examples showing the suitability of the synthesis approach for different algorithms