Björn Lisper

• Synthesizing synchronous systems by static scheduling in space-time