BDD based synthesis technique for design of high-speed memristor based circuits

Recently, a passive device — memristor has received wide attention in nano-scale design due to its applications in the area of nanoelectronic memory design, neuromorphic computing and logic design. This passive element is non-volatile in nature and has dual properties of memory and resistor. In recent time, the application of this device in designing high speed logic circuits has now opened a new research domain in nano-scale design. This work presents an efficient design technique implementing logic functions using memristor. The proposed design methodology not only speed-up the response time of the circuits but can also deal with functions with larger input size (beyond 100 variables). Our entire design scheme is divided in two phases. In the first phase, we use Binary Decision Diagrams (BDDs) to represent input logic functions and in second phase, a technology mapping is performed that generates memristor based circuits corresponding to this BDD graphs. Comparative analysis with existing works is given and we find that our design steadily improves the average performance of circuits.