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;
}
