Formal Design Space Exploration for memristor-based crossbar architecture

Marcello Traiola (1) , Mario Barbareschi (2) , Alberto Bosio (1)

1 TEST - Test and dEpendability of microelectronic integrated SysTems
2 University of Naples Federico II = Università degli studi di Napoli Federico II

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.

Mots clés: Memristor crossbar; Design Space Exploration; Boolean Functions; Circuit Synthesis

Domaines: Micro et nanotechnologies/Microélectronique; Informatique [cs]

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