model/electrical/MatrixArbiter.cc

317             propagatePortTransitionInfo("Grant0", "Request0");
352                     propagatePortTransitionInfo(w_dffs[state_count], "CK", "CK");
368 //                    propagatePortTransitionInfo(w_dffs[i], "CK", "CK");
376                         propagatePortTransitionInfo(dis_and2s[i * number_requests + j], "A", "Request" + (String)i);
377                         propagatePortTransitionInfo(dis_and2s[i * number_requests + j], "B", w_dffs[state_count], "Q");
379                         propagatePortTransitionInfo(dis_invs[state_count], "A", w_dffs[state_count], "Q");
381                         propagatePortTransitionInfo(dis_and2s[j * number_requests + i], "A", "Request" + (String)j);
382                         propagatePortTransitionInfo(dis_and2s[j * number_requests + i], "B", dis_invs[state_count], "Y");
395                             propagatePortTransitionInfo(dis_ors[i], "In" + (String)k, dis_and2s[j * number_requests + i], "Y");
403                     propagatePortTransitionInfo(g_invs[i], "A", dis_ors[i], "Out");
405                     propagatePortTransitionInfo(g_and2s[i], "A", "Request" + (String)i);
406                     propagatePortTransitionInfo(g_and2s[i], "B", g_invs[i], "Y");
414                         propagatePortTransitionInfo(w_invs[state_count], "A", g_and2s[i], "Y");
416                         propagatePortTransitionInfo(w_or2s[state_count], "A", w_dffs[state_count], "Q");
417                         propagatePortTransitionInfo(w_or2s[state_count], "B", g_and2s[j], "Y");
419                         propagatePortTransitionInfo(w_and2s[state_count], "A", w_or2s[state_count], "Y");
420                         propagatePortTransitionInfo(w_and2s[state_count], "B", w_invs[state_count], "Y");
422                         propagatePortTransitionInfo(w_dffs[state_count], "D", w_and2s[state_count], "Y");
423                         propagatePortTransitionInfo(w_dffs[state_count], "CK", "CK");
448                 propagatePortTransitionInfo("Grant" + (String)i, g_and2s[i], "Y");