20. The non-transitory computer-accessible memory medium of claim 1 , wherein the specifications or constraints further comprise: input count (IC), comprising a number of tokens consumed at an input terminal of the at least one functional block by one firing of the at least one functional block; output count (OC), comprising a number of tokens produced at an output terminal of the at least one functional block by one firing of the at least one functional block; and execution time (ET), comprising a number of cycles needed by the at least one functional block to complete firing.
20. The non-transitory computer-accessible memory medium of claim 1 , wherein the specifications or constraints further comprise: input count (IC), comprising a number of tokens consumed at an input terminal of the at least one functional block by one firing of the at least one functional block; output count (OC), comprising a number of tokens produced at an output terminal of the at least one functional block by one firing of the at least one functional block; and execution time (ET), comprising a number of cycles needed by the at least one functional block to complete firing. 22. The non-transitory computer-accessible memory medium of claim 20 , wherein the IC of a first functional block and the OC of a second functional block correspond in rate to each other n to m, and ET, II , IP and OP match; and wherein the generated output program is optimized or simplified with a control structure that is re-used for the first and second functional blocks at corresponding rates.