1. A method of verification of a RRAM tiling netlist, comprising steps of: setting properties “memory_number”, “clock_number” and “netlist_part” of all nets and cells of a RRAM tiling netlist to a value 0 ; assigning a boolean function 0 to all ground nets of said RRAM tiling netlist, and assigning a boolean function 1 to all power nets of said RRAM tiling netlist; and verifying said RRAM tiling netlist for each customer memory Mem k , k=1, 2,. .. , N.