/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ /* / / All Right Reserved. */ /* /---/ /\ */ /* \ \ / \ */ /* \___\/\___\ */ /***********************************************************************/ /* This file is designed for use with ISim build 0x8ddf5b5d */ #define XSI_HIDE_SYMBOL_SPEC true #include "xsi.h" #include #ifdef __GNUC__ #include #else #include #define alloca _alloca #endif static const char *ng0 = "/home/michael/Documents/School/EC311/lab6/TEST_Detector.v"; static int ng1[] = {0, 0}; static int ng2[] = {20, 0}; static int ng3[] = {19, 0}; static int ng4[] = {1, 0}; static void Initial_47_0(char *t0) { char t6[8]; char t19[8]; char t27[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t7; char *t8; char *t9; char *t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; char *t16; char *t17; char *t18; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t28; unsigned int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; LAB0: t1 = (t0 + 3160U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(47, ng0); LAB4: xsi_set_current_line(49, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1608); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(50, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1768); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(51, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1928); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(52, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); xsi_set_current_line(55, ng0); t2 = (t0 + 2968); xsi_process_wait(t2, 50000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(58, ng0); xsi_set_current_line(58, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); LAB6: t2 = (t0 + 2248); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng2))); memset(t6, 0, 8); t7 = (t4 + 4); if (*((unsigned int *)t7) != 0) goto LAB8; LAB7: t8 = (t5 + 4); if (*((unsigned int *)t8) != 0) goto LAB8; LAB11: if (*((unsigned int *)t4) < *((unsigned int *)t5)) goto LAB9; LAB10: t10 = (t6 + 4); t11 = *((unsigned int *)t10); t12 = (~(t11)); t13 = *((unsigned int *)t6); t14 = (t13 & t12); t15 = (t14 != 0); if (t15 > 0) goto LAB12; LAB13: goto LAB1; LAB8: t9 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t9) = 1; goto LAB10; LAB9: *((unsigned int *)t6) = 1; goto LAB10; LAB12: xsi_set_current_line(58, ng0); LAB14: xsi_set_current_line(59, ng0); t16 = (t0 + 2088); t17 = (t16 + 56U); t18 = *((char **)t17); t20 = (t0 + 2088); t21 = (t20 + 72U); t22 = *((char **)t21); t23 = ((char*)((ng3))); t24 = (t0 + 2248); t25 = (t24 + 56U); t26 = *((char **)t25); memset(t27, 0, 8); xsi_vlog_unsigned_minus(t27, 32, t23, 32, t26, 16); xsi_vlog_generic_get_index_select_value(t19, 1, t18, t22, 2, t27, 32, 2); t28 = (t0 + 1608); xsi_vlogvar_assign_value(t28, t19, 0, 0, 1); xsi_set_current_line(60, ng0); t2 = (t0 + 1768); t3 = (t2 + 56U); t4 = *((char **)t3); memset(t6, 0, 8); t5 = (t4 + 4); t11 = *((unsigned int *)t5); t12 = (~(t11)); t13 = *((unsigned int *)t4); t14 = (t13 & t12); t15 = (t14 & 1U); if (t15 != 0) goto LAB18; LAB16: if (*((unsigned int *)t5) == 0) goto LAB15; LAB17: t7 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t7) = 1; LAB18: t8 = (t6 + 4); t9 = (t4 + 4); t29 = *((unsigned int *)t4); t30 = (~(t29)); *((unsigned int *)t6) = t30; *((unsigned int *)t8) = 0; if (*((unsigned int *)t9) != 0) goto LAB20; LAB19: t35 = *((unsigned int *)t6); *((unsigned int *)t6) = (t35 & 1U); t36 = *((unsigned int *)t8); *((unsigned int *)t8) = (t36 & 1U); t10 = (t0 + 1768); xsi_vlogvar_assign_value(t10, t6, 0, 0, 1); xsi_set_current_line(60, ng0); t2 = (t0 + 2968); xsi_process_wait(t2, 5000LL); *((char **)t1) = &&LAB21; goto LAB1; LAB15: *((unsigned int *)t6) = 1; goto LAB18; LAB20: t31 = *((unsigned int *)t6); t32 = *((unsigned int *)t9); *((unsigned int *)t6) = (t31 | t32); t33 = *((unsigned int *)t8); t34 = *((unsigned int *)t9); *((unsigned int *)t8) = (t33 | t34); goto LAB19; LAB21: xsi_set_current_line(61, ng0); t2 = (t0 + 1768); t3 = (t2 + 56U); t4 = *((char **)t3); memset(t6, 0, 8); t5 = (t4 + 4); t11 = *((unsigned int *)t5); t12 = (~(t11)); t13 = *((unsigned int *)t4); t14 = (t13 & t12); t15 = (t14 & 1U); if (t15 != 0) goto LAB25; LAB23: if (*((unsigned int *)t5) == 0) goto LAB22; LAB24: t7 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t7) = 1; LAB25: t8 = (t6 + 4); t9 = (t4 + 4); t29 = *((unsigned int *)t4); t30 = (~(t29)); *((unsigned int *)t6) = t30; *((unsigned int *)t8) = 0; if (*((unsigned int *)t9) != 0) goto LAB27; LAB26: t35 = *((unsigned int *)t6); *((unsigned int *)t6) = (t35 & 1U); t36 = *((unsigned int *)t8); *((unsigned int *)t8) = (t36 & 1U); t10 = (t0 + 1768); xsi_vlogvar_assign_value(t10, t6, 0, 0, 1); xsi_set_current_line(61, ng0); t2 = (t0 + 2968); xsi_process_wait(t2, 5000LL); *((char **)t1) = &&LAB28; goto LAB1; LAB22: *((unsigned int *)t6) = 1; goto LAB25; LAB27: t31 = *((unsigned int *)t6); t32 = *((unsigned int *)t9); *((unsigned int *)t6) = (t31 | t32); t33 = *((unsigned int *)t8); t34 = *((unsigned int *)t9); *((unsigned int *)t8) = (t33 | t34); goto LAB26; LAB28: xsi_set_current_line(58, ng0); t2 = (t0 + 2248); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng4))); memset(t6, 0, 8); xsi_vlog_unsigned_add(t6, 32, t4, 16, t5, 32); t7 = (t0 + 2248); xsi_vlogvar_assign_value(t7, t6, 0, 0, 16); goto LAB6; } extern void work_m_14253225476704866645_1235880303_init() { static char *pe[] = {(void *)Initial_47_0}; xsi_register_didat("work_m_14253225476704866645_1235880303", "isim/TEST_Detector_isim_beh.exe.sim/work/m_14253225476704866645_1235880303.didat"); xsi_register_executes(pe); }