CRC5算法的表达式、verilog source code and the simulation result