Lines Matching refs:sc_assert
96 case 0: sc_assert(sc_time_stamp() == sc_time( 0, SC_NS)); f0 = 1; break;
97 case 5: sc_assert(sc_time_stamp() == sc_time(20, SC_NS)); f4 = 1; break;
98 case 6: sc_assert(sc_time_stamp() == sc_time(30, SC_NS)); f5 = 1; break;
99 default: sc_assert(false);
107 case 1: sc_assert(sc_time_stamp() == sc_time( 0, SC_NS)); f1 = 1; break;
108 case 2: sc_assert(sc_time_stamp() == sc_time(10, SC_NS)); f2 = 1; break;
109 case 4: sc_assert(sc_time_stamp() == sc_time(10, SC_NS)); f3 = 1; break;
110 default: sc_assert(false);
124 sc_assert( top.f0 );
125 sc_assert( top.f1 );
126 sc_assert( top.f2 );
127 sc_assert( top.f3 );
128 sc_assert( top.f4 );
129 sc_assert( top.f5 );