Abstract
Memristors are considered as promising candidates for Computation-In-Memory due to their non-volatile storage and computing capabilities. In recent years, a growing number of general-purpose computing platforms based on different design styles at the memristor crossbar arrays have been proposed. In this paper, we present a comprehensive synthesis approach for performing arbitrary Boolean logic operations in area-constrained crossbar arrays. The approach exploits multicycle logic operations to deal with the delay and area constraints. The experimental results at larger EPFL benchmarks show that our approach is robust and scalable.