Synthesizing Synchronous Systems by Static Scheduling in Space-Time

The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them.