Factored Forms for Memristive Material Implication Stateful Logic

This paper proposes the utilization of factored forms in logic synthesis for memristive material implication stateful logic. Factored forms have not been explored by previous works due to expected increasing on device count. We present an algorithm to obtain factored forms computable with minimum nu...

Full description

Saved in:
Bibliographic Details
Published in:IEEE journal on emerging and selected topics in circuits and systems 2015-06, Vol.5 (2), p.267-278
Main Authors: Marranghello, Felipe S., Callegaro, Vinicius, Martins, Mayler G. A., Reis, Andre I., Ribas, Renato P.
Format: Article
Language:English
Subjects:
Boolean functions
Circuits and systems
Computer architecture
Digital circuit
implication logic
Input variables
logic synthesis
memristor
Memristors
Performance evaluation
Resistance
stateful logic
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper proposes the utilization of factored forms in logic synthesis for memristive material implication stateful logic. Factored forms have not been explored by previous works due to expected increasing on device count. We present an algorithm to obtain factored forms computable with minimum number of memristors. Comparison to previous works shows an average reduction of 12% in the number of operations to compute 4-input Boolean functions.
ISSN:2156-3357
2156-3365
DOI:10.1109/JETCAS.2015.2426511