Memristor-based IMPLY logic design procedure
‘Memristive’ switches enable ‘stateful’ logic operations via material implication