Statistics for Automatic hardware pragma insertion in high-level synthesis: a non-linear programming approach