/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ 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/Lab3/Lab3_1/testbench.v"; static int ng1[] = {1, 0}; static int ng2[] = {0, 0}; static int ng3[] = {1000, 0}; static const char *ng4 = "Trace register $t0"; static const char *ng5 = "$t0 (REG8) = %x"; static int ng6[] = {8, 0}; static void Initial_28_0(char *t0) { char *t1; char *t2; char *t3; LAB0: t1 = (t0 + 3328U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(28, ng0); LAB4: xsi_set_current_line(29, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2088); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(30, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); xsi_set_current_line(33, ng0); t2 = (t0 + 3136); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(34, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2088); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); goto LAB1; } static void Initial_39_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; LAB0: t1 = (t0 + 3576U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(39, ng0); LAB4: xsi_set_current_line(40, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 1928); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(41, ng0); LAB5: xsi_set_current_line(42, ng0); t2 = (t0 + 3384); xsi_process_wait(t2, 10000LL); *((char **)t1) = &&LAB6; LAB1: return; LAB6: xsi_set_current_line(42, ng0); t3 = (t0 + 1928); 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 = (t0 + 1928); xsi_vlogvar_assign_value(t14, t4, 0, 0, 1); goto LAB5; LAB7: *((unsigned int *)t4) = 1; goto LAB10; LAB11: goto LAB1; } static void Initial_47_2(char *t0) { char t6[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; LAB0: t1 = (t0 + 3824U); 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); xsi_set_current_line(49, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2408); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); LAB5: t2 = (t0 + 2408); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng3))); memset(t6, 0, 8); xsi_vlog_signed_less(t6, 32, t4, 32, t5, 32); t7 = (t6 + 4); t8 = *((unsigned int *)t7); t9 = (~(t8)); t10 = *((unsigned int *)t6); t11 = (t10 & t9); t12 = (t11 != 0); if (t12 > 0) goto LAB6; LAB7: xsi_set_current_line(53, ng0); xsi_vlog_stop(1); LAB1: return; LAB6: xsi_set_current_line(50, ng0); t13 = (t0 + 4392); *((int *)t13) = 1; t14 = (t0 + 3856); *((char **)t14) = t13; *((char **)t1) = &&LAB8; goto LAB1; LAB8: xsi_set_current_line(49, ng0); t2 = (t0 + 2408); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng1))); memset(t6, 0, 8); xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32); t7 = (t0 + 2408); xsi_vlogvar_assign_value(t7, t6, 0, 0, 32); goto LAB5; } static void Initial_56_3(char *t0) { char t6[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t15; LAB0: t1 = (t0 + 4072U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(57, ng0); LAB4: xsi_set_current_line(58, ng0); xsi_vlogfile_write(1, 0, 0, ng4, 1, t0); xsi_set_current_line(59, ng0); t2 = (t0 + 4408); *((int *)t2) = 1; t3 = (t0 + 4104); *((char **)t3) = t2; *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(61, ng0); LAB6: xsi_set_current_line(62, ng0); LAB7: xsi_set_current_line(63, ng0); t2 = (t0 + 4424); *((int *)t2) = 1; t3 = (t0 + 4104); *((char **)t3) = t2; *((char **)t1) = &&LAB8; goto LAB1; LAB8: xsi_set_current_line(64, ng0); t2 = (t0 + 6164); t3 = *((char **)t2); t4 = ((((char*)(t3))) + 56U); t5 = *((char **)t4); t7 = (t0 + 6220); t8 = *((char **)t7); t9 = ((((char*)(t8))) + 72U); t10 = *((char **)t9); t11 = (t0 + 6276); t12 = *((char **)t11); t13 = ((((char*)(t12))) + 64U); t14 = *((char **)t13); t15 = ((char*)((ng6))); xsi_vlog_generic_get_array_select_value(t6, 32, t5, t10, t14, 2, 1, t15, 32, 1); xsi_vlogfile_write(1, 0, 0, ng5, 2, t0, (char)118, t6, 32); goto LAB6; LAB9: goto LAB1; } extern void work_m_00000000000564129032_1949178628_init() { static char *pe[] = {(void *)Initial_28_0,(void *)Initial_39_1,(void *)Initial_47_2,(void *)Initial_56_3}; xsi_register_didat("work_m_00000000000564129032_1949178628", "isim/testbench_isim_beh.exe.sim/work/m_00000000000564129032_1949178628.didat"); xsi_register_executes(pe); }