7.37 A set of parity-check equations for a distance-4 Hamming code with 64 data bits and eight parity-check bits are specified by the eight 72-bit constants below, each representing one row the parity-check matrix: c[1] = 72 'h80000000000000007f; 72 'h400000003fffffff80; C[3] = 72,h20001fffc0007fff80; 72 'h100fe03fc071807180 C[5] = 72'h0871e3c3c78787878f; 72'h04b66cccd9999999b3 C[2] = C[4] = C[6] = Assuming that bits are numbered DI71:01, bits DI71:64 are the check bits, and D[ 63:0 are the data bits. Based on these parity-check equations, write a Verilog model Vrhamenc64 for a Hamming encoder with 64-bit data inputs DI[63:0 and a 72-bit encoded data output DO[ 71:0 7.37 A set of parity-check equations for a distance-4 Hamming code with 64 data bits and eight parity-check bits are specified by the eight 72-bit constants below, each representing one row the parity-check matrix: c[1] = 72 'h80000000000000007f; 72 'h400000003fffffff80; C[3] = 72,h20001fffc0007fff80; 72 'h100fe03fc071807180 C[5] = 72'h0871e3c3c78787878f; 72'h04b66cccd9999999b3 C[2] = C[4] = C[6] = Assuming that bits are numbered DI71:01, bits DI71:64 are the check bits, and D[ 63:0 are the data bits. Based on these parity-check equations, write a Verilog model Vrhamenc64 for a Hamming encoder with 64-bit data inputs DI[63:0 and a 72-bit encoded data output DO[ 71:0