Memristor-based IMPLY logic design procedure | IEEE Conference Publication | IEEE Xplore