Lines Matching refs:sc_assert
56 sc_assert( section == 1 || section == 2 );
61 sc_assert( t >= sc_time(0, SC_NS) && t <= sc_time(50, SC_NS) );
62 sc_assert( adr >= 0 && adr < 50);
68 sc_assert( t >= sc_time(50, SC_NS) && t <= sc_time(100, SC_NS) );
69 sc_assert( adr >= 100 && adr < 150);
131 sc_assert( section == 3 || section == 4 );
136 sc_assert( t >= sc_time(1000, SC_NS) && t <= sc_time(1050, SC_NS) );
137 sc_assert( adr >= 0 && adr < 50);
143 sc_assert( t >= sc_time(1050, SC_NS) && t <= sc_time(1100, SC_NS) );
144 sc_assert( adr >= 100 && adr < 150);