The present invention provides a method of verification of a RRAM tiling netlist. The method may include steps as follows. Properties "memory_number", "clock_number" and "netlist_part" of all nets and cells of a RRAM tiling netlist are set to a value 0. A boolean value 0 is assigned to all ground nets of the RRAM tiling netlist, and a boolean value 1 is assigned to all power nets of the RRAM tiling netlist. The RRAM tiling netlist is verified for each customer memory Mem.sub.k, k=1, 2, . . . , N.