A Test Pattern Generation Technique for Approximate Circuits Based on an ILP-Formulated Pattern Selection Procedure | IEEE Journals & Magazine | IEEE Xplore