Strictly Periodic Scheduling of Acyclic Synchronous Dataflow Graphs using SMT Solvers Pranav Tendulkar, Peter Poplavko, Oded Maler Verimag Research Report n o TR-2014-5 01-May-2014 Reports are downloadable at the following address http://www-verimag.imag.fr Unité Mixte de Recherche 5104 CNRS - Grenoble INP - UJF Centre Equation 2, avenue de VIGNATE F-38610 GIERES tel : +33 456 52 03 40 fax : +33 456 52 03 50 http://www-verimag.imag.fr