Throughput Constraint for Synchronous Data Flow Graphs