Simple magic: Synthesis and in-memory Mapping of logic execution for memristor-aided logic | IEEE Conference Publication | IEEE Xplore