From formal neural networks to memristor-based spiking neuromorphic systems: perspectives and open issuesдоклад на конференции