static void work_a_4154865712_2372691052_p_1(char *t0)
{
char *t1;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
int64 t8;
char *t9;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
int64 t16;
char *t17;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
LAB0: xsi_set_current_line(71, ng0);
LAB3: t1 = (t0 + 5392);
t3 = (t0 + 3200);
t4 = (t3 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t1, 16U);
xsi_driver_first_trans_delta(t3, 0U, 16U, 0LL);
t8 = (300 * 1000LL);
t9 = (t0 + 5408);
t11 = (t0 + 3200);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
memcpy(t15, t9, 16U);
xsi_driver_subsequent_trans_delta(t11, 0U, 16U, t8);
t16 = (600 * 1000LL);
t17 = (t0 + 5424);
t19 = (t0 + 3200);
t20 = (t19 + 56U);
t21 = *((char **)t20);
t22 = (t21 + 56U);
t23 = *((char **)t22);
memcpy(t23, t17, 16U);
xsi_driver_subsequent_trans_delta(t19, 0U, 16U, t16);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_0222994288_3212880686_p_2(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
int64 t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
int64 t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
LAB0: xsi_set_current_line(76, ng0);
LAB3: t1 = (t0 + 4728);
t2 = (t1 + 56U);
t3 = *((char **)t2);
t4 = (t3 + 56U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);
t6 = (50 * 1000LL);
t7 = (t0 + 4728);
t8 = (t7 + 56U);
t9 = *((char **)t8);
t10 = (t9 + 56U);
t11 = *((char **)t10);
*((unsigned char *)t11) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t7, 0U, 1, t6);
t12 = (650 * 1000LL);
t13 = (t0 + 4728);
t14 = (t13 + 56U);
t15 = *((char **)t14);
t16 = (t15 + 56U);
t17 = *((char **)t16);
*((unsigned char *)t17) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t13, 0U, 1, t12);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_2683472623_0318166943_p_0(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
int64 t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
LAB0: t1 = (t0 + 3792U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(50, ng0);
t2 = (t0 + 4752);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_delta(t2, 0U, 1, 0LL);
t7 = (5 * 1000LL);
t8 = (t0 + 4752);
t9 = (t8 + 56U);
t10 = *((char **)t9);
t11 = (t10 + 56U);
t12 = *((char **)t11);
*((unsigned char *)t12) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t8, 0U, 1, t7);
xsi_set_current_line(51, ng0);
t7 = (10 * 1000LL);
t2 = (t0 + 3600);
xsi_process_wait(t2, t7);
LAB6: *((char **)t1) = &&LAB7;
LAB1: return;
LAB4: goto LAB2;
LAB5: goto LAB4;
LAB7: goto LAB5;
}
static void work_a_3997580817_3997580817_p_1(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
int64 t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
LAB0: t1 = (t0 + 5480U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(39, ng0);
t2 = (t0 + 6424);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_delta(t2, 0U, 1, 0LL);
t7 = (15 * 1000LL);
t8 = (t0 + 6424);
t9 = (t8 + 56U);
t10 = *((char **)t9);
t11 = (t10 + 56U);
t12 = *((char **)t11);
*((unsigned char *)t12) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t8, 0U, 1, t7);
xsi_set_current_line(40, ng0);
t7 = (30 * 1000LL);
t2 = (t0 + 5288);
xsi_process_wait(t2, t7);
LAB6: *((char **)t1) = &&LAB7;
LAB1: return;
LAB4: goto LAB2;
LAB5: goto LAB4;
LAB7: goto LAB5;
}
static void work_a_0373709625_2372691052_p_1(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
int64 t8;
int64 t9;
char *t10;
char *t11;
char *t12;
char *t13;
LAB0: xsi_set_current_line(220, ng0);
LAB3: t1 = (t0 + 4436);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 32U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);
t6 = (t0 + 2788U);
t7 = *((char **)t6);
t8 = *((int64 *)t7);
t9 = (t8 * 10);
t6 = (t0 + 4436);
t10 = (t6 + 32U);
t11 = *((char **)t10);
t12 = (t11 + 32U);
t13 = *((char **)t12);
*((unsigned char *)t13) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t6, 0U, 1, t9);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_3362471586_2372691052_p_4(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
int64 t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
LAB0: xsi_set_current_line(287, ng0);
LAB3: t1 = (t0 + 7848);
t2 = (t1 + 56U);
t3 = *((char **)t2);
t4 = (t3 + 56U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);
t6 = (800 * 1000LL);
t7 = (t0 + 7848);
t8 = (t7 + 56U);
t9 = *((char **)t8);
t10 = (t9 + 56U);
t11 = *((char **)t10);
*((unsigned char *)t11) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t7, 0U, 1, t6);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_1802470800_0587835350_p_1(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
int64 t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
LAB0: xsi_set_current_line(62, ng0);
LAB3: t1 = (t0 + 4272);
t2 = (t1 + 56U);
t3 = *((char **)t2);
t4 = (t3 + 56U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);
t6 = (30 * 1000LL);
t7 = (t0 + 4272);
t8 = (t7 + 56U);
t9 = *((char **)t8);
t10 = (t9 + 56U);
t11 = *((char **)t10);
*((unsigned char *)t11) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t7, 0U, 1, t6);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
void design_a_2773784971_2730021763_sub_1767352679_1881409087(char *t0, char *t1, char *t2, int t3)
{
char t5[24];
char t6[16];
char *t7;
char *t8;
int t9;
unsigned int t10;
unsigned char t11;
char *t12;
char *t13;
char *t14;
char *t15;
unsigned char t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
int64 t22;
char *t23;
char *t24;
char *t25;
char *t26;
char *t27;
LAB0: t7 = (t6 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 7;
t8 = (t7 + 4U);
*((int *)t8) = 0;
t8 = (t7 + 8U);
*((int *)t8) = -1;
t9 = (0 - 7);
t10 = (t9 * -1);
t10 = (t10 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t10;
t8 = (t5 + 4U);
t11 = (t2 != 0);
if (t11 == 1)
goto LAB3;
LAB2: t12 = (t5 + 12U);
*((char **)t12) = t6;
t13 = (t5 + 20U);
*((int *)t13) = t3;
t14 = (t0 + 1832U);
t15 = *((char **)t14);
t14 = (t0 + 8712U);
t16 = ieee_p_3620187407_sub_4042748798_3965413181(IEEE_P_3620187407, t15, t14, t2, t6);
if (t16 != 0)
goto LAB4;
LAB6:
LAB5:
LAB1: return;
LAB3: *((char **)t8) = t2;
goto LAB2;
LAB4: t17 = (t0 + 4584);
t18 = (t17 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
*((unsigned char *)t21) = (unsigned char)3;
xsi_driver_first_trans_delta(t17, 0U, 1, 0LL);
t22 = (1 * 1000LL);
t23 = (t0 + 4584);
t24 = (t23 + 56U);
t25 = *((char **)t24);
t26 = (t25 + 56U);
t27 = *((char **)t26);
*((unsigned char *)t27) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t23, 0U, 1, t22);
t7 = (t0 + 4648);
t14 = (t7 + 56U);
t15 = *((char **)t14);
t17 = (t15 + 56U);
t18 = *((char **)t17);
*((int *)t18) = t3;
xsi_driver_first_trans_fast(t7);
if ((unsigned char)0 == 0)
goto LAB7;
LAB8: goto LAB5;
LAB7: t7 = (t0 + 8769);
xsi_report(t7, 41U, (unsigned char)1);
goto LAB8;
}
static void design_a_2773784971_2730021763_p_0(char *t0)
{
char *t1;
char *t2;
char *t3;
unsigned char t4;
unsigned char t5;
char *t6;
char *t7;
char *t8;
char *t9;
int64 t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
int64 t16;
char *t17;
char *t18;
char *t19;
char *t20;
LAB0: t1 = (t0 + 3632U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(57, ng0);
t2 = (t0 + 1992U);
t3 = *((char **)t2);
t4 = *((unsigned char *)t3);
t5 = (t4 == (unsigned char)0);
if (t5 != 0)
goto LAB4;
LAB6: xsi_set_current_line(62, ng0);
LAB13: *((char **)t1) = &&LAB14;
LAB1: return;
LAB4: xsi_set_current_line(58, ng0);
t2 = (t0 + 4264);
t6 = (t2 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t9 = *((char **)t8);
*((unsigned char *)t9) = (unsigned char)3;
xsi_driver_first_trans_delta(t2, 0U, 1, 0LL);
t10 = (1 * 1000LL);
t11 = (t0 + 4264);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
*((unsigned char *)t15) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t11, 0U, 1, t10);
xsi_set_current_line(59, ng0);
t2 = (t0 + 4328);
t3 = (t2 + 56U);
t6 = *((char **)t3);
t7 = (t6 + 56U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)3;
xsi_driver_first_trans_delta(t2, 0U, 1, 0LL);
t10 = (5 * 1000LL);
t9 = (t0 + 4328);
t11 = (t9 + 56U);
t12 = *((char **)t11);
t13 = (t12 + 56U);
t14 = *((char **)t13);
*((unsigned char *)t14) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t9, 0U, 1, t10);
t16 = (17 * 1000LL);
t15 = (t0 + 4328);
t17 = (t15 + 56U);
t18 = *((char **)t17);
t19 = (t18 + 56U);
t20 = *((char **)t19);
*((unsigned char *)t20) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t15, 0U, 1, t16);
xsi_set_current_line(60, ng0);
t10 = (25 * 1000LL);
t2 = (t0 + 3440);
xsi_process_wait(t2, t10);
LAB9: *((char **)t1) = &&LAB10;
goto LAB1;
LAB5: goto LAB2;
LAB7: goto LAB5;
LAB8: goto LAB7;
LAB10: goto LAB8;
LAB11: goto LAB5;
LAB12: goto LAB11;
LAB14: goto LAB12;
}
static void work_a_0373709625_2372691052_p_3(char *t0)
{
char *t1;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
int64 t10;
int64 t11;
char *t12;
int t13;
unsigned int t14;
unsigned int t15;
unsigned int t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
int64 t24;
int64 t25;
char *t26;
int t27;
unsigned int t28;
unsigned int t29;
unsigned int t30;
char *t31;
char *t32;
char *t33;
char *t34;
char *t35;
char *t36;
char *t37;
int64 t38;
int64 t39;
char *t40;
int t41;
unsigned int t42;
unsigned int t43;
unsigned int t44;
char *t45;
char *t46;
char *t47;
char *t48;
char *t49;
char *t50;
char *t51;
int64 t52;
int64 t53;
char *t55;
char *t56;
char *t57;
char *t58;
char *t59;
char *t60;
char *t61;
int64 t62;
int64 t63;
char *t65;
char *t66;
char *t67;
char *t68;
char *t69;
LAB0: xsi_set_current_line(222, ng0);
LAB3: t1 = (t0 + 14725);
t3 = (t0 + 4508);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = (t5 + 32U);
t7 = *((char **)t6);
memcpy(t7, t1, 8U);
xsi_driver_first_trans_delta(t3, 0U, 8U, 0LL);
t8 = (t0 + 2788U);
t9 = *((char **)t8);
t10 = *((int64 *)t9);
t11 = (t10 * 16);
t8 = (t0 + 2856U);
t12 = *((char **)t8);
t13 = (0 - 0);
t14 = (t13 * 1);
t15 = (8U * t14);
t16 = (0 + t15);
t8 = (t12 + t16);
t17 = (t0 + 4508);
t18 = (t17 + 32U);
t19 = *((char **)t18);
t20 = (t19 + 32U);
t21 = *((char **)t20);
memcpy(t21, t8, 8U);
xsi_driver_subsequent_trans_delta(t17, 0U, 8U, t11);
t22 = (t0 + 2788U);
t23 = *((char **)t22);
t24 = *((int64 *)t23);
t25 = (t24 * 22);
t22 = (t0 + 2856U);
t26 = *((char **)t22);
t27 = (1 - 0);
t28 = (t27 * 1);
t29 = (8U * t28);
t30 = (0 + t29);
t22 = (t26 + t30);
t31 = (t0 + 4508);
t32 = (t31 + 32U);
t33 = *((char **)t32);
t34 = (t33 + 32U);
t35 = *((char **)t34);
memcpy(t35, t22, 8U);
xsi_driver_subsequent_trans_delta(t31, 0U, 8U, t25);
t36 = (t0 + 2788U);
t37 = *((char **)t36);
t38 = *((int64 *)t37);
t39 = (t38 * 27);
t36 = (t0 + 2856U);
t40 = *((char **)t36);
t41 = (2 - 0);
t42 = (t41 * 1);
t43 = (8U * t42);
t44 = (0 + t43);
t36 = (t40 + t44);
t45 = (t0 + 4508);
t46 = (t45 + 32U);
t47 = *((char **)t46);
t48 = (t47 + 32U);
t49 = *((char **)t48);
memcpy(t49, t36, 8U);
xsi_driver_subsequent_trans_delta(t45, 0U, 8U, t39);
t50 = (t0 + 2788U);
t51 = *((char **)t50);
t52 = *((int64 *)t51);
t53 = (t52 * 32);
t50 = (t0 + 14733);
t55 = (t0 + 4508);
t56 = (t55 + 32U);
t57 = *((char **)t56);
t58 = (t57 + 32U);
t59 = *((char **)t58);
memcpy(t59, t50, 8U);
xsi_driver_subsequent_trans_delta(t55, 0U, 8U, t53);
t60 = (t0 + 2788U);
t61 = *((char **)t60);
t62 = *((int64 *)t61);
t63 = (t62 * 37);
t60 = (t0 + 14741);
t65 = (t0 + 4508);
t66 = (t65 + 32U);
t67 = *((char **)t66);
t68 = (t67 + 32U);
t69 = *((char **)t68);
memcpy(t69, t60, 8U);
xsi_driver_subsequent_trans_delta(t65, 0U, 8U, t63);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_0373709625_2372691052_p_4(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
int64 t8;
int64 t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
int64 t16;
int64 t17;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
int64 t24;
int64 t25;
char *t26;
char *t27;
char *t28;
char *t29;
char *t30;
char *t31;
int64 t32;
int64 t33;
char *t34;
char *t35;
char *t36;
char *t37;
char *t38;
char *t39;
int64 t40;
int64 t41;
char *t42;
char *t43;
char *t44;
char *t45;
char *t46;
char *t47;
int64 t48;
int64 t49;
char *t50;
char *t51;
char *t52;
char *t53;
char *t54;
char *t55;
int64 t56;
int64 t57;
char *t58;
char *t59;
char *t60;
char *t61;
char *t62;
char *t63;
int64 t64;
int64 t65;
char *t66;
char *t67;
char *t68;
char *t69;
char *t70;
char *t71;
int64 t72;
int64 t73;
char *t74;
char *t75;
char *t76;
char *t77;
char *t78;
char *t79;
int64 t80;
int64 t81;
char *t82;
char *t83;
char *t84;
char *t85;
char *t86;
char *t87;
int64 t88;
int64 t89;
char *t90;
char *t91;
char *t92;
char *t93;
char *t94;
char *t95;
int64 t96;
int64 t97;
char *t98;
char *t99;
char *t100;
char *t101;
LAB0: xsi_set_current_line(228, ng0);
LAB3: t1 = (t0 + 4544);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 32U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);
t6 = (t0 + 2788U);
t7 = *((char **)t6);
t8 = *((int64 *)t7);
t9 = (t8 * 20);
t6 = (t0 + 4544);
t10 = (t6 + 32U);
t11 = *((char **)t10);
t12 = (t11 + 32U);
t13 = *((char **)t12);
*((unsigned char *)t13) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t6, 0U, 1, t9);
t14 = (t0 + 2788U);
t15 = *((char **)t14);
t16 = *((int64 *)t15);
t17 = (t16 * 21);
t14 = (t0 + 4544);
t18 = (t14 + 32U);
t19 = *((char **)t18);
t20 = (t19 + 32U);
t21 = *((char **)t20);
*((unsigned char *)t21) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t14, 0U, 1, t17);
t22 = (t0 + 2788U);
t23 = *((char **)t22);
t24 = *((int64 *)t23);
t25 = (t24 * 25);
t22 = (t0 + 4544);
t26 = (t22 + 32U);
t27 = *((char **)t26);
t28 = (t27 + 32U);
t29 = *((char **)t28);
*((unsigned char *)t29) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t22, 0U, 1, t25);
t30 = (t0 + 2788U);
t31 = *((char **)t30);
t32 = *((int64 *)t31);
t33 = (t32 * 26);
t30 = (t0 + 4544);
t34 = (t30 + 32U);
t35 = *((char **)t34);
t36 = (t35 + 32U);
t37 = *((char **)t36);
*((unsigned char *)t37) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t30, 0U, 1, t33);
t38 = (t0 + 2788U);
t39 = *((char **)t38);
t40 = *((int64 *)t39);
t41 = (t40 * 30);
t38 = (t0 + 4544);
t42 = (t38 + 32U);
t43 = *((char **)t42);
t44 = (t43 + 32U);
t45 = *((char **)t44);
*((unsigned char *)t45) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t38, 0U, 1, t41);
t46 = (t0 + 2788U);
t47 = *((char **)t46);
t48 = *((int64 *)t47);
t49 = (t48 * 31);
t46 = (t0 + 4544);
t50 = (t46 + 32U);
t51 = *((char **)t50);
t52 = (t51 + 32U);
t53 = *((char **)t52);
*((unsigned char *)t53) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t46, 0U, 1, t49);
t54 = (t0 + 2788U);
t55 = *((char **)t54);
t56 = *((int64 *)t55);
t57 = (t56 * 35);
t54 = (t0 + 4544);
t58 = (t54 + 32U);
t59 = *((char **)t58);
t60 = (t59 + 32U);
t61 = *((char **)t60);
*((unsigned char *)t61) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t54, 0U, 1, t57);
t62 = (t0 + 2788U);
t63 = *((char **)t62);
t64 = *((int64 *)t63);
t65 = (t64 * 36);
t62 = (t0 + 4544);
t66 = (t62 + 32U);
t67 = *((char **)t66);
t68 = (t67 + 32U);
t69 = *((char **)t68);
*((unsigned char *)t69) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t62, 0U, 1, t65);
t70 = (t0 + 2788U);
t71 = *((char **)t70);
t72 = *((int64 *)t71);
t73 = (t72 * 40);
t70 = (t0 + 4544);
t74 = (t70 + 32U);
t75 = *((char **)t74);
t76 = (t75 + 32U);
t77 = *((char **)t76);
*((unsigned char *)t77) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t70, 0U, 1, t73);
t78 = (t0 + 2788U);
t79 = *((char **)t78);
t80 = *((int64 *)t79);
t81 = (t80 * 41);
t78 = (t0 + 4544);
t82 = (t78 + 32U);
t83 = *((char **)t82);
t84 = (t83 + 32U);
t85 = *((char **)t84);
*((unsigned char *)t85) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t78, 0U, 1, t81);
t86 = (t0 + 2788U);
t87 = *((char **)t86);
t88 = *((int64 *)t87);
t89 = (t88 * 45);
t86 = (t0 + 4544);
t90 = (t86 + 32U);
t91 = *((char **)t90);
t92 = (t91 + 32U);
t93 = *((char **)t92);
*((unsigned char *)t93) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t86, 0U, 1, t89);
t94 = (t0 + 2788U);
t95 = *((char **)t94);
t96 = *((int64 *)t95);
t97 = (t96 * 46);
t94 = (t0 + 4544);
t98 = (t94 + 32U);
t99 = *((char **)t98);
t100 = (t99 + 32U);
t101 = *((char **)t100);
*((unsigned char *)t101) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t94, 0U, 1, t97);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void unisim_a_3935320881_1820106778_p_8(char *t0)
{
char *t1;
char *t2;
unsigned char t3;
unsigned char t4;
char *t5;
char *t6;
int64 t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
int64 t14;
char *t15;
int64 t16;
int64 t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0: t1 = (t0 + 6152U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
if (t3 != 0)
goto LAB2;
LAB4:
LAB3: t1 = (t0 + 13120);
*((int *)t1) = 1;
LAB1: return;
LAB2: t1 = (t0 + 2112U);
t4 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t4 != 0)
goto LAB5;
LAB7:
LAB6: goto LAB3;
LAB5: t5 = (t0 + 6312U);
t6 = *((char **)t5);
t7 = *((int64 *)t6);
t5 = (t0 + 14112);
t8 = (t5 + 56U);
t9 = *((char **)t8);
t10 = (t9 + 56U);
t11 = *((char **)t10);
*((unsigned char *)t11) = (unsigned char)3;
xsi_driver_first_trans_delta(t5, 0U, 1, t7);
t12 = (t0 + 6312U);
t13 = *((char **)t12);
t14 = *((int64 *)t13);
t12 = (t0 + 6472U);
t15 = *((char **)t12);
t16 = *((int64 *)t15);
t17 = (t14 + t16);
t12 = (t0 + 14112);
t18 = (t12 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
*((unsigned char *)t21) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t12, 0U, 1, t17);
goto LAB6;
}
static void unisim_a_3935320881_1820106778_p_5(char *t0)
{
char *t1;
unsigned char t2;
unsigned char t3;
unsigned char t4;
char *t5;
char *t6;
unsigned char t7;
unsigned char t8;
char *t9;
int64 t10;
int64 t11;
unsigned char t12;
unsigned char t13;
char *t14;
int64 t15;
char *t16;
char *t17;
char *t18;
char *t19;
int64 t20;
char *t21;
char *t22;
char *t23;
char *t24;
LAB0: t1 = (t0 + 2112U);
t2 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t2 != 0)
goto LAB2;
LAB4:
LAB3: t1 = (t0 + 9184);
*((int *)t1) = 1;
LAB1: return;
LAB2: t5 = (t0 + 3752U);
t6 = *((char **)t5);
t7 = *((unsigned char *)t6);
if (t7 == 1)
goto LAB11;
LAB12: t8 = (!((unsigned char)1));
t4 = t8;
LAB13: if (t4 == 1)
goto LAB8;
LAB9: t3 = (unsigned char)0;
LAB10: if (t3 != 0)
goto LAB5;
LAB7: t1 = (t0 + 9760);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t9 = (t6 + 56U);
t14 = *((char **)t9);
*((unsigned char *)t14) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB6: goto LAB3;
LAB5: t13 = (5 == 1);
if (t13 != 0)
goto LAB14;
LAB16: t1 = (t0 + 3912U);
t5 = *((char **)t1);
t10 = *((int64 *)t5);
t1 = (t0 + 9760);
t6 = (t1 + 56U);
t9 = *((char **)t6);
t14 = (t9 + 56U);
t16 = *((char **)t14);
*((unsigned char *)t16) = (unsigned char)3;
xsi_driver_first_trans_delta(t1, 0U, 1, t10);
t17 = (t0 + 3912U);
t18 = *((char **)t17);
t11 = *((int64 *)t18);
t17 = (t0 + 4072U);
t19 = *((char **)t17);
t15 = *((int64 *)t19);
t20 = (t11 + t15);
t17 = (t0 + 9760);
t21 = (t17 + 56U);
t22 = *((char **)t21);
t23 = (t22 + 56U);
t24 = *((char **)t23);
*((unsigned char *)t24) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t17, 0U, 1, t20);
LAB15: goto LAB6;
LAB8: t5 = (t0 + 3912U);
t9 = *((char **)t5);
t10 = *((int64 *)t9);
t11 = (0 * 1LL);
t12 = (t10 > t11);
t3 = t12;
goto LAB10;
LAB11: t4 = (unsigned char)1;
goto LAB13;
LAB14: t5 = (t0 + 3912U);
t14 = *((char **)t5);
t15 = *((int64 *)t14);
t5 = (t0 + 9760);
t16 = (t5 + 56U);
t17 = *((char **)t16);
t18 = (t17 + 56U);
t19 = *((char **)t18);
*((unsigned char *)t19) = (unsigned char)3;
xsi_driver_first_trans_delta(t5, 0U, 1, t15);
goto LAB15;
}
static void simprim_a_2155285624_1178295121_p_0(char *t0)
{
char *t1;
char *t2;
char *t3;
int64 t4;
int64 t5;
unsigned char t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
LAB0: t1 = (t0 + 2600U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 1328U);
t3 = *((char **)t2);
t4 = *((int64 *)t3);
t5 = (0 * 1000LL);
t6 = (t4 <= t5);
if (t6 != 0)
goto LAB4;
LAB6: t2 = (t0 + 2984);
t3 = (t2 + 56U);
t7 = *((char **)t3);
t8 = (t7 + 56U);
t9 = *((char **)t8);
*((unsigned char *)t9) = (unsigned char)3;
xsi_driver_first_trans_delta(t2, 0U, 1, 0LL);
t10 = (t0 + 1328U);
t11 = *((char **)t10);
t4 = *((int64 *)t11);
t10 = (t0 + 2984);
t12 = (t10 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
*((unsigned char *)t15) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t10, 0U, 1, t4);
LAB5:
LAB9: *((char **)t1) = &&LAB10;
LAB1: return;
LAB4: t2 = (t0 + 2984);
t7 = (t2 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
*((unsigned char *)t10) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t2);
goto LAB5;
LAB7: goto LAB2;
LAB8: goto LAB7;
LAB10: goto LAB8;
}
static void simprim_a_4181367278_3380326129_p_0(char *t0)
{
char *t1;
char *t2;
char *t3;
int64 t4;
int64 t5;
unsigned char t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
LAB0: t1 = (t0 + 2600U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 1328U);
t3 = *((char **)t2);
t4 = *((int64 *)t3);
t5 = (0 * 1000LL);
t6 = (t4 <= t5);
if (t6 != 0)
goto LAB4;
LAB6: t2 = (t0 + 2984);
t3 = (t2 + 56U);
t7 = *((char **)t3);
t8 = (t7 + 56U);
t9 = *((char **)t8);
*((unsigned char *)t9) = (unsigned char)3;
xsi_driver_first_trans_delta(t2, 0U, 1, 0LL);
t10 = (t0 + 1328U);
t11 = *((char **)t10);
t4 = *((int64 *)t11);
t10 = (t0 + 2984);
t12 = (t10 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
*((unsigned char *)t15) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t10, 0U, 1, t4);
LAB5:
LAB11: *((char **)t1) = &&LAB12;
LAB1: return;
LAB4: if ((unsigned char)0 == 0)
goto LAB7;
LAB8: goto LAB5;
LAB7: t2 = (t0 + 4740);
xsi_report(t2, 58U, (unsigned char)3);
goto LAB8;
LAB9: goto LAB2;
LAB10: goto LAB9;
LAB12: goto LAB10;
}
void design_a_2773784971_2730021763_sub_2883086054_1881409087(char *t0, char *t1, unsigned char t2, int t3)
{
char t5[16];
char *t6;
char *t7;
char *t8;
char *t9;
unsigned char t10;
unsigned char t11;
char *t12;
char *t13;
char *t14;
char *t15;
int64 t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0: t6 = (t5 + 4U);
*((unsigned char *)t6) = t2;
t7 = (t5 + 5U);
*((int *)t7) = t3;
t8 = (t0 + 1032U);
t9 = *((char **)t8);
t10 = *((unsigned char *)t9);
t11 = (t10 != t2);
if (t11 != 0)
goto LAB2;
LAB4:
LAB3:
LAB1: return;
LAB2: t8 = (t0 + 4584);
t12 = (t8 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
*((unsigned char *)t15) = (unsigned char)3;
xsi_driver_first_trans_delta(t8, 0U, 1, 0LL);
t16 = (1 * 1000LL);
t17 = (t0 + 4584);
t18 = (t17 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
*((unsigned char *)t21) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t17, 0U, 1, t16);
t8 = (t0 + 4648);
t9 = (t8 + 56U);
t12 = *((char **)t9);
t13 = (t12 + 56U);
t14 = *((char **)t13);
*((int *)t14) = t3;
xsi_driver_first_trans_fast(t8);
if ((unsigned char)0 == 0)
goto LAB5;
LAB6: goto LAB3;
LAB5: t8 = (t0 + 8810);
xsi_report(t8, 41U, (unsigned char)1);
goto LAB6;
}
static void work_a_3362471586_2372691052_p_2(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
int64 t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
int64 t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
int64 t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
int64 t24;
char *t25;
char *t26;
char *t27;
char *t28;
char *t29;
LAB0: xsi_set_current_line(262, ng0);
LAB3: t1 = (t0 + 7720);
t2 = (t1 + 56U);
t3 = *((char **)t2);
t4 = (t3 + 56U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);
t6 = (90 * 1000LL);
t7 = (t0 + 7720);
t8 = (t7 + 56U);
t9 = *((char **)t8);
t10 = (t9 + 56U);
t11 = *((char **)t10);
*((unsigned char *)t11) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t7, 0U, 1, t6);
t12 = (880 * 1000LL);
t13 = (t0 + 7720);
t14 = (t13 + 56U);
t15 = *((char **)t14);
t16 = (t15 + 56U);
t17 = *((char **)t16);
*((unsigned char *)t17) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t13, 0U, 1, t12);
t18 = (1530 * 1000LL);
t19 = (t0 + 7720);
t20 = (t19 + 56U);
t21 = *((char **)t20);
t22 = (t21 + 56U);
t23 = *((char **)t22);
*((unsigned char *)t23) = (unsigned char)3;
xsi_driver_subsequent_trans_delta(t19, 0U, 1, t18);
t24 = (1920 * 1000LL);
t25 = (t0 + 7720);
t26 = (t25 + 56U);
t27 = *((char **)t26);
t28 = (t27 + 56U);
t29 = *((char **)t28);
*((unsigned char *)t29) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t25, 0U, 1, t24);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_0222994288_3212880686_p_3(char *t0)
{
char *t1;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
int64 t8;
char *t9;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
int64 t16;
char *t17;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
int64 t24;
char *t25;
char *t27;
char *t28;
char *t29;
char *t30;
char *t31;
int64 t32;
char *t33;
char *t35;
char *t36;
char *t37;
char *t38;
char *t39;
int64 t40;
char *t41;
char *t43;
char *t44;
char *t45;
char *t46;
char *t47;
int64 t48;
char *t49;
char *t51;
char *t52;
char *t53;
char *t54;
char *t55;
int64 t56;
char *t57;
char *t59;
char *t60;
char *t61;
char *t62;
char *t63;
int64 t64;
char *t65;
char *t67;
char *t68;
char *t69;
char *t70;
char *t71;
int64 t72;
char *t73;
char *t75;
char *t76;
char *t77;
char *t78;
char *t79;
int64 t80;
char *t81;
char *t83;
char *t84;
char *t85;
char *t86;
char *t87;
int64 t88;
char *t89;
char *t91;
char *t92;
char *t93;
char *t94;
char *t95;
int64 t96;
char *t97;
char *t99;
char *t100;
char *t101;
char *t102;
char *t103;
int64 t104;
char *t105;
char *t107;
char *t108;
char *t109;
char *t110;
char *t111;
int64 t112;
char *t113;
char *t115;
char *t116;
char *t117;
char *t118;
char *t119;
int64 t120;
char *t121;
char *t123;
char *t124;
char *t125;
char *t126;
char *t127;
int64 t128;
char *t129;
char *t131;
char *t132;
char *t133;
char *t134;
char *t135;
int64 t136;
char *t137;
char *t139;
char *t140;
char *t141;
char *t142;
char *t143;
int64 t144;
char *t145;
char *t147;
char *t148;
char *t149;
char *t150;
char *t151;
int64 t152;
char *t153;
char *t155;
char *t156;
char *t157;
char *t158;
char *t159;
int64 t160;
char *t161;
char *t163;
char *t164;
char *t165;
char *t166;
char *t167;
int64 t168;
char *t169;
char *t171;
char *t172;
char *t173;
char *t174;
char *t175;
int64 t176;
char *t177;
char *t179;
char *t180;
char *t181;
char *t182;
char *t183;
int64 t184;
char *t185;
char *t187;
char *t188;
char *t189;
char *t190;
char *t191;
int64 t192;
char *t193;
char *t195;
char *t196;
char *t197;
char *t198;
char *t199;
int64 t200;
char *t201;
char *t203;
char *t204;
char *t205;
char *t206;
char *t207;
int64 t208;
char *t209;
char *t211;
char *t212;
char *t213;
char *t214;
char *t215;
int64 t216;
char *t217;
char *t219;
char *t220;
char *t221;
char *t222;
char *t223;
int64 t224;
char *t225;
char *t227;
char *t228;
char *t229;
char *t230;
char *t231;
int64 t232;
char *t233;
char *t235;
char *t236;
char *t237;
char *t238;
char *t239;
int64 t240;
char *t241;
char *t243;
char *t244;
char *t245;
char *t246;
char *t247;
LAB0: xsi_set_current_line(78, ng0);
LAB3: t1 = (t0 + 7479);
t3 = (t0 + 4792);
t4 = (t3 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t1, 4U);
xsi_driver_first_trans_delta(t3, 0U, 4U, 0LL);
t8 = (50 * 1000LL);
t9 = (t0 + 7483);
t11 = (t0 + 4792);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
memcpy(t15, t9, 4U);
xsi_driver_subsequent_trans_delta(t11, 0U, 4U, t8);
t16 = (70 * 1000LL);
t17 = (t0 + 7487);
t19 = (t0 + 4792);
t20 = (t19 + 56U);
t21 = *((char **)t20);
t22 = (t21 + 56U);
t23 = *((char **)t22);
memcpy(t23, t17, 4U);
xsi_driver_subsequent_trans_delta(t19, 0U, 4U, t16);
t24 = (90 * 1000LL);
t25 = (t0 + 7491);
t27 = (t0 + 4792);
t28 = (t27 + 56U);
t29 = *((char **)t28);
t30 = (t29 + 56U);
t31 = *((char **)t30);
memcpy(t31, t25, 4U);
xsi_driver_subsequent_trans_delta(t27, 0U, 4U, t24);
t32 = (110 * 1000LL);
t33 = (t0 + 7495);
t35 = (t0 + 4792);
t36 = (t35 + 56U);
t37 = *((char **)t36);
t38 = (t37 + 56U);
t39 = *((char **)t38);
memcpy(t39, t33, 4U);
xsi_driver_subsequent_trans_delta(t35, 0U, 4U, t32);
t40 = (130 * 1000LL);
t41 = (t0 + 7499);
t43 = (t0 + 4792);
t44 = (t43 + 56U);
t45 = *((char **)t44);
t46 = (t45 + 56U);
t47 = *((char **)t46);
memcpy(t47, t41, 4U);
xsi_driver_subsequent_trans_delta(t43, 0U, 4U, t40);
t48 = (150 * 1000LL);
t49 = (t0 + 7503);
t51 = (t0 + 4792);
t52 = (t51 + 56U);
t53 = *((char **)t52);
t54 = (t53 + 56U);
t55 = *((char **)t54);
memcpy(t55, t49, 4U);
xsi_driver_subsequent_trans_delta(t51, 0U, 4U, t48);
t56 = (170 * 1000LL);
t57 = (t0 + 7507);
t59 = (t0 + 4792);
t60 = (t59 + 56U);
t61 = *((char **)t60);
t62 = (t61 + 56U);
t63 = *((char **)t62);
memcpy(t63, t57, 4U);
xsi_driver_subsequent_trans_delta(t59, 0U, 4U, t56);
t64 = (190 * 1000LL);
t65 = (t0 + 7511);
t67 = (t0 + 4792);
t68 = (t67 + 56U);
t69 = *((char **)t68);
t70 = (t69 + 56U);
t71 = *((char **)t70);
memcpy(t71, t65, 4U);
xsi_driver_subsequent_trans_delta(t67, 0U, 4U, t64);
t72 = (210 * 1000LL);
t73 = (t0 + 7515);
t75 = (t0 + 4792);
t76 = (t75 + 56U);
t77 = *((char **)t76);
t78 = (t77 + 56U);
t79 = *((char **)t78);
memcpy(t79, t73, 4U);
xsi_driver_subsequent_trans_delta(t75, 0U, 4U, t72);
t80 = (230 * 1000LL);
t81 = (t0 + 7519);
t83 = (t0 + 4792);
t84 = (t83 + 56U);
t85 = *((char **)t84);
t86 = (t85 + 56U);
t87 = *((char **)t86);
memcpy(t87, t81, 4U);
xsi_driver_subsequent_trans_delta(t83, 0U, 4U, t80);
t88 = (250 * 1000LL);
t89 = (t0 + 7523);
t91 = (t0 + 4792);
t92 = (t91 + 56U);
t93 = *((char **)t92);
t94 = (t93 + 56U);
t95 = *((char **)t94);
memcpy(t95, t89, 4U);
xsi_driver_subsequent_trans_delta(t91, 0U, 4U, t88);
t96 = (270 * 1000LL);
t97 = (t0 + 7527);
t99 = (t0 + 4792);
t100 = (t99 + 56U);
t101 = *((char **)t100);
t102 = (t101 + 56U);
t103 = *((char **)t102);
memcpy(t103, t97, 4U);
xsi_driver_subsequent_trans_delta(t99, 0U, 4U, t96);
t104 = (290 * 1000LL);
t105 = (t0 + 7531);
t107 = (t0 + 4792);
t108 = (t107 + 56U);
t109 = *((char **)t108);
t110 = (t109 + 56U);
t111 = *((char **)t110);
memcpy(t111, t105, 4U);
xsi_driver_subsequent_trans_delta(t107, 0U, 4U, t104);
t112 = (310 * 1000LL);
t113 = (t0 + 7535);
t115 = (t0 + 4792);
t116 = (t115 + 56U);
t117 = *((char **)t116);
t118 = (t117 + 56U);
t119 = *((char **)t118);
memcpy(t119, t113, 4U);
xsi_driver_subsequent_trans_delta(t115, 0U, 4U, t112);
t120 = (330 * 1000LL);
t121 = (t0 + 7539);
t123 = (t0 + 4792);
t124 = (t123 + 56U);
t125 = *((char **)t124);
t126 = (t125 + 56U);
t127 = *((char **)t126);
memcpy(t127, t121, 4U);
xsi_driver_subsequent_trans_delta(t123, 0U, 4U, t120);
t128 = (350 * 1000LL);
t129 = (t0 + 7543);
t131 = (t0 + 4792);
t132 = (t131 + 56U);
t133 = *((char **)t132);
t134 = (t133 + 56U);
t135 = *((char **)t134);
memcpy(t135, t129, 4U);
xsi_driver_subsequent_trans_delta(t131, 0U, 4U, t128);
t136 = (370 * 1000LL);
t137 = (t0 + 7547);
t139 = (t0 + 4792);
t140 = (t139 + 56U);
t141 = *((char **)t140);
t142 = (t141 + 56U);
t143 = *((char **)t142);
memcpy(t143, t137, 4U);
xsi_driver_subsequent_trans_delta(t139, 0U, 4U, t136);
t144 = (390 * 1000LL);
t145 = (t0 + 7551);
t147 = (t0 + 4792);
t148 = (t147 + 56U);
t149 = *((char **)t148);
t150 = (t149 + 56U);
t151 = *((char **)t150);
memcpy(t151, t145, 4U);
xsi_driver_subsequent_trans_delta(t147, 0U, 4U, t144);
t152 = (410 * 1000LL);
t153 = (t0 + 7555);
t155 = (t0 + 4792);
t156 = (t155 + 56U);
t157 = *((char **)t156);
t158 = (t157 + 56U);
t159 = *((char **)t158);
memcpy(t159, t153, 4U);
xsi_driver_subsequent_trans_delta(t155, 0U, 4U, t152);
t160 = (430 * 1000LL);
t161 = (t0 + 7559);
t163 = (t0 + 4792);
t164 = (t163 + 56U);
t165 = *((char **)t164);
t166 = (t165 + 56U);
t167 = *((char **)t166);
memcpy(t167, t161, 4U);
xsi_driver_subsequent_trans_delta(t163, 0U, 4U, t160);
t168 = (450 * 1000LL);
t169 = (t0 + 7563);
t171 = (t0 + 4792);
t172 = (t171 + 56U);
t173 = *((char **)t172);
t174 = (t173 + 56U);
t175 = *((char **)t174);
memcpy(t175, t169, 4U);
xsi_driver_subsequent_trans_delta(t171, 0U, 4U, t168);
t176 = (470 * 1000LL);
t177 = (t0 + 7567);
t179 = (t0 + 4792);
t180 = (t179 + 56U);
t181 = *((char **)t180);
t182 = (t181 + 56U);
t183 = *((char **)t182);
memcpy(t183, t177, 4U);
xsi_driver_subsequent_trans_delta(t179, 0U, 4U, t176);
t184 = (490 * 1000LL);
t185 = (t0 + 7571);
t187 = (t0 + 4792);
t188 = (t187 + 56U);
t189 = *((char **)t188);
t190 = (t189 + 56U);
t191 = *((char **)t190);
memcpy(t191, t185, 4U);
xsi_driver_subsequent_trans_delta(t187, 0U, 4U, t184);
t192 = (510 * 1000LL);
t193 = (t0 + 7575);
t195 = (t0 + 4792);
t196 = (t195 + 56U);
t197 = *((char **)t196);
t198 = (t197 + 56U);
t199 = *((char **)t198);
memcpy(t199, t193, 4U);
xsi_driver_subsequent_trans_delta(t195, 0U, 4U, t192);
t200 = (530 * 1000LL);
t201 = (t0 + 7579);
t203 = (t0 + 4792);
t204 = (t203 + 56U);
t205 = *((char **)t204);
t206 = (t205 + 56U);
t207 = *((char **)t206);
memcpy(t207, t201, 4U);
xsi_driver_subsequent_trans_delta(t203, 0U, 4U, t200);
t208 = (550 * 1000LL);
t209 = (t0 + 7583);
t211 = (t0 + 4792);
t212 = (t211 + 56U);
t213 = *((char **)t212);
t214 = (t213 + 56U);
t215 = *((char **)t214);
memcpy(t215, t209, 4U);
xsi_driver_subsequent_trans_delta(t211, 0U, 4U, t208);
t216 = (570 * 1000LL);
t217 = (t0 + 7587);
t219 = (t0 + 4792);
t220 = (t219 + 56U);
t221 = *((char **)t220);
t222 = (t221 + 56U);
t223 = *((char **)t222);
memcpy(t223, t217, 4U);
xsi_driver_subsequent_trans_delta(t219, 0U, 4U, t216);
t224 = (590 * 1000LL);
t225 = (t0 + 7591);
t227 = (t0 + 4792);
t228 = (t227 + 56U);
t229 = *((char **)t228);
t230 = (t229 + 56U);
t231 = *((char **)t230);
memcpy(t231, t225, 4U);
xsi_driver_subsequent_trans_delta(t227, 0U, 4U, t224);
t232 = (610 * 1000LL);
t233 = (t0 + 7595);
t235 = (t0 + 4792);
t236 = (t235 + 56U);
t237 = *((char **)t236);
t238 = (t237 + 56U);
t239 = *((char **)t238);
memcpy(t239, t233, 4U);
xsi_driver_subsequent_trans_delta(t235, 0U, 4U, t232);
t240 = (630 * 1000LL);
t241 = (t0 + 7599);
t243 = (t0 + 4792);
t244 = (t243 + 56U);
t245 = *((char **)t244);
t246 = (t245 + 56U);
t247 = *((char **)t246);
memcpy(t247, t241, 4U);
xsi_driver_subsequent_trans_delta(t243, 0U, 4U, t240);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_3362471586_2372691052_p_5(char *t0)
{
char *t1;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
int64 t8;
char *t9;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
int64 t16;
char *t17;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
int64 t24;
char *t25;
char *t27;
char *t28;
char *t29;
char *t30;
char *t31;
int64 t32;
char *t33;
char *t35;
char *t36;
char *t37;
char *t38;
char *t39;
int64 t40;
char *t41;
char *t43;
char *t44;
char *t45;
char *t46;
char *t47;
int64 t48;
char *t49;
char *t51;
char *t52;
char *t53;
char *t54;
char *t55;
int64 t56;
char *t57;
char *t59;
char *t60;
char *t61;
char *t62;
char *t63;
int64 t64;
char *t65;
char *t67;
char *t68;
char *t69;
char *t70;
char *t71;
int64 t72;
char *t73;
char *t75;
char *t76;
char *t77;
char *t78;
char *t79;
int64 t80;
char *t81;
char *t83;
char *t84;
char *t85;
char *t86;
char *t87;
int64 t88;
char *t89;
char *t91;
char *t92;
char *t93;
char *t94;
char *t95;
int64 t96;
char *t97;
char *t99;
char *t100;
char *t101;
char *t102;
char *t103;
int64 t104;
char *t105;
char *t107;
char *t108;
char *t109;
char *t110;
char *t111;
int64 t112;
char *t113;
char *t115;
char *t116;
char *t117;
char *t118;
char *t119;
int64 t120;
char *t121;
char *t123;
char *t124;
char *t125;
char *t126;
char *t127;
int64 t128;
char *t129;
char *t131;
char *t132;
char *t133;
char *t134;
char *t135;
LAB0: xsi_set_current_line(288, ng0);
LAB3: t1 = (t0 + 12971);
t3 = (t0 + 7912);
t4 = (t3 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t1, 8U);
xsi_driver_first_trans_delta(t3, 0U, 8U, 0LL);
t8 = (800 * 1000LL);
t9 = (t0 + 12979);
t11 = (t0 + 7912);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
memcpy(t15, t9, 8U);
xsi_driver_subsequent_trans_delta(t11, 0U, 8U, t8);
t16 = (880 * 1000LL);
t17 = (t0 + 12987);
t19 = (t0 + 7912);
t20 = (t19 + 56U);
t21 = *((char **)t20);
t22 = (t21 + 56U);
t23 = *((char **)t22);
memcpy(t23, t17, 8U);
xsi_driver_subsequent_trans_delta(t19, 0U, 8U, t16);
t24 = (960 * 1000LL);
t25 = (t0 + 12995);
t27 = (t0 + 7912);
t28 = (t27 + 56U);
t29 = *((char **)t28);
t30 = (t29 + 56U);
t31 = *((char **)t30);
memcpy(t31, t25, 8U);
xsi_driver_subsequent_trans_delta(t27, 0U, 8U, t24);
t32 = (1040 * 1000LL);
t33 = (t0 + 13003);
t35 = (t0 + 7912);
t36 = (t35 + 56U);
t37 = *((char **)t36);
t38 = (t37 + 56U);
t39 = *((char **)t38);
memcpy(t39, t33, 8U);
xsi_driver_subsequent_trans_delta(t35, 0U, 8U, t32);
t40 = (1120 * 1000LL);
t41 = (t0 + 13011);
t43 = (t0 + 7912);
t44 = (t43 + 56U);
t45 = *((char **)t44);
t46 = (t45 + 56U);
t47 = *((char **)t46);
memcpy(t47, t41, 8U);
xsi_driver_subsequent_trans_delta(t43, 0U, 8U, t40);
t48 = (1200 * 1000LL);
t49 = (t0 + 13019);
t51 = (t0 + 7912);
t52 = (t51 + 56U);
t53 = *((char **)t52);
t54 = (t53 + 56U);
t55 = *((char **)t54);
memcpy(t55, t49, 8U);
xsi_driver_subsequent_trans_delta(t51, 0U, 8U, t48);
t56 = (1280 * 1000LL);
t57 = (t0 + 13027);
t59 = (t0 + 7912);
t60 = (t59 + 56U);
t61 = *((char **)t60);
t62 = (t61 + 56U);
t63 = *((char **)t62);
memcpy(t63, t57, 8U);
xsi_driver_subsequent_trans_delta(t59, 0U, 8U, t56);
t64 = (1360 * 1000LL);
t65 = (t0 + 13035);
t67 = (t0 + 7912);
t68 = (t67 + 56U);
t69 = *((char **)t68);
t70 = (t69 + 56U);
t71 = *((char **)t70);
memcpy(t71, t65, 8U);
xsi_driver_subsequent_trans_delta(t67, 0U, 8U, t64);
t72 = (1840 * 1000LL);
t73 = (t0 + 13043);
t75 = (t0 + 7912);
t76 = (t75 + 56U);
t77 = *((char **)t76);
t78 = (t77 + 56U);
t79 = *((char **)t78);
memcpy(t79, t73, 8U);
xsi_driver_subsequent_trans_delta(t75, 0U, 8U, t72);
t80 = (1920 * 1000LL);
t81 = (t0 + 13051);
t83 = (t0 + 7912);
t84 = (t83 + 56U);
t85 = *((char **)t84);
t86 = (t85 + 56U);
t87 = *((char **)t86);
memcpy(t87, t81, 8U);
xsi_driver_subsequent_trans_delta(t83, 0U, 8U, t80);
t88 = (2000 * 1000LL);
t89 = (t0 + 13059);
t91 = (t0 + 7912);
t92 = (t91 + 56U);
t93 = *((char **)t92);
t94 = (t93 + 56U);
t95 = *((char **)t94);
memcpy(t95, t89, 8U);
xsi_driver_subsequent_trans_delta(t91, 0U, 8U, t88);
t96 = (2080 * 1000LL);
t97 = (t0 + 13067);
t99 = (t0 + 7912);
t100 = (t99 + 56U);
t101 = *((char **)t100);
t102 = (t101 + 56U);
t103 = *((char **)t102);
memcpy(t103, t97, 8U);
xsi_driver_subsequent_trans_delta(t99, 0U, 8U, t96);
t104 = (2160 * 1000LL);
t105 = (t0 + 13075);
t107 = (t0 + 7912);
t108 = (t107 + 56U);
t109 = *((char **)t108);
t110 = (t109 + 56U);
t111 = *((char **)t110);
memcpy(t111, t105, 8U);
xsi_driver_subsequent_trans_delta(t107, 0U, 8U, t104);
t112 = (2240 * 1000LL);
t113 = (t0 + 13083);
t115 = (t0 + 7912);
t116 = (t115 + 56U);
t117 = *((char **)t116);
t118 = (t117 + 56U);
t119 = *((char **)t118);
memcpy(t119, t113, 8U);
xsi_driver_subsequent_trans_delta(t115, 0U, 8U, t112);
t120 = (2320 * 1000LL);
t121 = (t0 + 13091);
t123 = (t0 + 7912);
t124 = (t123 + 56U);
t125 = *((char **)t124);
t126 = (t125 + 56U);
t127 = *((char **)t126);
memcpy(t127, t121, 8U);
xsi_driver_subsequent_trans_delta(t123, 0U, 8U, t120);
t128 = (2400 * 1000LL);
t129 = (t0 + 13099);
t131 = (t0 + 7912);
t132 = (t131 + 56U);
t133 = *((char **)t132);
t134 = (t133 + 56U);
t135 = *((char **)t134);
memcpy(t135, t129, 8U);
xsi_driver_subsequent_trans_delta(t131, 0U, 8U, t128);
LAB2:
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_0165369000_3212880686_p_1(char *t0)
{
char *t1;
char *t2;
int64 t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
int64 t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
LAB0: t1 = (t0 + 1948U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(66, ng0);
t3 = (25 * 1000LL);
t2 = (t0 + 2224);
t4 = (t2 + 32U);
t5 = *((char **)t4);
t6 = (t5 + 40U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_delta(t2, 0U, 1, t3);
t8 = (t0 + 2224);
xsi_driver_intertial_reject(t8, t3, t3);
xsi_set_current_line(68, ng0);
t3 = (75 * 1000LL);
t2 = (t0 + 2260);
t4 = (t2 + 32U);
t5 = *((char **)t4);
t6 = (t5 + 40U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_delta(t2, 0U, 1, t3);
t8 = (t0 + 2260);
xsi_driver_intertial_reject(t8, t3, t3);
xsi_set_current_line(70, ng0);
t3 = (400 * 1000LL);
t2 = (t0 + 2296);
t4 = (t2 + 32U);
t5 = *((char **)t4);
t6 = (t5 + 40U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_delta(t2, 0U, 1, t3);
t9 = (450 * 1000LL);
t8 = (t0 + 2296);
t10 = (t8 + 32U);
t11 = *((char **)t10);
t12 = (t11 + 40U);
t13 = *((char **)t12);
*((unsigned char *)t13) = (unsigned char)2;
xsi_driver_subsequent_trans_delta(t8, 0U, 1, t9);
t14 = (t0 + 2296);
xsi_driver_intertial_reject(t14, t3, t3);
xsi_set_current_line(75, ng0);
t3 = (1000 * 1000LL);
t2 = (t0 + 1848);
xsi_process_wait(t2, t3);
LAB6: *((char **)t1) = &&LAB7;
LAB1: return;
LAB4: xsi_set_current_line(77, ng0);
if ((unsigned char)0 == 0)
goto LAB8;
LAB9: goto LAB2;
LAB5: goto LAB4;
LAB7: goto LAB5;
LAB8: t2 = (t0 + 4327);
xsi_report(t2, 22U, (unsigned char)3);
goto LAB9;
}
