Substitute-and-simplify: a unified design paradigm for approximate and quality configurable circuits
SALSA: systematic logic synthesis of approximate circuits