AxLS: A Framework for Approximate Logic Synthesis Based on Netlist Transformations | IEEE Journals & Magazine | IEEE Xplore