The system-level synthesis of complex hardware or multiprocessing systems starts from some kind of a task description formalized usually in a high-level programming language. For this purpose, the C ...