// Equations for 5 bit CRC taking in 32 databits per clock.
// See
Polynomial_representations_of_cyclic_redundancy_checks for standard CRC polynomials.
// Generator Polynomial 0x9: X^5 + X^3 + 1
// x[4:0] are the state bits. d[31:0] are the input data bits
x[0] <= x[4] ^ d[4] ^ d[9] ^ d[14] ^ d[19] ^ d[24] ^ d[29];
x[1] <= x[0] ^ d[3] ^ d[8] ^ d[13] ^ d[18] ^ d[23] ^ d[28];
x[2] <= x[1] ^ d[2] ^ d[7] ^ d[12] ^ d[17] ^ d[22] ^ d[27];
x[3] <= x[2] ^ x[4] ^ d[1] ^ d[6] ^ d[11] ^ d[16] ^ d[21] ^ d[26] ^ d[31];
x[4] <= x[3] ^ d[0] ^ d[5] ^ d[10] ^ d[15] ^ d[20] ^ d[25] ^ d[30];