2. The non-transitory computer-accessible memory medium of claim 1 , wherein the program instructions are further executable to perform: analyzing the graphical program, including analyzing the specifications or constraints, thereby producing analysis results; wherein said automatically generating the program is performed based on the analysis results.
2. The non-transitory computer-accessible memory medium of claim 1 , wherein the program instructions are further executable to perform: analyzing the graphical program, including analyzing the specifications or constraints, thereby producing analysis results; wherein said automatically generating the program is performed based on the analysis results. 3. The non-transitory computer-accessible memory medium of claim 2 , wherein the specification or constraints comprise one or more user-provided specifications, and wherein the program instructions are further executable to automatically convert the one or more user-provided specifications into a corresponding one or more constraints before said analyzing and said automatically generating the program.