I. Introduction
The artificial intelligence (AI) and big data applications boost in recent years, which results in the tremendous demands of computing power. Till now, the von-Neumann architecture is the prevailing architecture of the general-purpose computing platforms, in which the memory banks and the processor cores are separated. The frequent data transfers between the memory and the processor cores decline the computation efficiency and increase the energy consumption, due to the limited bandwidth of the data exchange channel. It is aggravated when the data-intensive tasks are performed. The in-memory computing (IMC) is proposed as an emerging computing paradigm to address the challenge of the von-Neumann bottleneck. The hardware platform based on resistive random access memory (RRAM), phase change memory (PCRAM) and other kinds of non-volatile memories are broadly used in the IMC research. M. R. H. Rashed et al. proposed RRAM-based digital and hybrid analog-digital IMC architectures [1], [2], [3]. And Wang et al. [4] and Thijssen et al. [5], [6] further proposed the logic synthesis methods for the RRAM-based digital and hybrid IMC. Nevertheless, comparing with the emerging non-volatile memories, the static random access memory (SRAM) has advantages on data endurance, yield and process maturity. It also has faster access speed and the better process compatibility with CMOS technology, compared with the dynamic random access memory (DRAM) and the Flash memory. As a result, the SRAM-based IMC (SRAM-IMC) architecture is of great concern from academia and industries in recent years.