Free Bdd Based Cad Of Compact Memristor Crossbars For In-Memory Computing

Keywords

BDD; Binary decision diagrams; Boolean functions; Crossbar; In-Memory computing; Memristor; Synthesis of crossbars

Abstract

The demise of Moore's law, breakdown of Dennard Scaling, dark silicon phenomenon, process variation, leakage currents and quantum tunneling are some of the hurdles faced in the further advancement of computing systems today. As a result, there is a renewed interest in alternate computing paradigms using emerging nanoelectronic devices. This work uses free binary decision diagrams (FBDDs) for computer-aided design (CAD) of compact memristive crossbars for sneak-path based in-memory computing. The absence of a fixed variable ordering makes FBDDs more compact than their ordered counterpart called reduced ordered binary decision diagrams (ROBDDs). Our design has used the size of the circuit-representation of Boolean functions for selecting different variable orderings along different paths which results in compact FBDDs. We have demonstrated our approach by designing compact crossbars for a four-bit multiplier and other RevLib benchmarks. Our synthesis process yields a 50.1% reduction in area over the previous FBDD-based synthesis for the fourth-output-bit of the multiplier. Overall, our approach has reduced the multiplier area by 20.1%.

Publication Date

7-17-2018

Publication Title

Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2018

Number of Pages

107-113

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1145/3232195.3232222

Socpus ID

85060729451 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/85060729451

This document is currently not available here.

Share

COinS