Swagath Venkataramani Amit Sabne Vivek J. Kozhikkottu Kaushik Roy Anand Raghunathan SALSA: systematic logic synthesis of approximate circuits. 796-801 2012 DAC http://doi.acm.org/10.1145/2228360.2228504 conf/dac/2012 db/conf/dac/dac2012.html#VenkataramaniSKRR12