High-Level Synthesis by P. Coussy