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.
21. 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 one to one, and ET, II, IP and OP match, and wherein the corresponding generated output program is optimized or simplified with a control structure that is re-used for the first and second functional blocks.