You are here
Verification and Automated Synthesis of Memristor Crossbars
| Title: | Verification and Automated Synthesis of Memristor Crossbars. |
 41 views 19 downloads |
|---|---|---|
| Name(s): |
Pourtabatabaie, Arya, Author Jha, Sumit Kumar, Committee Chair Chatterjee, Mainak, Committee Member Pattanaik, Sumanta, Committee Member University of Central Florida, Degree Grantor |
|
| Type of Resource: | text | |
| Date Issued: | 2016 | |
| Publisher: | University of Central Florida | |
| Language(s): | English | |
| Abstract/Description: | 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. | |
| Identifier: | CFE0006840 (IID), ucf:51765 (fedora) | |
| Note(s): |
2016-12-01 M.S. Engineering and Computer Science, Computer Science Masters This record was generated from author submitted information. |
|
| Subject(s): | Memristors -- Crossbars -- Symbolic Verification -- ROBDDs -- Automated Hardware Synthesis | |
| Persistent Link to This Record: | http://purl.flvc.org/ucf/fd/CFE0006840 | |
| Restrictions on Access: | campus 2018-06-15 | |
| Host Institution: | UCF |
