m_00000000002202229016_3649235597.c

verilog code for 3 bit sequence detector

    t10 = *((unsigned int *)t7);
    t11 = (t10 >> 2);
    *((unsigned int *)t5) = t11;
    t12 = *((unsigned int *)t6);
    *((unsigned int *)t6) = (t12 & 7U);
    t13 = *((unsigned int *)t5);
    *((unsigned int *)t5) = (t13 & 7U);
    t14 = (t0 + 1144);
    xsi_vlogvar_assign_value(t14, t6, 0, 0, 3);
    xsi_set_current_line(65, ng1);
    t2 = (t0 + 1144);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = (t0 + 652U);
    t7 = *((char **)t5);
    memset(t6, 0, 8);
    t5 = (t6 + 4U);
    t14 = (t4 + 4U);
    t15 = (t7 + 4U);
    t8 = *((unsigned int *)t4);
    t9 = *((unsigned int *)t7);
    t10 = (t8 ^ t9);
    t11 = *((unsigned int *)t14);
    t12 = *((unsigned int *)t15);
    t13 = (t11 ^ t12);
    t16 = (t10 | t13);
    t17 = *((unsigned int *)t14);
    t18 = *((unsigned int *)t15);
    t19 = (t17 | t18);
    t20 = (~(t19));
    t21 = (t16 & t20);
    if (t21 != 0)
        goto LAB31;

LAB28:    if (t19 != 0)
        goto LAB30;

LAB29:    *((unsigned int *)t6) = 1;

LAB31:    t22 = (t6 + 4U);
    t23 = *((unsigned int *)t22);
    t24 = (~(t23));
    t25 = *((unsigned int *)t6);
    t26 = (t25 & t24);
    t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB32;

LAB33:
LAB34:    xsi_set_current_line(67, ng1);
    t2 = (t0 + 1328);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    memset(t6, 0, 8);
    t5 = (t6 + 4U);
    t7 = (t4 + 4U);
    t8 = *((unsigned int *)t4);
    t9 = (t8 >> 1);
    *((unsigned int *)t6) = t9;
    t10 = *((unsigned int *)t7);
    t11 = (t10 >> 1);
    *((unsigned int *)t5) = t11;
    t12 = *((unsigned int *)t6);
    *((unsigned int *)t6) = (t12 & 7U);
    t13 = *((unsigned int *)t5);
    *((unsigned int *)t5) = (t13 & 7U);
    t14 = (t0 + 1144);
    xsi_vlogvar_assign_value(t14, t6, 0, 0, 3);
    xsi_set_current_line(68, ng1);
    t2 = (t0 + 1144);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = (t0 + 652U);
    t7 = *((char **)t5);
    memset(t6, 0, 8);
    t5 = (t6 + 4U);
    t14 = (t4 + 4U);
    t15 = (t7 + 4U);
    t8 = *((unsigned int *)t4);
    t9 = *((unsigned int *)t7);
    t10 = (t8 ^ t9);
    t11 = *((unsigned int *)t14);
    t12 = *((unsigned int *)t15);
    t13 = (t11 ^ t12);
    t16 = (t10 | t13);
    t17 = *((unsigned int *)t14);
    t18 = *((unsigned int *)t15);
    t19 = (t17 | t18);
    t20 = (~(t19));
    t21 = (t16 & t20);
    if (t21 != 0)
        goto LAB38;

LAB35:    if (t19 != 0)
        goto LAB37;

LAB36:    *((unsigned int *)t6) = 1;

LAB38:    t22 = (t6 + 4U);
    t23 = *((unsigned int *)t22);
    t24 = (~(t23));
    t25 = *((unsigned int *)t6);
    t26 = (t25 & t24);
    t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB39;

LAB40:
LAB41:    xsi_set_current_line(71, ng1);
    t2 = (t0 + 1328);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    memset(t6, 0, 8);
    t5 = (t6 + 4U);
    t7 = (t4 + 4U);
    t8 = *((unsigned int *)t4);
    t9 = (t8 >> 0);
    *((unsigned int *)t6) = t9;
    t10 = *((unsigned int *)t7);
    t11 = (t10 >> 0);
    *((unsigned int *)t5) = t11;
    t12 = *((unsigned int *)t6);
    *((unsigned int *)t6) = (t12 & 7U);
    t13 = *((unsigned int *)t5);
    *((unsigned int *)t5) = (t13 & 7U);
    t14 = (t0 + 1144);
    xsi_vlogvar_assign_value(t14, t6, 0, 0, 3);
    xsi_set_current_line(72, ng1);
    t2 = (t0 + 1144);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = (t0 + 652U);
    t7 = *((char **)t5);
    memset(t6, 0, 8);
    t5 = (t6 + 4U);
    t14 = (t4 + 4U);
    t15 = (t7 + 4U);
    t8 = *((unsigned int *)t4);
    t9 = *((unsigned int *)t7);
    t10 = (t8 ^ t9);
    t11 = *((unsigned int *)t14);
    t12 = *((unsigned int *)t15);
    t13 = (t11 ^ t12);
    t16 = (t10 | t13);
    t17 = *((unsigned int *)t14);
    t18 = *((unsigned int *)t15);
    t19 = (t17 | t18);
    t20 = (~(t19));
    t21 = (t16 & t20);
    if (t21 != 0)
        goto LAB45;

