Vitalsource Technologies, Inc. Optimization Methodologies For The Automatic Design Of Switched-capacit