1 #include "fsm/scd_sts_time_ack.h"
3 #include "scd_logging.h"
4 #include "scd_exception.h"
5 #include "scd_cont_man_slave.h"
8 void scd_sts_time_ack::recv_time_req()
10 scd_warn("received time request in wrong state");
14 void scd_sts_time_ack::recv_time_nack()
20 void scd_sts_time_ack::recv_time(const sc_core::sc_time& time)
22 static_cast<scd_sts_time&>(_st_time).set_time_step(time);
23 _fsm.set_state(_st_time);
27 void scd_sts_time_ack::recv_term_req()
29 scd_warn("received terminate request in wrong state");
33 void scd_sts_time_ack::set_busy()
35 scd_warn("received channel data while synchronizing to terminate");