Vitalsource Technologies, Inc. Design Automation Techniques for Approximation Circuits