Lines Matching refs:sc_assert

117     sc_assert(count == 0);
129 sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );
131 sc_assert(count == 5);
132 sc_assert( sc_time_stamp() == sc_time(40, SC_NS) );
138 sc_assert( sc_time_stamp() == sc_time(60, SC_NS) );
149 sc_assert( sc_time_stamp() == sc_time(10, SC_NS) );
151 sc_assert(count == 5);
152 sc_assert( sc_time_stamp() == sc_time(40, SC_NS) );
158 sc_assert( sc_time_stamp() == sc_time(60, SC_NS) );
175 sc_assert( sc_time_stamp() == sc_time(110, SC_NS) );
186 case 9: sc_assert( sc_time_stamp() == sc_time(100, SC_NS) ); f7=1; break;
187 case 10: sc_assert( sc_time_stamp() == sc_time(110, SC_NS) ); f8=1; break;
188 default: sc_assert( false ); break;
197 case 9: sc_assert( sc_time_stamp() == sc_time(100, SC_NS) ); f9=1; break;
198 case 10: sc_assert( sc_time_stamp() == sc_time(110, SC_NS) ); f10=1; break;
199 default: sc_assert( false ); break;
214 sc_assert( sc_time_stamp() == sc_time(210, SC_NS) );
217 sc_assert( sc_time_stamp() == sc_time(214, SC_NS) );
230 sc_assert( sc_time_stamp() == sc_time(210, SC_NS) );
244 sc_assert( sc_time_stamp() == sc_time(210, SC_NS) );
256 sc_assert( sc_time_stamp() == sc_time(210, SC_NS) );
268 sc_assert( sc_time_stamp() == sc_time(210, SC_NS) );
280 sc_assert( sc_time_stamp() == sc_time(210, SC_NS) );
292 sc_assert( sc_time_stamp() == sc_time(210, SC_NS) );
306 sc_assert( top.f1 );
307 sc_assert( top.f2 );
308 sc_assert( top.f3 );
309 sc_assert( top.f4 );
310 sc_assert( top.f5 );
311 sc_assert( top.f6 );
312 sc_assert( top.f7 );
313 sc_assert( top.f8 );
314 sc_assert( top.f9 );
315 sc_assert( top.f10 );
316 sc_assert( top.f11 );
317 sc_assert( top.f12 );
318 sc_assert( top.f13 );
319 sc_assert( top.f14 );
320 sc_assert( top.f15 );
321 sc_assert( top.f16 );
322 sc_assert( top.f17 );
323 sc_assert( top.f18 );