Synthesis of Finite State Machines on Memristor Crossbars.

Umberto Ferrandino Marcello Traiola Mario Barbareschi Antonino Mazzeo Petr Fiser Alberto Bosio

Published in: DDECS (2018)

Keyphrases

finite state machines
quantum mechanics
model checking
functional decomposition
finite state automata
digital circuits
regular expressions
neural network
multi objective
objective function
artificial neural networks
data model
hidden markov models
object oriented
regular languages