1. A method, in a data processing system, for performing input reparameterization on an integrated circuit design with a memory array, the method comprising: receiving, by the data processing system, an original netlist for an integrated circuit design, wherein the netlist comprises a memory array; validating, by the data processing system, that there are no semantic inconsistencies in the original netlist; performing, by the data processing system, input reparameterization on the original netlist to form a reparameterized netlist; performing, by the data processing system, false combinational dependency rectification on the reparameterized netlist to form a rectified netlist; and outputting, by the data processing system, the rectified netlist.