Substantially reduced time required to verify program memory contents.