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