An integrated circuit can include a plurality of programmable metallization cells (PMCs) in a memory array, each PMC comprising an ion conducting material, an active metal dissolvable in the ion conducting material, and two electrodes, a first electrode of at least one PMC being coupled to a program node; and a plurality of program and verify circuits, each including a current source section to enable at least one current path between the program node and a power supply node in a program and verify operation, and a verify signal generator circuit comprising at least a first comparator having a first input coupled to the program node, a second input coupled to receive a first reference voltage, and a comparator output to provide a verify signal that indicates a program operation is complete.