A Methodology for the Efficient Architectural Exploration of Energy-Delay Trade-offs for Embedded Systems