Co-exploration of unit-time leakage power and latency spaces for leakage energy minimization in high-level synthesis