URL
https://opencores.org/ocsvn/fluid_core_2/fluid_core_2/trunk
Subversion Repositories fluid_core_2
[/] [fluid_core_2/] [trunk/] [xilinx14.5 project/] [isim/] [tb_Test_Bed_isim_beh.exe.sim/] [work/] [m_00000000001085280695_4205540194.c] - Rev 4
Compare with Previous | Blame | View Log
/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ 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 = "C:/Users/Azmath/Documents/M Tech Project/FC2/IF_Stage.v"; static int ng1[] = {0, 0}; static int ng2[] = {1, 0}; static unsigned int ng3[] = {0U, 4294967295U}; static void Initial_27_0(char *t0) { char *t1; char *t2; LAB0: xsi_set_current_line(27, ng0); LAB2: xsi_set_current_line(28, ng0); t1 = ((char*)((ng1))); t2 = (t0 + 3528); xsi_vlogvar_wait_assign_value(t2, t1, 0, 0, 6, 0LL); xsi_set_current_line(29, ng0); t1 = ((char*)((ng1))); t2 = (t0 + 3688); xsi_vlogvar_wait_assign_value(t2, t1, 0, 0, 16, 0LL); xsi_set_current_line(30, ng0); t1 = ((char*)((ng1))); t2 = (t0 + 4008); xsi_vlogvar_wait_assign_value(t2, t1, 0, 0, 2, 0LL); LAB1: return; } static void Always_33_1(char *t0) { char t13[8]; char t36[8]; char t42[8]; char t43[8]; char t64[16]; char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; 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; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; char *t37; char *t38; char *t39; char *t40; char *t41; char *t44; char *t45; char *t46; char *t47; char *t48; char *t49; char *t50; char *t51; char *t52; char *t53; unsigned int t54; int t55; char *t56; unsigned int t57; int t58; int t59; unsigned int t60; unsigned int t61; int t62; int t63; LAB0: t1 = (t0 + 5336U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(33, ng0); t2 = (t0 + 6648); *((int *)t2) = 1; t3 = (t0 + 5368); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(33, ng0); LAB5: xsi_set_current_line(34, ng0); t4 = (t0 + 1208U); t5 = *((char **)t4); t4 = (t5 + 4); t6 = *((unsigned int *)t4); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB6; LAB7: xsi_set_current_line(39, ng0); t2 = (t0 + 4168); t3 = (t2 + 56U); t4 = *((char **)t3); memset(t13, 0, 8); t5 = (t4 + 4); t6 = *((unsigned int *)t5); t7 = (~(t6)); t8 = *((unsigned int *)t4); t9 = (t8 & t7); t10 = (t9 & 1U); if (t10 != 0) goto LAB13; LAB11: if (*((unsigned int *)t5) == 0) goto LAB10; LAB12: t11 = (t13 + 4); *((unsigned int *)t13) = 1; *((unsigned int *)t11) = 1; LAB13: t12 = (t13 + 4); t14 = (t4 + 4); t15 = *((unsigned int *)t4); t16 = (~(t15)); *((unsigned int *)t13) = t16; *((unsigned int *)t12) = 0; if (*((unsigned int *)t14) != 0) goto LAB15; LAB14: t21 = *((unsigned int *)t13); *((unsigned int *)t13) = (t21 & 1U); t22 = *((unsigned int *)t12); *((unsigned int *)t12) = (t22 & 1U); t23 = (t13 + 4); t24 = *((unsigned int *)t23); t25 = (~(t24)); t26 = *((unsigned int *)t13); t27 = (t26 & t25); t28 = (t27 != 0); if (t28 > 0) goto LAB16; LAB17: LAB18: LAB8: goto LAB2; LAB6: xsi_set_current_line(34, ng0); LAB9: xsi_set_current_line(35, ng0); t11 = ((char*)((ng1))); t12 = (t0 + 3528); xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 6, 0LL); xsi_set_current_line(36, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 3688); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 16, 0LL); xsi_set_current_line(37, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 4008); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 2, 0LL); xsi_set_current_line(38, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 4168); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); goto LAB8; LAB10: *((unsigned int *)t13) = 1; goto LAB13; LAB15: t17 = *((unsigned int *)t13); t18 = *((unsigned int *)t14); *((unsigned int *)t13) = (t17 | t18); t19 = *((unsigned int *)t12); t20 = *((unsigned int *)t14); *((unsigned int *)t12) = (t19 | t20); goto LAB14; LAB16: xsi_set_current_line(39, ng0); LAB19: xsi_set_current_line(41, ng0); t29 = (t0 + 1528U); t30 = *((char **)t29); t29 = (t30 + 4); t31 = *((unsigned int *)t29); t32 = (~(t31)); t33 = *((unsigned int *)t30); t34 = (t33 & t32); t35 = (t34 != 0); if (t35 > 0) goto LAB20; LAB21: xsi_set_current_line(45, ng0); t2 = (t0 + 2328U); t3 = *((char **)t2); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB26; LAB27: xsi_set_current_line(51, ng0); t2 = (t0 + 1688U); t3 = *((char **)t2); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB36; LAB37: xsi_set_current_line(54, ng0); t2 = (t0 + 1368U); t3 = *((char **)t2); memset(t13, 0, 8); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 & 1U); if (t10 != 0) goto LAB43; LAB41: if (*((unsigned int *)t2) == 0) goto LAB40; LAB42: t4 = (t13 + 4); *((unsigned int *)t13) = 1; *((unsigned int *)t4) = 1; LAB43: t5 = (t13 + 4); t11 = (t3 + 4); t15 = *((unsigned int *)t3); t16 = (~(t15)); *((unsigned int *)t13) = t16; *((unsigned int *)t5) = 0; if (*((unsigned int *)t11) != 0) goto LAB45; LAB44: t21 = *((unsigned int *)t13); *((unsigned int *)t13) = (t21 & 1U); t22 = *((unsigned int *)t5); *((unsigned int *)t5) = (t22 & 1U); t12 = (t13 + 4); t24 = *((unsigned int *)t12); t25 = (~(t24)); t26 = *((unsigned int *)t13); t27 = (t26 & t25); t28 = (t27 != 0); if (t28 > 0) goto LAB46; LAB47: LAB48: LAB38: LAB28: LAB22: goto LAB18; LAB20: xsi_set_current_line(41, ng0); LAB23: xsi_set_current_line(42, ng0); t37 = (t0 + 2648U); t38 = *((char **)t37); t37 = (t0 + 3528); t39 = (t37 + 56U); t40 = *((char **)t39); xsi_vlogtype_concat(t36, 10, 10, 2U, t40, 6, t38, 4); t41 = (t0 + 3848); t44 = (t0 + 3848); t45 = (t44 + 72U); t46 = *((char **)t45); t47 = (t0 + 3848); t48 = (t47 + 64U); t49 = *((char **)t48); t50 = (t0 + 4008); t51 = (t50 + 56U); t52 = *((char **)t51); xsi_vlog_generic_convert_array_indices(t42, t43, t46, t49, 2, 1, t52, 2, 2); t53 = (t42 + 4); t54 = *((unsigned int *)t53); t55 = (!(t54)); t56 = (t43 + 4); t57 = *((unsigned int *)t56); t58 = (!(t57)); t59 = (t55 && t58); if (t59 == 1) goto LAB24; LAB25: xsi_set_current_line(43, ng0); t2 = (t0 + 4008); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng2))); memset(t13, 0, 8); xsi_vlog_unsigned_add(t13, 32, t4, 2, t5, 32); t11 = (t0 + 4008); xsi_vlogvar_wait_assign_value(t11, t13, 0, 0, 2, 0LL); xsi_set_current_line(44, ng0); t2 = (t0 + 1848U); t3 = *((char **)t2); t2 = (t0 + 3528); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 6, 0LL); goto LAB22; LAB24: t60 = *((unsigned int *)t42); t61 = *((unsigned int *)t43); t62 = (t60 - t61); t63 = (t62 + 1); xsi_vlogvar_wait_assign_value(t41, t36, 0, *((unsigned int *)t43), t63, 0LL); goto LAB25; LAB26: xsi_set_current_line(45, ng0); LAB29: xsi_set_current_line(46, ng0); t4 = (t0 + 2488U); t5 = *((char **)t4); t4 = (t5 + 4); t15 = *((unsigned int *)t4); t16 = (~(t15)); t17 = *((unsigned int *)t5); t18 = (t17 & t16); t19 = (t18 != 0); if (t19 > 0) goto LAB30; LAB31: LAB32: xsi_set_current_line(50, ng0); t2 = (t0 + 2168U); t3 = *((char **)t2); t2 = (t0 + 3528); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 6, 0LL); goto LAB28; LAB30: xsi_set_current_line(46, ng0); LAB33: xsi_set_current_line(47, ng0); t11 = (t0 + 2648U); t12 = *((char **)t11); t11 = (t0 + 3528); t14 = (t11 + 56U); t23 = *((char **)t14); t29 = ((char*)((ng2))); memset(t13, 0, 8); xsi_vlog_unsigned_add(t13, 32, t23, 6, t29, 32); xsi_vlogtype_concat(t64, 36, 36, 2U, t13, 32, t12, 4); t30 = (t0 + 3848); t37 = (t0 + 3848); t38 = (t37 + 72U); t39 = *((char **)t38); t40 = (t0 + 3848); t41 = (t40 + 64U); t44 = *((char **)t41); t45 = (t0 + 4008); t46 = (t45 + 56U); t47 = *((char **)t46); xsi_vlog_generic_convert_array_indices(t36, t42, t39, t44, 2, 1, t47, 2, 2); t48 = (t36 + 4); t20 = *((unsigned int *)t48); t55 = (!(t20)); t49 = (t42 + 4); t21 = *((unsigned int *)t49); t58 = (!(t21)); t59 = (t55 && t58); if (t59 == 1) goto LAB34; LAB35: xsi_set_current_line(48, ng0); t2 = (t0 + 4008); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng2))); memset(t13, 0, 8); xsi_vlog_unsigned_add(t13, 32, t4, 2, t5, 32); t11 = (t0 + 4008); xsi_vlogvar_wait_assign_value(t11, t13, 0, 0, 2, 0LL); goto LAB32; LAB34: t22 = *((unsigned int *)t36); t24 = *((unsigned int *)t42); t62 = (t22 - t24); t63 = (t62 + 1); xsi_vlogvar_wait_assign_value(t30, t64, 0, *((unsigned int *)t42), t63, 0LL); goto LAB35; LAB36: xsi_set_current_line(51, ng0); LAB39: xsi_set_current_line(52, ng0); t4 = (t0 + 4008); t5 = (t4 + 56U); t11 = *((char **)t5); t12 = ((char*)((ng2))); memset(t13, 0, 8); xsi_vlog_unsigned_minus(t13, 32, t11, 2, t12, 32); t14 = (t0 + 4008); xsi_vlogvar_wait_assign_value(t14, t13, 0, 0, 2, 0LL); xsi_set_current_line(53, ng0); t2 = (t0 + 3848); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 3848); t11 = (t5 + 72U); t12 = *((char **)t11); t14 = (t0 + 3848); t23 = (t14 + 64U); t29 = *((char **)t23); t30 = (t0 + 4008); t37 = (t30 + 56U); t38 = *((char **)t37); t39 = ((char*)((ng2))); memset(t36, 0, 8); xsi_vlog_unsigned_minus(t36, 32, t38, 2, t39, 32); xsi_vlog_generic_get_array_select_value(t13, 10, t4, t12, t29, 2, 1, t36, 32, 2); memset(t42, 0, 8); t40 = (t42 + 4); t41 = (t13 + 4); t6 = *((unsigned int *)t13); t7 = (t6 >> 4); *((unsigned int *)t42) = t7; t8 = *((unsigned int *)t41); t9 = (t8 >> 4); *((unsigned int *)t40) = t9; t10 = *((unsigned int *)t42); *((unsigned int *)t42) = (t10 & 63U); t15 = *((unsigned int *)t40); *((unsigned int *)t40) = (t15 & 63U); t44 = (t0 + 3528); xsi_vlogvar_wait_assign_value(t44, t42, 0, 0, 6, 0LL); goto LAB38; LAB40: *((unsigned int *)t13) = 1; goto LAB43; LAB45: t17 = *((unsigned int *)t13); t18 = *((unsigned int *)t11); *((unsigned int *)t13) = (t17 | t18); t19 = *((unsigned int *)t5); t20 = *((unsigned int *)t11); *((unsigned int *)t5) = (t19 | t20); goto LAB44; LAB46: xsi_set_current_line(54, ng0); LAB49: xsi_set_current_line(55, ng0); t14 = (t0 + 3528); t23 = (t14 + 56U); t29 = *((char **)t23); t30 = ((char*)((ng2))); memset(t36, 0, 8); xsi_vlog_unsigned_add(t36, 32, t29, 6, t30, 32); t37 = (t0 + 3528); xsi_vlogvar_wait_assign_value(t37, t36, 0, 0, 6, 0LL); xsi_set_current_line(56, ng0); t2 = (t0 + 2008U); t3 = *((char **)t2); t2 = (t0 + 3688); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 16, 0LL); xsi_set_current_line(57, ng0); t2 = (t0 + 2008U); t3 = *((char **)t2); memset(t36, 0, 8); t2 = (t36 + 4); t4 = (t3 + 4); t6 = *((unsigned int *)t3); t7 = (t6 >> 11); *((unsigned int *)t36) = t7; t8 = *((unsigned int *)t4); t9 = (t8 >> 11); *((unsigned int *)t2) = t9; t10 = *((unsigned int *)t36); *((unsigned int *)t36) = (t10 & 31U); t15 = *((unsigned int *)t2); *((unsigned int *)t2) = (t15 & 31U); memset(t13, 0, 8); t5 = (t36 + 4); t16 = *((unsigned int *)t36); t17 = *((unsigned int *)t5); t18 = (t16 | t17); if (t18 != 31U) goto LAB51; LAB50: if (*((unsigned int *)t5) == 0) goto LAB52; LAB53: t11 = (t13 + 4); *((unsigned int *)t13) = 1; *((unsigned int *)t11) = 1; LAB51: t12 = (t0 + 4168); xsi_vlogvar_wait_assign_value(t12, t13, 0, 0, 1, 0LL); goto LAB48; LAB52: *((unsigned int *)t13) = 1; goto LAB51; } static void Cont_63_2(char *t0) { char t3[8]; char t4[8]; char t19[8]; char t29[8]; char *t1; char *t2; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *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 *t27; char *t28; char *t30; char *t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; char *t43; char *t44; char *t45; char *t46; char *t47; unsigned int t48; unsigned int t49; char *t50; unsigned int t51; unsigned int t52; char *t53; unsigned int t54; unsigned int t55; char *t56; LAB0: t1 = (t0 + 5584U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(63, ng0); t2 = (t0 + 1688U); t5 = *((char **)t2); memset(t4, 0, 8); t2 = (t5 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 & 1U); if (t10 != 0) goto LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t12 = (t4 + 4); t13 = *((unsigned int *)t4); t14 = *((unsigned int *)t12); t15 = (t13 || t14); if (t15 > 0) goto LAB8; LAB9: t38 = *((unsigned int *)t4); t39 = (~(t38)); t40 = *((unsigned int *)t12); t41 = (t39 || t40); if (t41 > 0) goto LAB10; LAB11: if (*((unsigned int *)t12) > 0) goto LAB12; LAB13: if (*((unsigned int *)t4) > 0) goto LAB14; LAB15: memcpy(t3, t42, 8); LAB16: t43 = (t0 + 6792); t44 = (t43 + 56U); t45 = *((char **)t44); t46 = (t45 + 56U); t47 = *((char **)t46); memset(t47, 0, 8); t48 = 15U; t49 = t48; t50 = (t3 + 4); t51 = *((unsigned int *)t3); t48 = (t48 & t51); t52 = *((unsigned int *)t50); t49 = (t49 & t52); t53 = (t47 + 4); t54 = *((unsigned int *)t47); *((unsigned int *)t47) = (t54 | t48); t55 = *((unsigned int *)t53); *((unsigned int *)t53) = (t55 | t49); xsi_driver_vfirst_trans(t43, 0, 3); t56 = (t0 + 6664); *((int *)t56) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t11 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t11) = 1; goto LAB7; LAB8: t16 = (t0 + 3848); t17 = (t16 + 56U); t18 = *((char **)t17); t20 = (t0 + 3848); t21 = (t20 + 72U); t22 = *((char **)t21); t23 = (t0 + 3848); t24 = (t23 + 64U); t25 = *((char **)t24); t26 = (t0 + 4008); t27 = (t26 + 56U); t28 = *((char **)t27); xsi_vlog_generic_get_array_select_value(t19, 10, t18, t22, t25, 2, 1, t28, 2, 2); memset(t29, 0, 8); t30 = (t29 + 4); t31 = (t19 + 4); t32 = *((unsigned int *)t19); t33 = (t32 >> 0); *((unsigned int *)t29) = t33; t34 = *((unsigned int *)t31); t35 = (t34 >> 0); *((unsigned int *)t30) = t35; t36 = *((unsigned int *)t29); *((unsigned int *)t29) = (t36 & 15U); t37 = *((unsigned int *)t30); *((unsigned int *)t30) = (t37 & 15U); goto LAB9; LAB10: t42 = ((char*)((ng3))); goto LAB11; LAB12: xsi_vlog_unsigned_bit_combine(t3, 32, t29, 32, t42, 32); goto LAB16; LAB14: memcpy(t3, t29, 8); goto LAB16; } static void Cont_65_3(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; unsigned int t10; unsigned int t11; char *t12; unsigned int t13; unsigned int t14; char *t15; unsigned int t16; unsigned int t17; char *t18; LAB0: t1 = (t0 + 5832U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(65, ng0); t2 = (t0 + 3528); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 6856); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memset(t9, 0, 8); t10 = 63U; t11 = t10; t12 = (t4 + 4); t13 = *((unsigned int *)t4); t10 = (t10 & t13); t14 = *((unsigned int *)t12); t11 = (t11 & t14); t15 = (t9 + 4); t16 = *((unsigned int *)t9); *((unsigned int *)t9) = (t16 | t10); t17 = *((unsigned int *)t15); *((unsigned int *)t15) = (t17 | t11); xsi_driver_vfirst_trans(t5, 0, 5); t18 = (t0 + 6680); *((int *)t18) = 1; LAB1: return; } static void Cont_66_4(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; unsigned int t8; unsigned int t9; char *t10; unsigned int t11; unsigned int t12; char *t13; unsigned int t14; unsigned int t15; char *t16; LAB0: t1 = (t0 + 6080U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(66, ng0); t2 = (t0 + 1048U); t3 = *((char **)t2); t2 = (t0 + 6920); t4 = (t2 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memset(t7, 0, 8); t8 = 1U; t9 = t8; t10 = (t3 + 4); t11 = *((unsigned int *)t3); t8 = (t8 & t11); t12 = *((unsigned int *)t10); t9 = (t9 & t12); t13 = (t7 + 4); t14 = *((unsigned int *)t7); *((unsigned int *)t7) = (t14 | t8); t15 = *((unsigned int *)t13); *((unsigned int *)t13) = (t15 | t9); xsi_driver_vfirst_trans(t2, 0, 0); t16 = (t0 + 6696); *((int *)t16) = 1; LAB1: return; } static void Cont_68_5(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; unsigned int t10; unsigned int t11; char *t12; unsigned int t13; unsigned int t14; char *t15; unsigned int t16; unsigned int t17; char *t18; LAB0: t1 = (t0 + 6328U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(68, ng0); t2 = (t0 + 3688); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 6984); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memset(t9, 0, 8); t10 = 65535U; t11 = t10; t12 = (t4 + 4); t13 = *((unsigned int *)t4); t10 = (t10 & t13); t14 = *((unsigned int *)t12); t11 = (t11 & t14); t15 = (t9 + 4); t16 = *((unsigned int *)t9); *((unsigned int *)t9) = (t16 | t10); t17 = *((unsigned int *)t15); *((unsigned int *)t15) = (t17 | t11); xsi_driver_vfirst_trans(t5, 0, 15); t18 = (t0 + 6712); *((int *)t18) = 1; LAB1: return; } extern void work_m_00000000001085280695_4205540194_init() { static char *pe[] = {(void *)Initial_27_0,(void *)Always_33_1,(void *)Cont_63_2,(void *)Cont_65_3,(void *)Cont_66_4,(void *)Cont_68_5}; xsi_register_didat("work_m_00000000001085280695_4205540194", "isim/tb_Test_Bed_isim_beh.exe.sim/work/m_00000000001085280695_4205540194.didat"); xsi_register_executes(pe); }