C++ (Cpp) xsi_vlogfile_readmemh Beispiele

Beispiel #1

Datei: m_00000000001821367362_3164425684.c Projekt: schmett29/Verilog

static void Initial_58_1(char *t0)
{
    char *t1;
    char *t2;
    char *t3;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(58, ng0);

LAB4:    xsi_set_current_line(59, ng0);
    t2 = (t0 + 2248);
    xsi_vlogfile_readmemh(ng3, 0, t2, 0, 0, 0, 0);
    xsi_set_current_line(60, ng0);
    t2 = ((char*)((ng2)));
    t3 = (t0 + 2408);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 21);
    xsi_set_current_line(63, ng0);
    t2 = (t0 + 3704);
    xsi_process_wait(t2, 100000LL);
    *((char **)t1) = &&LAB5;

LAB1:    return;
LAB5:    goto LAB1;

}

Beispiel #2

Datei: m_00000000002494403638_1386982753.c Projekt: MSUG729/G.729-Decoder

static void Initial_76_0(char *t0)
{
    char *t1;

LAB0:    xsi_set_current_line(77, ng0);

LAB2:    xsi_set_current_line(78, ng0);
    t1 = (t0 + 11476);
    xsi_vlogfile_readmemh(ng1, 0, t1, 0, 0, 0, 0);
    xsi_set_current_line(79, ng0);
    t1 = (t0 + 11568);
    xsi_vlogfile_readmemh(ng2, 0, t1, 0, 0, 0, 0);
    xsi_set_current_line(80, ng0);
    t1 = (t0 + 11660);
    xsi_vlogfile_readmemh(ng3, 0, t1, 0, 0, 0, 0);
    xsi_set_current_line(81, ng0);
    t1 = (t0 + 11752);
    xsi_vlogfile_readmemh(ng4, 0, t1, 0, 0, 0, 0);
    xsi_set_current_line(82, ng0);
    t1 = (t0 + 11844);
    xsi_vlogfile_readmemh(ng5, 0, t1, 0, 0, 0, 0);
    xsi_set_current_line(83, ng0);
    t1 = (t0 + 11936);
    xsi_vlogfile_readmemh(ng6, 0, t1, 0, 0, 0, 0);
    xsi_set_current_line(84, ng0);
    t1 = (t0 + 12028);
    xsi_vlogfile_readmemh(ng7, 0, t1, 0, 0, 0, 0);

LAB1:    return;
}

Beispiel #3

Datei: m_00000000002163759346_3998442365.c Projekt: 490/BUAA_COD_project4

static void Initial_25_0(char *t0)
{
    char *t1;

LAB0:    xsi_set_current_line(26, ng0);

LAB2:    xsi_set_current_line(27, ng0);
    t1 = (t0 + 1608);
    xsi_vlogfile_readmemh(ng1, 0, t1, 0, 0, 0, 0);

LAB1:    return;
}

Beispiel #4

Datei: m_00000000003577048177_1151974483.c Projekt: JianmingS/MIPS-architecture-CPU-design-based-on-FPGA

static void Initial_30_0(char *t0)
{
    char *t1;
    char *t2;

LAB0:    xsi_set_current_line(31, ng0);

LAB2:    xsi_set_current_line(32, ng0);
    t1 = (t0 + 2088);
    t2 = ((char*)((ng2)));
    xsi_vlogfile_readmemh(ng1, 0, t1, 1, *((unsigned int *)t2), 0, 0);

LAB1:    return;
}

Beispiel #5

Datei: m_00000000002667932474_2220189930.c Projekt: pravincore/async-arm

