Synthesizing synchronous systems by static scheduling in space-time (Q1187649)

The subject of this book is the synthesis of synchronous concurrent systems with local memory. The purpose is to provide a generalized algebraical framework for the so-called space-time mapping methods for hardware synthesis. The space-time mapping methods provide a description of the minimal fixed hardware required to compute a given computing problem. Computing problems are described by output specifications which enable to present an algorithm as a set of atomic events, with possible data dependencies between them. The hardware description is a directed, labelled graph, where the nodes represent processing elements and edges communication lines with discrete delays. Some space-time transformations which enable to derive and to compare several distinct parallel architectures for a given computing problem are also considered.