Synthesis of Approximate Logic on Memristive Crossbars | IEEE Conference Publication | IEEE Xplore