LAB42:    if (t19 != 0)
        goto LAB44;

LAB43:    *((unsigned int *)t6) = 1;

LAB45:    t22 = (t6 + 4U);
    t23 = *((unsigned int *)t22);
    t24 = (~(t23));
    t25 = *((unsigned int *)t6);
    t26 = (t25 & t24);
    t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB46;

LAB47:
LAB48:    goto LAB2;

LAB9:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t5) = 1;
    goto LAB10;

LAB11:    xsi_set_current_line(57, ng1);
    t28 = (t0 + 1236);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng2)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1236);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB13;

LAB16:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t5) = 1;
    goto LAB17;

LAB18:    xsi_set_current_line(60, ng1);
    t28 = (t0 + 1236);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng2)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1236);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB20;

LAB23:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t5) = 1;
    goto LAB24;

LAB25:    xsi_set_current_line(63, ng1);
    t28 = (t0 + 1236);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng2)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1236);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB27;

LAB30:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t5) = 1;
    goto LAB31;

LAB32:    xsi_set_current_line(66, ng1);
    t28 = (t0 + 1236);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng2)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1236);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB34;

LAB37:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t5) = 1;
    goto LAB38;

LAB39:    xsi_set_current_line(69, ng1);
    t28 = (t0 + 1236);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng2)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1236);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB41;

LAB44:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t5) = 1;
    goto LAB45;

LAB46:    xsi_set_current_line(73, ng1);
    t28 = (t0 + 1236);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng2)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1236);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB48;

}

static void A86_3(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    int t8;
    char *t9;
    char *t10;

LAB0:    t1 = (t0 + 2188U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(86, ng1);
    t2 = (t0 + 2384);
    *((int *)t2) = 1;
    t3 = (t0 + 2216);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(87, ng1);
    t4 = (t0 + 1236);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);

LAB5:    t7 = ((char*)((ng3)));
    t8 = xsi_vlog_unsigned_case_compare(t6, 2, t7, 2);
    if (t8 == 1)
        goto LAB6;

LAB7:    t2 = ((char*)((ng4)));
    t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
    if (t8 == 1)
        goto LAB8;

LAB9:    t2 = ((char*)((ng6)));
    t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
    if (t8 == 1)
        goto LAB10;

LAB11:    t2 = ((char*)((ng8)));
    t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
    if (t8 == 1)
        goto LAB12;

LAB13:
LAB15:
LAB14:    xsi_set_current_line(100, ng1);

LAB21:    xsi_set_current_line(101, ng1);
    t2 = ((char*)((ng3)));
    t3 = (t0 + 1052);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 7);

LAB16:    goto LAB2;

LAB6:    xsi_set_current_line(88, ng1);

LAB17:    xsi_set_current_line(89, ng1);
    t9 = ((char*)((ng4)));
    t10 = (t0 + 1052);
    xsi_vlogvar_assign_value(t10, t9, 0, 0, 7);
    goto LAB16;

LAB8:    xsi_set_current_line(91, ng1);

LAB18:    xsi_set_current_line(92, ng1);
    t3 = ((char*)((ng5)));
    t4 = (t0 + 1052);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
    goto LAB16;

LAB10:    xsi_set_current_line(94, ng1);

LAB19:    xsi_set_current_line(95, ng1);
    t3 = ((char*)((ng7)));
    t4 = (t0 + 1052);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
    goto LAB16;

LAB12:    xsi_set_current_line(97, ng1);

LAB20:    xsi_set_current_line(98, ng1);
    t3 = ((char*)((ng9)));
    t4 = (t0 + 1052);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
    goto LAB16;

}


extern void work_m_00000000002202229016_3649235597_init()
{
	static char *pe[] = {(void *)C32_0,(void *)A36_1,(void *)A38_2,(void *)A86_3};
	xsi_register_didat("work_m_00000000002202229016_3649235597", "isim/_tmp/work/m_00000000002202229016_3649235597.didat");
	xsi_register_executes(pe);
}