Αποστολή με SMS: Design Automation Techniques for Approximation Circuits