void design_a_2773784971_2730021763_sub_105344256_1881409087(char *t0, char *t1, int t2) { char t4[8]; char *t5; int t6; int t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t15; char *t16; char *t17; char *t18; char *t19; unsigned int t20; char *t21; char *t22; char *t23; unsigned char t24; char *t25; unsigned char t26; char *t27; char *t28; unsigned char t29; unsigned char t30; int t31; LAB0: t5 = (t4 + 4U); *((int *)t5) = t2; t6 = 1; t7 = t2; LAB2: if (t6 <= t7) goto LAB3; LAB5: LAB1: return; LAB3: t8 = (t0 + 2432U); xsi_add_dynamic_wait(t1, t8, -1, -1); t9 = (t0 + 2432U); xsi_add_dynamic_wait(t1, t9, -1, -1); LAB9: t10 = (t1 + 224U); t10 = *((char **)t10); xsi_wp_set_status(t10, 1); t11 = (t1 + 88U); t12 = *((char **)t11); t13 = (t12 + 2480U); *((unsigned int *)t13) = 1U; t14 = (t1 + 88U); t15 = *((char **)t14); t16 = (t15 + 0U); getcontext(t16); t17 = (t1 + 88U); t18 = *((char **)t17); t19 = (t18 + 2480U); t20 = *((unsigned int *)t19); if (t20 == 1) goto LAB10; LAB11: t21 = (t1 + 88U); t22 = *((char **)t21); t23 = (t22 + 2480U); *((unsigned int *)t23) = 3U; LAB7: LAB8: t25 = (t0 + 2432U); t26 = xsi_signal_has_event(t25); if (t26 == 1) goto LAB12; LAB13: t24 = (unsigned char)0; LAB14: if (t24 == 1) goto LAB6; else goto LAB9; LAB4: if (t6 == t7) goto LAB5; LAB15: t31 = (t6 + 1); t6 = t31; goto LAB2; LAB6: xsi_remove_dynamic_wait(t1, t8); xsi_remove_dynamic_wait(t1, t9); goto LAB4; LAB10: xsi_saveStackAndSuspend(t1); goto LAB11; LAB12: t27 = (t0 + 2472U); t28 = *((char **)t27); t29 = *((unsigned char *)t28); t30 = (t29 == (unsigned char)3); t24 = t30; goto LAB14; }
void nf10_axis_sim_stim_v1_10_a_a_0907956521_1516540902_sub_16679151566995163314_5716404275827165329(char *t0, char *t1, int t2) { char t3[128]; char t4[8]; char t8[8]; char *t5; char *t6; char *t7; char *t9; char *t10; char *t11; char *t12; char *t13; int t14; unsigned char t15; char *t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; unsigned int t26; char *t27; char *t28; char *t29; char *t30; unsigned char t31; int t32; LAB0: t5 = (t3 + 4U); t6 = ((STD_STANDARD) + 824); t7 = (t5 + 88U); *((char **)t7) = t6; t9 = (t5 + 56U); *((char **)t9) = t8; *((int *)t8) = t2; t10 = (t5 + 80U); *((unsigned int *)t10) = 4U; t11 = (t4 + 4U); *((int *)t11) = t2; LAB2: t12 = (t5 + 56U); t13 = *((char **)t12); t14 = *((int *)t13); t15 = (t14 != 0); if (t15 != 0) goto LAB3; LAB5: LAB1: return; LAB3: t12 = (t0 + 992U); xsi_add_dynamic_wait(t1, t12, -1, -1); LAB9: t16 = (t1 + 224U); t16 = *((char **)t16); xsi_wp_set_status(t16, 1); t17 = (t1 + 88U); t18 = *((char **)t17); t19 = (t18 + 1888U); *((unsigned int *)t19) = 1U; t20 = (t1 + 88U); t21 = *((char **)t20); t22 = (t21 + 0U); getcontext(t22); t23 = (t1 + 88U); t24 = *((char **)t23); t25 = (t24 + 1888U); t26 = *((unsigned int *)t25); if (t26 == 1) goto LAB10; LAB11: t27 = (t1 + 88U); t28 = *((char **)t27); t29 = (t28 + 1888U); *((unsigned int *)t29) = 3U; LAB7: LAB8: t30 = (t0 + 992U); t31 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t30, 0U, 0U); if (t31 == 1) goto LAB6; else goto LAB9; LAB4:; LAB6: xsi_remove_dynamic_wait(t1, t12); t6 = (t5 + 56U); t7 = *((char **)t6); t14 = *((int *)t7); t32 = (t14 - 1); t6 = (t5 + 56U); t9 = *((char **)t6); t6 = (t9 + 0); *((int *)t6) = t32; goto LAB2; LAB10: xsi_saveStackAndSuspend(t1); goto LAB11; }