Design Automation Techniques for Approximation Circuits | lit.salon