An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD)
The memristor is considered as the fourth fundamental circuit element along with resistor, capacitor and inductor. It is a two-terminal passive circuit element whose resistance value changes based on the amount of charge flowing through it. Another property of the memristor is that its resistance ch...
Saved in:
Main Authors: | , , , , |
---|---|
Other Authors: | |
Format: | Article |
Language: | English |
Published: |
2022
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/154896 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
id |
sg-ntu-dr.10356-154896 |
---|---|
record_format |
dspace |
spelling |
sg-ntu-dr.10356-1548962022-01-13T04:03:52Z An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD) Thangkhiew, Phrangboklang Lyngton Zulehner, Alwin Wille, Robert Datta, Kamalika Sengupta, Indranil School of Computer Science and Engineering Engineering::Computer science and engineering Binary Decision Diagram Crossbar Array The memristor is considered as the fourth fundamental circuit element along with resistor, capacitor and inductor. It is a two-terminal passive circuit element whose resistance value changes based on the amount of charge flowing through it. Another property of the memristor is that its resistance change is non-volatile in nature, and hence can be used for non-volatile memory applications. Researchers have been exploring memristors from various perspectives such as logic design and storage applications. In this paper, a slicing crossbar architecture for the efficient mapping of Boolean functions is proposed which exploits gate level parallelism using the memristor aided logic (MAGIC) design style. A Boolean function is first represented as a Binary Decision Diagram (BDD). The BDD nodes are expressed as netlists of NOR and NOT gates, and are mapped to the proposed slicing crossbar architecture with parallel node evaluation where possible. This is the first approach that combines BDD-based synthesis with MAGIC gate evaluation on memristor crossbar, while at the same time avoiding crossbar-related problems using a slicing architecture. Experimental evaluations on standard benchmark functions show considerable improvement in the solutions. This work was supported fully by the Department of Science and Technology, Government of India, for the project “Development of CAD Tools for Synthesis, Optimization and Verification of Digital Circuits using Memristors” (Grant No. INT/AUSTRIA/BMWF/P-02/2017), and by the Austrian Agency for International Cooperation in Education and Research (OeAD, Grant No. IN 08/2017). 2022-01-13T04:03:52Z 2022-01-13T04:03:52Z 2020 Journal Article Thangkhiew, P. L., Zulehner, A., Wille, R., Datta, K. & Sengupta, I. (2020). An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD). Integration, 71, 125-133. https://dx.doi.org/10.1016/j.vlsi.2019.11.014 0167-9260 https://hdl.handle.net/10356/154896 10.1016/j.vlsi.2019.11.014 2-s2.0-85076239818 71 125 133 en Integration © 2019 Elsevier B.V. All rights reserved. |
institution |
Nanyang Technological University |
building |
NTU Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NTU Library |
collection |
DR-NTU |
language |
English |
topic |
Engineering::Computer science and engineering Binary Decision Diagram Crossbar Array |
spellingShingle |
Engineering::Computer science and engineering Binary Decision Diagram Crossbar Array Thangkhiew, Phrangboklang Lyngton Zulehner, Alwin Wille, Robert Datta, Kamalika Sengupta, Indranil An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD) |
description |
The memristor is considered as the fourth fundamental circuit element along with resistor, capacitor and inductor. It is a two-terminal passive circuit element whose resistance value changes based on the amount of charge flowing through it. Another property of the memristor is that its resistance change is non-volatile in nature, and hence can be used for non-volatile memory applications. Researchers have been exploring memristors from various perspectives such as logic design and storage applications. In this paper, a slicing crossbar architecture for the efficient mapping of Boolean functions is proposed which exploits gate level parallelism using the memristor aided logic (MAGIC) design style. A Boolean function is first represented as a Binary Decision Diagram (BDD). The BDD nodes are expressed as netlists of NOR and NOT gates, and are mapped to the proposed slicing crossbar architecture with parallel node evaluation where possible. This is the first approach that combines BDD-based synthesis with MAGIC gate evaluation on memristor crossbar, while at the same time avoiding crossbar-related problems using a slicing architecture. Experimental evaluations on standard benchmark functions show considerable improvement in the solutions. |
author2 |
School of Computer Science and Engineering |
author_facet |
School of Computer Science and Engineering Thangkhiew, Phrangboklang Lyngton Zulehner, Alwin Wille, Robert Datta, Kamalika Sengupta, Indranil |
format |
Article |
author |
Thangkhiew, Phrangboklang Lyngton Zulehner, Alwin Wille, Robert Datta, Kamalika Sengupta, Indranil |
author_sort |
Thangkhiew, Phrangboklang Lyngton |
title |
An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD) |
title_short |
An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD) |
title_full |
An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD) |
title_fullStr |
An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD) |
title_full_unstemmed |
An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD) |
title_sort |
efficient memristor crossbar architecture for mapping boolean functions using binary decision diagrams (bdd) |
publishDate |
2022 |
url |
https://hdl.handle.net/10356/154896 |
_version_ |
1722355293734567936 |