src/tlm_utils/tlm2_base_protocol_checker.h

86 nb_transport: phase sequence BEGIN_REQ -> END_REQ -> BEGIN_RESP -> END_RESP
94 First checker in BEGIN_REQ path should see ref_count == 1 (warning only)
107 The BEGIN_RESP path must be the reverse of the BEGIN_REQ path
108 Transaction object must not be sent with BEGIN_REQ while participating in a previous response
400     case tlm::BEGIN_REQ:
403       if (m_map[&trans].ph > 0 &&  m_map[&trans].ph < 4) // END_RESP -> BEGIN_REQ is legal
411         txt << "Transaction violates BEGIN_REQ exclusion rule, detected in nb_transport_fw";
466     if (start_phase == tlm::BEGIN_REQ)
510       case tlm::BEGIN_REQ:
577     case tlm::BEGIN_REQ:
586       if (m_map[&trans].ph != tlm::BEGIN_REQ)
597       if (m_map[&trans].ph != tlm::BEGIN_REQ && m_map[&trans].ph != tlm::END_REQ)
720     txt << "Transaction object sent with BEGIN_REQ while still being used on a previous response path, detected in " << txt2;
834       txt << "BEGIN_RESP path is not the reverse of the BEGIN_REQ path.";