verify

To interrogate the internal configuration contents of a programmable logic device (PLD) to confirm that it has been correctly programmed by comparing the data in the device to that in an external file containing the desired configuration. Similar to reading except that the contents of the PLD are not transferred to the programming system.

References: 

JESD32, 6/96