Logic synthesis and defect tolerance for memristive crossbar arrays | IEEE Conference Publication | IEEE Xplore