Free Binary Decision Diagram-Based Synthesis Of Compact Crossbars For In-Memory Computing

Keywords

BDD; crossbar; FBDD; flow-based computing; memristor; non-volatile memory

Abstract

We introduce a new computer-aided design approach based on free binary decision diagrams (FBDDs) for implementing Boolean functions on crossbars using flow-based computing. Our crossbar synthesis procedure uses generalized FBDDs to design crossbars for a Boolean formula such that there is a flow of current from an input nanowire to an output nanowire through the sneak paths in the crossbar if and only if the Boolean formula evaluates to true. Generalized FBDDs are more succinct representations of Boolean formulas than traditional reduced ordered binary decision diagrams (ROBDDs) because they do not require the same variable ordering along all paths of the decision diagram. Our experimental results with the middle bit of a multiplier show that our designs are 69.9% more succinct than flow-based crossbar computing approaches designed using ROBDDs.

Publication Date

5-1-2018

Publication Title

IEEE Transactions on Circuits and Systems II: Express Briefs

Volume

65

Issue

5

Number of Pages

622-626

Document Type

Article

Personal Identifier

scopus

DOI Link

https://doi.org/10.1109/TCSII.2018.2821678

Socpus ID

85044733938 (Scopus)

Source API URL

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

This document is currently not available here.

Share

COinS