static void Initial_34_0(char *t0)
{
    char *t1;
    char *t2;

LAB0:    xsi_set_current_line(35, ng0);

LAB2:    xsi_set_current_line(36, ng0);
    t1 = (t0 + 1928);
    xsi_vlogfile_readmemh(ng1, 0, t1, 0, 0, 0, 0);
    xsi_set_current_line(37, ng0);
    t1 = ((char*)((ng2)));
    t2 = (t0 + 1768);
    xsi_vlogvar_assign_value(t2, t1, 0, 0, 1);
    xsi_set_current_line(38, ng0);
    t1 = ((char*)((ng2)));
    t2 = (t0 + 1608);
    xsi_vlogvar_assign_value(t2, t1, 0, 0, 8);

LAB1:    return;
}

Beispiel #6

Datei: m_00000000004293228195_3998442365.c Projekt: oncebasun/ComputerOrganization

static void Initial_9_1(char *t0)
{
    char t5[8];
    char t14[8];
    char t15[8];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t6;
    unsigned int t7;
    unsigned int t8;
    unsigned int t9;
    unsigned int t10;
    unsigned int t11;
    char *t12;
    char *t13;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;
    unsigned int t26;
    int t27;
    char *t28;
    unsigned int t29;
    int t30;
    int t31;
    unsigned int t32;
    unsigned int t33;
    int t34;
    int t35;

LAB0:    xsi_set_current_line(9, ng0);

LAB2:    xsi_set_current_line(10, ng0);
    xsi_set_current_line(10, ng0);
    t1 = ((char*)((ng1)));
    t2 = (t0 + 1012);
    xsi_vlogvar_assign_value(t2, t1, 0, 0, 32);

LAB3:    t1 = (t0 + 1012);
    t2 = (t1 + 36U);
    t3 = *((char **)t2);
    t4 = ((char*)((ng2)));
    memset(t5, 0, 8);
    xsi_vlog_signed_less(t5, 32, t3, 32, t4, 32);
    t6 = (t5 + 4);
    t7 = *((unsigned int *)t6);
    t8 = (~(t7));
    t9 = *((unsigned int *)t5);
    t10 = (t9 & t8);
    t11 = (t10 != 0);
    if (t11 > 0)
        goto LAB4;

LAB5:    xsi_set_current_line(13, ng0);
    t1 = (t0 + 920);
    xsi_vlogfile_readmemh(ng4, 0, t1, 0, 0, 0, 0);

LAB1:    return;
LAB4:    xsi_set_current_line(10, ng0);

LAB6:    xsi_set_current_line(11, ng0);
    t12 = ((char*)((ng1)));
    t13 = (t0 + 920);
    t16 = (t0 + 920);
    t17 = (t16 + 44U);
    t18 = *((char **)t17);
    t19 = (t0 + 920);
    t20 = (t19 + 40U);
    t21 = *((char **)t20);
    t22 = (t0 + 1012);
    t23 = (t22 + 36U);
    t24 = *((char **)t23);
    xsi_vlog_generic_convert_array_indices(t14, t15, t18, t21, 2, 1, t24, 32, 1);
    t25 = (t14 + 4);
    t26 = *((unsigned int *)t25);
    t27 = (!(t26));
    t28 = (t15 + 4);
    t29 = *((unsigned int *)t28);
    t30 = (!(t29));
    t31 = (t27 && t30);
    if (t31 == 1)
        goto LAB7;

LAB8:    xsi_set_current_line(10, ng0);
    t1 = (t0 + 1012);
    t2 = (t1 + 36U);
    t3 = *((char **)t2);
    t4 = ((char*)((ng3)));
    memset(t5, 0, 8);
    xsi_vlog_signed_add(t5, 32, t3, 32, t4, 32);
    t6 = (t0 + 1012);
    xsi_vlogvar_assign_value(t6, t5, 0, 0, 32);
    goto LAB3;

LAB7:    t32 = *((unsigned int *)t14);
    t33 = *((unsigned int *)t15);
    t34 = (t32 - t33);
    t35 = (t34 + 1);
    xsi_vlogvar_assign_value(t13, t12, 0, *((unsigned int *)t15), t35);
    goto LAB8;

}