Software Synthesis and Co-Design based on an Asynchronous Concurrency Model
In this talk, I will present a set of software synthesis and hardware/software co-design methods for the design of modern embedded systems, with a particular emphasis towards digital communications applications. The work is based on an asynchronous model of concurrency, commonly referred to as communicating processes. I will first describe several quasi-static compilation techniques that can produce efficient software implementations without the need for a multi-tasking operating system. I will then briefly describe how these techniques can be used to address the hardware synthesis problem. Finally, I will address the co-design problem using these synthesis techniques, including the embedding of pre-designed Intellectual Property components.
The slides of the talk in pdf can be found here.