Proceedings of the 2013 Electronic System Level Synthesis Conference (ESLsyn)