A Mapping Methodology of Boolean Logic Circuits on Memristor Crossbar