Verilog版本的SPI程序

/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ /* / / All Right Reserved. */ /* /---/ /\ */ /* \ \ / \ */ /* \___\/\___\ */ /***********************************************************************/ /* This file is designed for use with ISim build 0x7708f090 */ #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 = "D:/document/spi code/spi/spi.v"; static unsigned int ng1[] = {0U, 0U}; static unsigned int ng2[] = {1U, 0U}; static unsigned int ng3[] = {24U, 0U}; static int ng4[] = {1, 0}; static int ng5[] = {0, 0}; static unsigned int ng6[] = {23U, 0U}; static void Always_57_0(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; char *t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; char *t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; char *t29; char *t30; LAB0: t1 = (t0 + 4376U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(57, ng0); t2 = (t0 + 6432); *((int *)t2) = 1; t3 = (t0 + 4408); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(58, ng0); t5 = (t0 + 1616U); t6 = *((char **)t5); memset(t4, 0, 8); t5 = (t6 + 4); t7 = *((unsigned int *)t5); t8 = (~(t7)); t9 = *((unsigned int *)t6); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB8; LAB6: if (*((unsigned int *)t5) == 0) goto LAB5; LAB7: t12 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t12) = 1; LAB8: t13 = (t4 + 4); t14 = (t6 + 4); t15 = *((unsigned int *)t6); t16 = (~(t15)); *((unsigned int *)t4) = t16; *((unsigned int *)t13) = 0; if (*((unsigned int *)t14) != 0) goto LAB10; LAB9: t21 = *((unsigned int *)t4); *((unsigned int *)t4) = (t21 & 1U); t22 = *((unsigned int *)t13); *((unsigned int *)t13) = (t22 & 1U); t23 = (t4 + 4); t24 = *((unsigned int *)t23); t25 = (~(t24)); t26 = *((unsigned int *)t4); t27 = (t26 & t25); t28 = (t27 != 0); if (t28 > 0) goto LAB11; LAB12: xsi_set_current_line(59, ng0); t2 = (t0 + 3456); t3 = (t2 + 56U); t5 = *((char **)t3); t6 = (t0 + 3296); xsi_vlogvar_wait_assign_value(t6, t5, 0, 0, 1, 0LL); LAB13: goto LAB2; LAB5: *((unsigned int *)t4) = 1; goto LAB8; LAB10: t17 = *((unsigned int *)t4); t18 = *((unsigned int *)t14); *((unsigned int *)t4) = (t17 | t18); t19 = *((unsigned int *)t13); t20 = *((unsigned int *)t14); *((unsigned int *)t13) = (t19 | t20); goto LAB9; LAB11: xsi_set_current_line(58, ng0); t29 = ((char*)((ng1))); t30 = (t0 + 3296); xsi_vlogvar_wait_assign_value(t30, t29, 0, 0, 1, 0LL); goto LAB13; } static void Always_61_1(char *t0) { char t16[8]; char t17[8]; char *t1; char *t2; char *t3; char *t4; char *t5; int t6; char *t7; char *t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; char *t14; char *t15; char *t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; char *t26; char *t27; unsigned int t28; unsigned int t29; unsigned int t30; unsigned int t31; unsigned int t32; char *t33; char *t34; LAB0: t1 = (t0 + 4624U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(61, ng0); t2 = (t0 + 6448); *((int *)t2) = 1; t3 = (t0 + 4656); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(62, ng0); LAB5: xsi_set_current_line(62, ng0); t4 = ((char*)((ng1))); t5 = (t0 + 3456); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(63, ng0); t2 = (t0 + 3296); t3 = (t2 + 56U); t4 = *((char **)t3); LAB6: t5 = ((char*)((ng1))); t6 = xsi_vlog_unsigned_case_compare(t4, 1, t5, 1); if (t6 == 1) goto LAB7; LAB8: t2 = ((char*)((ng2))); t6 = xsi_vlog_unsigned_case_compare(t4, 1, t2, 1); if (t6 == 1) goto LAB9; LAB10: LAB11: goto LAB2; LAB7: xsi_set_current_line(64, ng0); t7 = (t0 + 2096U); t8 = *((char **)t7); t7 = (t8 + 4); t9 = *((unsigned int *)t7); t10 = (~(t9)); t11 = *((unsigned int *)t8); t12 = (t11 & t10); t13 = (t12 != 0); if (t13 > 0) goto LAB12; LAB13: xsi_set_current_line(65, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 3456); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); LAB14: goto LAB11; LAB9: xsi_set_current_line(66, ng0); t3 = (t0 + 2976); t5 = (t3 + 56U); t7 = *((char **)t5); t8 = ((char*)((ng3))); t14 = ((char*)((ng4))); memset(t16, 0, 8); xsi_vlog_unsigned_minus(t16, 32, t8, 8, t14, 32); memset(t17, 0, 8); t15 = (t7 + 4); t18 = (t16 + 4); t9 = *((unsigned int *)t7); t10 = *((unsigned int *)t16); t11 = (t9 ^ t10); t12 = *((unsigned int *)t15); t13 = *((unsigned int *)t18); t19 = (t12 ^ t13); t20 = (t11 | t19); t21 = *((unsigned int *)t15); t22 = *((unsigned int *)t18); t23 = (t21 | t22); t24 = (~(t23)); t25 = (t20 & t24); if (t25 != 0) goto LAB18; LAB15: if (t23 != 0) goto LAB17; LAB16: *((unsigned int *)t17) = 1; LAB18: t27 = (t17 + 4); t28 = *((unsigned int *)t27); t29 = (~(t28)); t30 = *((unsigned int *)t17); t31 = (t30 & t29); t32 = (t31 != 0); if (t32 > 0) goto LAB19; LAB20: xsi_set_current_line(67, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 3456); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); LAB21: goto LAB11; LAB12: xsi_set_current_line(64, ng0); t14 = ((char*)((ng2))); t15 = (t0 + 3456); xsi_vlogvar_assign_value(t15, t14, 0, 0, 1); goto LAB14; LAB17: t26 = (t17 + 4); *((unsigned int *)t17) = 1; *((unsigned int *)t26) = 1; goto LAB18; LAB19: xsi_set_current_line(66, ng0); t33 = ((char*)((ng1))); t34 = (t0 + 3456); xsi_vlogvar_assign_value(t34, t33, 0, 0, 1); goto LAB21; } static void Always_72_2(char *t0) { char t4[8]; char t31[8]; char t36[8]; char t43[8]; char *t1; char *t2; char *t3; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13;