Integer linear programming-based optimization methodology for reliability and energy-aware high-level synthesis. (December 2022)