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
1 TEST - TEST
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

https://hal.archives-ouvertes.fr/hal-03094567
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

File

C22.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

75

Files downloads

65