Abstract:Memristor-based logic design gives an alternative solution to improve the energy efficiency of computing systems, benefiting from combining the memory with computing units. Inspired by this thought, previous work has demonstrated various memristor-based logic families with different attributes and computation patterns. Besides, some logic synthesis tools are designed for specific memristive logic implementations. However, the poor universality and the neglect of realistic constraints in memory largely restrict the utility of these logic synthesis tools. In this paper, we propose a general logic synthesis framework for memristor-based logic design, containing a universal abstract description method for memristive logic, a mapping rules generator, and a synthesis and mapping flow. The proposed logic synthesis framework is suitable for various types of existing memristor-based logic families and takes the memory status into consideration. It is also possible to handle future memristive devices and logic families by providing the universal abstraction interface. Furthermore, we also design a circuit-partitioning-based synthesis acceleration strategy to tackle with the long synthesis time problem. Experimental results show that, our framework can generate mapping results under the restriction of limited resource, while the existing synthesis tools may fail under the same restriction, and achieve comparable synthesis results with the same resource as the existing synthesis tools, which is enough for computation and storage. And the proposed acceleration scheme can achieve ∼ 1000× speedup compared with the initial one.

Complete Boolean Algebra for Memristive and Spintronic Asymmetric Basis Logic Functions

Karnaugh Map Method for Memristive and Spintronic Asymmetric Basis Logic Functions

Easily Cascaded Memristor-CMOS Hybrid Circuit for High-Efficiency Boolean Logic Implementation

Reconfigurable Boolean Logic in Memristive Crossbar: The Principle and Implementation

Towards optimal logic representations for implication-based memristive circuits

Efficient 16 Boolean Logic and Arithmetic Based on Bipolar Oxide Memristors

Logic implementation method based on bipolar memristor

Memristor‐Based Efficient In‐Memory Logic for Cryptologic and Arithmetic Applications

A balanced Memristor-CMOS ternary logic family and its application

Hybrid Memristor-CMOS (MeMOS) based Logic Gates and Adder Circuits

Design of memristor-based combinational logic circuits

Progress on Memristor-Based Analog Logic Operation

Memristors based Computation and Synthesis

SPICE Modeling of Memcomputing Logic Gates

Threshold Logic Computing: Memristive-CMOS Circuits for Fast Fourier Transform and Vedic Multiplication

Reprogrammable Logic in Memristive Crossbar for In-Memory Computing

Optimized Implementation of Memristor-Based Full Adder by Material Implication Logic

XbarGen: A memristor based boolean logic synthesis tool

A General Logic Synthesis Framework for Memristor-based Logic Design

Design and comparative analysis of memristor-based transistor-less combinational logic circuits

Implication Logic Circuit Based on a Graphene Oxide Complementary Resistive Switching Device