Lines Matching refs:sc_assert
58 sc_assert( cb_mask == (old_mask & ~SC_ELABORATION & ~SC_RUNNING) );
62 sc_assert( cb_mask == (old_mask & ~SC_STOPPED) );
66 sc_assert( cb_mask == old_mask );
69 sc_assert( cb_mask == old_mask );
72 sc_assert( cb_mask == (old_mask & ~SC_END_OF_INITIALIZATION
79 sc_assert( cb_mask == (old_mask & ~SC_BEFORE_END_OF_ELABORATION
84 sc_assert( cb_mask == SC_UNITIALIZED );
88 sc_assert( cb_mask == ( SC_END_OF_INITIALIZATION
93 sc_assert( cb_mask == (SC_STATUS_ANY & ~SC_ELABORATION & ~SC_RUNNING) );
142 sc_assert( cb_mask & sc_get_status() );
178 sc_assert( sc_get_status() == SC_BEFORE_END_OF_ELABORATION );
184 sc_assert( sc_get_status() == SC_END_OF_ELABORATION );
190 sc_assert( sc_get_status() == SC_START_OF_SIMULATION );
199 sc_assert( sc_get_status() == SC_END_OF_SIMULATION );