src/tlm_utils/tlm2_base_protocol_checker.h

86 nb_transport: phase sequence BEGIN_REQ -> END_REQ -> BEGIN_RESP -> END_RESP
90 Must not call b_transport during nb_transport phase sequence and vice-versa
199     tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay)
201     tlm::tlm_phase start_phase = phase;
204       nb_transport_fw_pre_checks( trans, phase, delay );
207     status = initiator_socket->nb_transport_fw( trans, phase, delay );
210       nb_transport_fw_post_checks( trans, start_phase, phase, delay, status );
216     tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay)
219       nb_transport_bw_pre_checks( trans, phase, delay );
222     status = target_socket->nb_transport_bw( trans, phase, delay );
225       nb_transport_bw_post_checks( trans, phase, delay, status );
277       tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay);
280       tlm::tlm_generic_payload& trans, tlm::tlm_phase& start_phase, tlm::tlm_phase& phase,
284       tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay);
287       tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay,
291       tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay,
385     tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay)
398   switch (phase)
405         txt << "Phase " << phase << " sent out-of-sequence on forward path, detected in nb_transport_fw";
426       txt << "Phase " << phase << " sent on forward path, detected in nb_transport_fw";
433         txt << "Phase " << phase << " sent out-of-sequence on forward path, detected in nb_transport_fw";
440   if (phase < 5)  // Ignore extended phases
441     m_map[&trans].ph = phase;
456     tlm::tlm_generic_payload& trans, tlm::tlm_phase& start_phase, tlm::tlm_phase& phase,
462         trans, phase, delay, "(forward) return", "Return from nb_transport_fw", "nb_transport_fw");
472   // Transaction object should not be re-allocated, even during the END_RESP phase
473   //if (phase != tlm::END_RESP)
476     txt << "nb_transport_fw, phase = " << phase;
484     tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay)
497       trans, phase, delay, "backward", "nb_transport_bw called", "nb_transport_bw");
503     tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay,
508     switch (phase)
511         txt << "Phase " << phase << " sent out-of-sequence on (backward) return path, detected in nb_transport_bw";
518         txt << "Phase " << phase << " sent on (backward) return path, detected in nb_transport_bw";
525           txt << "Phase " << phase << " sent out-of-sequence on (backward) return path, detected in nb_transport_bw";
533     if (phase < 5)  // Ignore extended phases
534       m_map[&trans].ph = phase;
551   // Transaction object should not be re-allocated, even during the END_RESP phase
552   //if (phase != tlm::END_RESP)
555     txt << "nb_transport_bw, phase = " << phase;
563     tlm::tlm_generic_payload& trans, tlm::tlm_phase& phase, sc_core::sc_time& delay,
575   switch (phase)
580       txt << "Phase " << phase << " sent on " << txt2 << " path"
588         txt << "Phase " << phase << " sent out-of-sequence on " << txt2 << " path"
599         txt << "Phase " << phase << " sent out-of-sequence on " << txt2 << " path"
619   if (phase < 5)  // Ignore extended phases
620     m_map[&trans].ph = phase;