Design of memristor-based up-down counter using material implication logic | IEEE Conference Publication | IEEE Xplore