Method for programming nonvolatile memory cells with program and verify algorithm using a staircase voltage with varying step amplitude