A Power Optimization Toolbox for Logic Synthesis and Mapping