gnats/pr-503/pr-503.cpp

46     sc_in<sc_int<16> > IBC_DATA;
47     sc_in<sc_int<4> > RPBI_BPA;
48     sc_in<sc_int<2> > RPBI_APA;
50     sc_in<sc_int<14> > RHC_ADDR_RT;
53     sc_in<sc_int<4> > TM_EXC_FIR;
60     sc_out<sc_int<14> > EXC_ADDR;
61     sc_out<sc_int<16> > EXC_DATA;
65     sc_out<sc_int<2> > EXC_RPBH_ID;
66     sc_out<sc_int<3> > RHC_OP_CODE;
68     sc_out<sc_int<7> > RHC_SIZE;
69     sc_out<sc_int<14> > RHC_ADDR1;
70     sc_out<sc_int<14> > RHC_ADDR2;
71     sc_out<sc_int<3> > EXC_ERR_NO;
84     sc_int<16> dt;
85     sc_int<16> dtemp;
86     sc_int<8> dtemp_1;
87     sc_int<14> atemp;
88     sc_int<14> atemp_1;
89     sc_int<14> atemp_2;
90     sc_int<14> atemp_3;
91     sc_int<14> atemp_4;
92     sc_int<8> timer;
94     sc_int<5> DID_reg;
95     sc_int<5> MET_reg;
96     sc_int<6> Data_Start_reg;
97     sc_int<12> total_data_len;
98     sc_int<7> link_ptr;
99     sc_int<7> index;
100     sc_int<2> LEV_reg;
101     sc_int<4> DT_reg;
102     sc_int<6> NHW_reg;
103     sc_int<8> RSN_reg;
104     sc_int<8> RP_addr_ptr;
105     sc_int<12> cnt;
106     sc_int<7> sig_gen_buff_addr;
107     sc_int<5> TS0AR;
108     sc_int<5> TS1AR;
111     sc_int<2> id_reg;
112     sc_int<3> err_no_reg;
114     sc_int<32> _case_1021_;
115     sc_int<32> _case_1396_;
116     sc_int<16> _case_1934_;
117     sc_int<16> _case_2503_;
119     sc_int<3> error;
513 	dt = (((sc_int<1>(V_reg), sc_int<1>(0)), link_ptr.range(5,0)), sc_int<8>(0));
545 	    dt = (((sc_int<1>(V_reg), sc_int<1>(0)), link_ptr.range(5,0)), sc_int<8>(0));
642                 atemp = (sig_gen_buff_addr, sc_int<7>(0));
660                 DID_reg = (dtemp.range(4,0)) | (((TM_EXC_FIR.read())[1], sc_int<4>(0)));
684                 atemp = (sig_gen_buff_addr, sc_int<7>(8));
721                         //RHC_ADDR1 = (((sc_int<4>(0), sig_gen_buff_addr), RPBI_BPA.read()), sc_int<1>(MODE_S_P.read()));
722                         RHC_ADDR1 = (((sc_int<4>(0), sig_gen_buff_addr), sc_int<4>(RPBI_BPA.read())), sc_int<1>(MODE_S_P.read()));
723                         RHC_ADDR2 = ((sc_int<8>(10), TS0AR), sc_int<1>(RHC_REG_RST.read()));
735                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(0));
762                         //RHC_ADDR1 = (((sc_int<4>(0), dtemp.range(13,7)), RPBI_BPA.read()), sc_int<1>(MODE_S_P.read()));
763                         RHC_ADDR1 = (((sc_int<4>(0), dtemp.range(13,7)), sc_int<4>(RPBI_BPA.read())), sc_int<1>(MODE_S_P.read()));
764                         RHC_ADDR2 = ((sc_int<8>(11), TS1AR), sc_int<1>(RHC_REG_RST.read()));
776                         RHC_ADDR2 = (dtemp.range(13,7), sc_int<7>(0));
799                         atemp = (sig_gen_buff_addr, sc_int<7>(10));
816                         atemp = (sig_gen_buff_addr, sc_int<7>(11));
907                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(0));
909                         RHC_SIZE = ((sc_int<1>(0), DID_reg), sc_int<1>(0));
933                         atemp = (sig_gen_buff_addr, sc_int<7>(11));
948                         atemp = (sig_gen_buff_addr, sc_int<7>(12));
964                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(0));
988                         atemp = (sig_gen_buff_addr, sc_int<7>(10));
1005                             RP_addr_ptr = (sc_int<3>(2), RP_addr_ptr.range(4,0));
1007                             atemp_1 = (sc_int<9>(4), RP_addr_ptr.range(4,0));
1011                             RP_addr_ptr = (sc_int<3>(3), RP_addr_ptr.range(4,0));
1013                             atemp_1 = (sc_int<9>(5), RP_addr_ptr.range(4,0));
1017                         atemp = (sig_gen_buff_addr, sc_int<7>(11));
1038                             atemp = (sc_int<6>(0), RP_addr_ptr);
1071                             atemp = (sc_int<6>(0), RP_addr_ptr);
1104                             atemp = (sig_gen_buff_addr, sc_int<7>(12));
1151                             RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(0));
1153                             RHC_SIZE = ((sc_int<1>(0), DID_reg), sc_int<1>(0));
1177                             atemp = (sig_gen_buff_addr, sc_int<7>(10));
1192                             atemp = (sc_int<6>(0), RP_addr_ptr);
1207                             atemp = (sig_gen_buff_addr, sc_int<7>(11));
1241                             atemp = (sig_gen_buff_addr, sc_int<7>(12));
1257                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(0));
1287                         atemp = (sig_gen_buff_addr, sc_int<7>(24));
1304                         atemp = (sig_gen_buff_addr, sc_int<7>(8));
1319                         atemp = (sig_gen_buff_addr, sc_int<7>(25));
1335                         atemp = (sig_gen_buff_addr, sc_int<7>(9));
1359                         atemp = (sig_gen_buff_addr, sc_int<7>(0));
1374                         atemp = (sig_gen_buff_addr, sc_int<7>(1));
1375                         dt = (sc_int<4>(0), total_data_len);
1389                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(26));
1390                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(10));
1404                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(0));
1444                         atemp = (sig_gen_buff_addr, sc_int<7>(10));
1469                             atemp = (sig_gen_buff_addr, sc_int<7>(24));
1486                             atemp = (sig_gen_buff_addr, sc_int<7>(24));
1503                             atemp = (sig_gen_buff_addr, sc_int<7>(24));
1520                             atemp = (sig_gen_buff_addr, sc_int<7>(24));
1521                             dt = ( sc_int<10>(0), ( RPBI_BPA.read() , RPBI_APA.read() ) );
1543                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
1564                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
1585                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
1612                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
1632                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
1649                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
1671                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
1703                             atemp = (sig_gen_buff_addr, sc_int<7>(11));
1719                             atemp_3 = (sig_gen_buff_addr, sc_int<7>(24));
1720                             atemp = (sig_gen_buff_addr, sc_int<7>(13));
1798                                     atemp = (atemp_4.range(13,7), sc_int<7>(2));
1799                                     dt = (sc_int<3>(-4), dtemp.range(12,0));
1816                                 atemp_3 = (dtemp.range(13,7), sc_int<7>(8));
1840                                 dt = (sc_int<8>(0), dtemp.range(7,0));
1856                                 atemp = (atemp_4.range(13,7), sc_int<7>(2));
1883                             RHC_ADDR2 = (sc_int<2>(0), total_data_len);
1884                             RHC_SIZE = ((sc_int<1>(0), DID_reg), V_reg);
1895                             RHC_ADDR1 = (sc_int<8>(9), NHW_reg);
1896                             RHC_ADDR2 = (sc_int<2>(0), total_data_len);
1909                             RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(0));
1936                         atemp = (sig_gen_buff_addr, sc_int<7>(1));
1952                         atemp = (sig_gen_buff_addr, sc_int<7>(10));
1981                                 atemp = (sig_gen_buff_addr, sc_int<7>(24));
1996                                 dt = (sc_int<1>(1), dtemp.range(14,0));
2017                                 RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(25));
2038                                 RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(24));
2063                                 RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(24));
2088                                 RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(24));
2117                                 atemp = (sig_gen_buff_addr, sc_int<7>(24));
2144                                 RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(24));
2162                                 atemp = (sig_gen_buff_addr, sc_int<7>(11));
2178                                 atemp_1 = (sig_gen_buff_addr, sc_int<7>(24));
2217                                         if(atemp_1 <= ((sig_gen_buff_addr, sc_int<7>(-1)))) {
2221                                             atemp = (sig_gen_buff_addr, sc_int<7>(2));
2236                                             dt = ((sc_int<1>(0), sig_gen_buff_addr), sc_int<8>(0));
2251                                             atemp_1 = (sig_gen_buff_addr, sc_int<7>(8));
2330                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(0));
2331                         RHC_ADDR2 = (sc_int<2>(0), total_data_len);
2343                         RHC_ADDR1 = (RSN_reg, sc_int<6>(1));
2344                         RHC_ADDR2 = (sc_int<2>(0), total_data_len);
2356                         atemp = (sig_gen_buff_addr, sc_int<7>(10));
2372                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
2386                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(27));
2400                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(59));
2413                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(-37));
2415                             atemp_1 = (sig_gen_buff_addr, sc_int<7>(-31));
2416                             atemp_2 = (sig_gen_buff_addr, sc_int<7>(-30));
2420                             atemp_1 = (sig_gen_buff_addr, sc_int<7>(-33));
2421                             atemp_2 = (sig_gen_buff_addr, sc_int<7>(-32));
2465                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(0));
2493                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(0));
2494                         RHC_ADDR2 = (sc_int<2>(0), total_data_len);
2506                         RHC_ADDR1 = (RSN_reg, sc_int<6>(1));
2507                         RHC_ADDR2 = (sc_int<2>(0), total_data_len);
2519                         atemp = (sig_gen_buff_addr, sc_int<7>(10));
2535                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(24));
2549                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(27));
2563                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(59));
2576                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(-37));
2618                         RHC_ADDR2 = (sig_gen_buff_addr.range(6,0), sc_int<7>(0));
2642                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(24));
2672                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(27));
2686                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(59));
2699                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(-37));
2747                         RHC_ADDR1 = (sig_gen_buff_addr, sc_int<7>(0));
2749                         RHC_SIZE = ((sc_int<1>(0), DID_reg), sc_int<1>(0));
2776                         RHC_ADDR2 = (sig_gen_buff_addr, sc_int<7>(0));
2811                 dt = ((sc_int<1>(0), sig_gen_buff_addr), sc_int<8>(0));