/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ 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 #ifdef __GNUC__ #include #else #include #define alloca _alloca #endif static const char *ng0 = "D:/Xilinux/Lab4/UART/test_uart_controller.v"; static int ng1[] = {0, 0}; static int ng2[] = {1, 0}; static int ng3[] = {987654, 0}; static int ng4[] = {4, 0}; static int ng5[] = {5, 0}; static int ng6[] = {8, 0}; static int ng7[] = {55, 0}; static void Initial_33_0(char *t0) { char *t1; char *t2; char *t3; char *t4; LAB0: t1 = (t0 + 3648U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(33, ng0); LAB4: xsi_set_current_line(35, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1768); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(36, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 1928); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(37, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2088); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(38, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(39, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2408); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(40, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2568); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); xsi_set_current_line(41, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2728); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(44, ng0); t2 = (t0 + 3456); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(45, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1928); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(47, ng0); t2 = (t0 + 3456); xsi_process_wait(t2, 20000LL); *((char **)t1) = &&LAB6; goto LAB1; LAB6: xsi_set_current_line(48, ng0); t3 = (t0 + 4216); *((int *)t3) = 1; t4 = (t0 + 3680); *((char **)t4) = t3; *((char **)t1) = &&LAB7; goto LAB1; LAB7: xsi_set_current_line(50, ng0); t2 = ((char*)((ng3))); t3 = (t0 + 2568); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); xsi_set_current_line(51, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(52, ng0); t2 = (t0 + 4232); *((int *)t2) = 1; t3 = (t0 + 3680); *((char **)t3) = t2; *((char **)t1) = &&LAB8; goto LAB1; LAB8: xsi_set_current_line(53, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(55, ng0); t2 = ((char*)((ng4))); t3 = (t0 + 2568); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); xsi_set_current_line(56, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(57, ng0); t2 = (t0 + 4248); *((int *)t2) = 1; t3 = (t0 + 3680); *((char **)t3) = t2; *((char **)t1) = &&LAB9; goto LAB1; LAB9: xsi_set_current_line(58, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(60, ng0); t2 = (t0 + 4264); *((int *)t2) = 1; t3 = (t0 + 3680); *((char **)t3) = t2; *((char **)t1) = &&LAB10; goto LAB1; LAB10: xsi_set_current_line(61, ng0); t2 = (t0 + 4280); *((int *)t2) = 1; t3 = (t0 + 3680); *((char **)t3) = t2; *((char **)t1) = &&LAB11; goto LAB1; LAB11: xsi_set_current_line(62, ng0); t2 = ((char*)((ng5))); t3 = (t0 + 2568); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); xsi_set_current_line(63, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(64, ng0); t2 = (t0 + 4296); *((int *)t2) = 1; t3 = (t0 + 3680); *((char **)t3) = t2; *((char **)t1) = &&LAB12; goto LAB1; LAB12: xsi_set_current_line(65, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(67, ng0); t2 = ((char*)((ng6))); t3 = (t0 + 2568); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); xsi_set_current_line(68, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(69, ng0); t2 = (t0 + 4312); *((int *)t2) = 1; t3 = (t0 + 3680); *((char **)t3) = t2; *((char **)t1) = &&LAB13; goto LAB1; LAB13: xsi_set_current_line(70, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(72, ng0); t2 = (t0 + 4328); *((int *)t2) = 1; t3 = (t0 + 3680); *((char **)t3) = t2; *((char **)t1) = &&LAB14; goto LAB1; LAB14: xsi_set_current_line(73, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(75, ng0); t2 = ((char*)((ng7))); t3 = (t0 + 2568); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); xsi_set_current_line(76, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(77, ng0); t2 = (t0 + 4344); *((int *)t2) = 1; t3 = (t0 + 3680); *((char **)t3) = t2; *((char **)t1) = &&LAB15; goto LAB1; LAB15: xsi_set_current_line(78, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); goto LAB1; } static void Initial_82_1(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; char *t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; char *t24; LAB0: t1 = (t0 + 3896U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(82, ng0); LAB4: xsi_set_current_line(83, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1768); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(84, ng0); LAB5: xsi_set_current_line(84, ng0); t2 = (t0 + 3704); xsi_process_wait(t2, 10000LL); *((char **)t1) = &&LAB6; LAB1: return; LAB6: xsi_set_current_line(84, ng0); t3 = (t0 + 1768); t5 = (t3 + 56U); t6 = *((char **)t5); memset(t4, 0, 8); t7 = (t6 + 4); t8 = *((unsigned int *)t7); t9 = (~(t8)); t10 = *((unsigned int *)t6); t11 = (t10 & t9); t12 = (t11 & 1U); if (t12 != 0) goto LAB10; LAB8: if (*((unsigned int *)t7) == 0) goto LAB7; LAB9: t13 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t13) = 1; LAB10: t14 = (t4 + 4); t15 = (t6 + 4); t16 = *((unsigned int *)t6); t17 = (~(t16)); *((unsigned int *)t4) = t17; *((unsigned int *)t14) = 0; if (*((unsigned int *)t15) != 0) goto LAB12; LAB11: t22 = *((unsigned int *)t4); *((unsigned int *)t4) = (t22 & 1U); t23 = *((unsigned int *)t14); *((unsigned int *)t14) = (t23 & 1U); t24 = (t0 + 1768); xsi_vlogvar_assign_value(t24, t4, 0, 0, 1); goto LAB5; LAB7: *((unsigned int *)t4) = 1; goto LAB10; LAB12: t18 = *((unsigned int *)t4); t19 = *((unsigned int *)t15); *((unsigned int *)t4) = (t18 | t19); t20 = *((unsigned int *)t14); t21 = *((unsigned int *)t15); *((unsigned int *)t14) = (t20 | t21); goto LAB11; LAB13: goto LAB1; } extern void work_m_00000000000220547292_2502997601_init() { static char *pe[] = {(void *)Initial_33_0,(void *)Initial_82_1}; xsi_register_didat("work_m_00000000000220547292_2502997601", "isim/test_uart_controller_isim_beh.exe.sim/work/m_00000000000220547292_2502997601.didat"); xsi_register_executes(pe); }