Logic synthesis tools for circuits using Memristor based Imply gates