Formal Design Space Exploration for memristor-based crossbar architecture.

Marcello Traiola Mario Barbareschi Alberto Bosio

Published in: DDECS (2017)

Keyphrases

design space exploration
quantum mechanics
design space
design process
management system
computer architecture
expert systems
formal methods
hardware software partitioning
objective function
search space
evolutionary algorithm
distributed systems
evolutionary computation