Test Pattern Generation for Approximate Circuits Based on Boolean Satisfiability

Anteneh Gebregiorgis, Mehdi Baradaran Tahoori. Test Pattern Generation for Approximate Circuits Based on Boolean Satisfiability. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019. pages 1028-1033, IEEE, 2019. [doi]

Abstract

Abstract is missing.