Resonant Clock Design for a Power-Efficient High-Volume x86-64 Microprocessor