Throughput Constraint for Synchronous Data Flow Graphs Everyone AI Group UNIBO Embedded System Design