Abstract
The Memristor is a newly synthesized circuit element correlating differences in electrical charge and magnetic flux, which effectively acts as a nonlinear resistor with memory. The small size of this element and its potential for passive state preservation has opened great opportunities for data-level parallel computation, since the functions of memory and processing can be realized on the same physical device. In this research we present an in-depth study of memristor crossbars for combinational and sequential logic. We outline the structure of formulas which they are able to produce and henceforth the inherent powers and limitations of Memristive Crossbar Computing. As an improvement on previous methods of automated crossbar synthesis, a method for symbolically verifying crossbars is proposed, proven and analysed.
Notes
If this is your thesis or dissertation, and want to learn how to access it or for more information about readership statistics, contact us at STARS@ucf.edu
Graduation Date
2016
Semester
Fall
Advisor
Jha, Sumit Kumar
Degree
Master of Science (M.S.)
College
College of Engineering and Computer Science
Department
Computer Science
Degree Program
Computer Science
Format
application/pdf
Identifier
CFE0006840
URL
http://purl.fcla.edu/fcla/etd/CFE0006840
Language
English
Release Date
6-15-2018
Length of Campus-only Access
1 year
Access Status
Masters Thesis (Open Access)
STARS Citation
Pourtabatabaie, Arya, "Verification and Automated Synthesis of Memristor Crossbars" (2016). Electronic Theses and Dissertations. 5606.
https://stars.library.ucf.edu/etd/5606