Verilog语言实现CRC校验

/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ /* / / All Right Reserved. */ /* /---/ /\ */ /* \ \ / \ */ /* \___\/\___\ */ /***********************************************************************/ /* This file is designed for use with ISim build 0x8ef4fb42 */ #define XSI_HIDE_SYMBOL_SPEC true #include "xsi.h" #include <memory.h> #ifdef __GNUC__ #include <stdlib.h> #else #include <malloc.h> #define alloca _alloca #endif static const char *ng0 = "Function to_bit ended without a return statement"; extern char *STD_STANDARD; static const char *ng2 = "Function to_stdulogic ended without a return statement"; static const char *ng3 = "Function to_x01 ended without a return statement"; static const char *ng4 = "Function to_x01z ended without a return statement"; static const char *ng5 = "Function to_ux01 ended without a return statement"; unsigned char ieee_p_2592010699_sub_3130575329_503743352(char *t1, char *t2, char *t3) { char t4[72]; char t5[16]; char t9[8]; unsigned char t0; char *t6; char *t7; char *t8; char *t10; char *t11; char *t12; unsigned char t13; char *t14; char *t15; unsigned int t16; unsigned char t17; int t18; char *t19; int t20; char *t21; int t22; char *t23; int t24; char *t25; int t26; char *t27; int t28; int t29; unsigned int t30; unsigned int t31; unsigned int t32; char *t33; unsigned char t34; int t35; int t36; int t37; int t38; unsigned int t39; int t40; unsigned int t41; unsigned int t42; unsigned int t43; unsigned int t44; LAB0: t6 = (t4 + 4U); t7 = (t1 + 1852); t8 = (t6 + 52U); *((char **)t8) = t7; t10 = (t6 + 36U); *((char **)t10) = t9; *((unsigned char *)t9) = (unsigned char)4; t11 = (t6 + 48U); *((unsigned int *)t11) = 1U; t12 = (t5 + 4U); t13 = (t2 != 0); if (t13 == 1) goto LAB3; LAB2: t14 = (t5 + 8U); *((char **)t14) = t3; t15 = (t3 + 12U); t16 = *((unsigned int *)t15); t17 = (t16 == 1); if (t17 != 0) goto LAB4; LAB6: t7 = (t3 + 8U); t18 = *((int *)t7); t8 = (t3 + 4U); t20 = *((int *)t8); t10 = (t3 + 0U); t22 = *((int *)t10); t24 = t22; t26 = t20; LAB15: t28 = (t26 * t18); t29 = (t24 * t18); if (t29 <= t28) goto LAB16; LAB18: LAB5: t7 = (t6 + 36U); t8 = *((char **)t7); t13 = *((unsigned char *)t8); t0 = t13; LAB1: return t0; LAB3: *((char **)t12) = t2; goto LAB2; LAB4: t19 = (t3 + 0U); t20 = *((int *)t19); t21 = (t3 + 4U); t22 = *((int *)t21); t23 = (t3 + 8U); t24 = *((int *)t23); if (t20 > t22) goto LAB7; LAB8: if (t24 == -1) goto LAB12; LAB13: t18 = t20; LAB9: t25 = (t3 + 0U); t26 = *((int *)t25); t27 = (t3 + 8U); t28 = *((int *)t27); t29 = (t18 - t26); t30 = (t29 * t28); t31 = (1U * t30); t32 = (0 + t31); t33 = (t2 + t32); t34 = *((unsigned char *)t33); t0 = t34; goto LAB1; LAB7: if (t24 == 1) goto LAB10; LAB11: t18 = t22; goto LAB9; LAB10: t18 = t20; goto LAB9; LAB12: t18 = t22; goto LAB9; LAB14: goto LAB5; LAB16: t11 = (t1 + 672U); t15 = *((char **)t11); t11 = (t6 + 36U); t19 = *((char **)t11); t13 = *((unsigned char *)t19); t35 = (t13 - 0); t16 = (t35 * 1); t30 = (t16 * 9U); t11 = (t3 + 0U); t36 = *((int *)t11); t21 = (t3 + 8U); t37 = *((int *)t21); t38 = (t24 - t36); t31 = (t38 * t37); t32 = (1U * t31); t39 = (0 + t32); t23 = (t2 + t39); t17 = *((unsigned char *)t23); t40 = (t17 - 0); t41 = (t40 * 1); t42 = (t30 + t41); t43 = (1U * t42); t44 = (0 + t43); t25 = (t15 + t44); t34 = *((unsigned char *)t25); t27 = (t6 + 36U); t33 = *((char **)t27); t27 = (t33 + 0); *((unsigned char *)t27) = t34; LAB17: if (t24 == t26) goto LAB18; LAB19: t20 = (t24 + t18); t24 = t20; goto LAB15; LAB20:; } unsigned char ieee_p_2592010699_sub_1605435078_503743352(char *t1, unsigned char t2, unsigned char t3) { char t5[8]; unsigned char t0; char *t6; char *t7; char *t8; char *t9; int t10; unsigned int t11; unsigned int t12; int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned char t18; LAB0: t6 = (t5 + 4U); *((unsigned char *)t6) = t2; t7 = (t5 + 5U); *((unsigned char *)t7) = t3; t8 = (t1 + 740U); t9 = *((char **)t8); t10 = (t2 - 0); t11 = (t10 * 1); t12 = (t11 * 9U); t13 = (t3 - 0); t14 = (t13 * 1); t15 = (t12 + t14); t16 = (1U * t15); t17 = (0 + t16); t8 = (t9 + t17); t18 = *((unsigned char *)t8); t0 = t18; LAB1: return t0; LAB2:; } unsigned char ieee_p_2592010699_sub_313326228_503743352(char *t1, unsigned char t2, unsigned char t3) { char t5[8]; unsigned char t0; char *t6; char *t7; char *t8; char *t9; char *t10; int t11; unsigned int t12; unsigned int t13; int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned char t19; int t20; unsigned int t21; unsigned int t22; unsigned int t23; char *t24; unsigned char t25; LAB0: t6 = (t5 + 4U); *((unsigned char *)t6) = t2; t7 = (t5 + 5U); *((unsigned char *)t7) = t3; t8 = (t1 + 944U); t9 = *((char **)t8); t8 = (t1 + 740U); t10 = *((char **)t8); t11 = (t2 - 0); t12 = (t11 * 1); t13 = (t12 * 9U); t14 = (t3 - 0); t15 = (t14 * 1); t16 = (t13 + t15); t17 = (1U * t16); t18 = (0 + t17); t8 = (t10 + t18); t19 = *((unsigned char *)t8); t20 = (t19 - 0); t21 = (t20 * 1); t22 = (1U * t21); t23 = (0 + t22); t24 = (t9 + t23); t25 = *((unsigned char *)t24); t0 = t25; LAB1: return t0; LAB2:; } unsigned char ieee_p_2592010699_sub_2545490612_503743352(char *t1, unsigned char t2, unsigned char t3) { char t5[8]; unsigned char t0; char *t6; char *t7; char *t8; char *t9; int t10; unsigned int t11; unsigned int t12; int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned char t18; LAB0: t6 = (t5 + 4U); *((unsigned char *)t6) = t2; t7 = (t5 + 5U); *((unsigned char *)t7) = t3; t8 = (t1 + 808U); t9 = *((char **)t8); t10 = (t2 - 0); t11 = (t10 * 1); t12 = (t11 * 9U); t13 = (t3 - 0); t14 = (t13 * 1); t15 = (t12 + t14); t16 = (1U * t15); t17 = (0 + t16); t8 = (t9 + t17); t18 = *((unsigned char *)t8); t0 = t18; LAB1: return t0; LAB2:; } unsigned char ieee_p_2592010699_sub_2115884226_503743352(char *t1, unsigned char t2, unsigned char t3) { char t5[8]; unsigned char t0; char *t6; char *t7; char *t8; char *t9; ch