Skip to Main content Skip to Navigation
Conference papers

Formal Design Space Exploration for memristor-based crossbar architecture

Marcello Traiola 1 Mario Barbareschi 2 Alberto Bosio 1
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : The unceasing shrinking process of CMOS technology is leading to its physical limits, impacting several aspects, such as performances, power consumption and many others. Alternative solutions are under investigation in order to overcome CMOS limitations. Among them, the memristor is one of promising technologies. Several works have been proposed so far, describing how to synthesize boolean logic functions on memristors-based crossbar architecture. However, depending on the synthesis parameters, different architectures can be obtained. Design Space Exploration (DSE) is therefore mandatory to help and guide the designer in order to select the best crossbar configuration. In this paper, we present a formal DSE approach. The main advantage is that it does not require any simulation and thus it avoids any runtime overheads. Preliminary results show the huge gain in runtime compared to simulation-based DSE.
Complete list of metadata
Contributor : Marcello Traiola <>
Submitted on : Monday, January 4, 2021 - 5:05:51 PM
Last modification on : Tuesday, January 19, 2021 - 3:11:33 AM
Long-term archiving on: : Monday, April 5, 2021 - 9:17:23 PM


Files produced by the author(s)




Marcello Traiola, Mario Barbareschi, Alberto Bosio. Formal Design Space Exploration for memristor-based crossbar architecture. 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Apr 2017, Dresden, Germany. pp.145-150, ⟨10.1109/DDECS.2017.7934557⟩. ⟨hal-03094567⟩



Record views


Files downloads