A Survey of Techniques for Approximate Computing
SALSA: systematic logic synthesis of approximate circuits