Analog devices used to compare different transcriptions of the same information to verify the accuracy of the data, to verify arithmetic functions, or to verify storage.