void read_data_from_in1() { while (true) { fct_port1->fct(); sc_uint<8> tmp_byte = buf1.read(); cout << this->basename() << " received " << tmp_byte << " at " << sc_time_stamp() << "\n"; } }
void read_port2() { fct_port2->fct(); }