The validity of a received message can easily be verified by performing the above calculation again, this time with the check value added instead of zeroes. These n bits are the remainder of the division step, and will also be the value of the CRC function (unless the chosen CRC specification calls for some postprocessing). […]
