Test Pattern Generation for Approximate Circuits Based on Boolean Satisfiability.

Anteneh Gebregiorgis, Mehdi Baradaran Tahoori

Browse the full DATE paper archive.