Energy Reduction Through Voltage Scaling and Lightweight Checking