EFFICIENT SOFTWARE SYNTHESIS OF DYNAMIC DATAFLOW PROGRAMS

This paper introduces advanced software synthesis techniques that enhance the implementation of dynamic dataflow pro-grams. These techniques have been implemented into open-source tools and demonstrated on well-known video decoders including one based on the new High Efficiency Video Cod-ing (HEVC) standard. The results show an improvement of more than 100 % of the frame-rate over previously proposed implementations, and achieve real-time decoding of high def-inition video sequences. 1