Question

A set of parity-check equations for a distance-4 Hamming code with 64 data bits and 8 parity-check bits are specified by the eight 72-bit constants below, each representing one row the parity-check matrix:

C[1] = 72'h80000000000000007f; C[2] = 72'h400000003FFFFFFF80;
C[3] = 72'h20001FFFC0007FFF80; C[4] = 72'h100FE03FC07F807F80;
C[5] = 72'h0871E3C3C78787878F; C[6] = 72'h04B66CCCD9999999B3;
C[7] = 72'h02DAB5556AAAAAAAD5; C[8] = 72'hFFFFFFFFFFFFFFFFFF;

Assuming that bits are numbered D[17:0],
bits D[71:64] are the check bits, D[63:0] are the data bits.
Write a Verilog model for a Hamming encoder with 64-bit data inputs Di[63:0] and a 72-bit encoded data output Do{71:0]

Answer 1