/* Calculate a 32-bit CRC for a given data word (8 bits)  */
uint32_t CRC_CalculateCRC8bits(uint8_t data)
/* Calculate a 32-bit CRC for a given data word (8 bits)  */
uint32_t CRC_CalculateCRC8bits(uint8_t data)
{
    *(uint8_t*)(CRC_BASE) = (uint8_t) data;
    return (CRC->DATA);
}