Logic Synthesis Tools for Memristors based Logic Circuits