Lines Matching defs:event_return
67 sc_event event_return;
84 CHECK( !event_return.triggered() );
86 CHECK( !event_return.triggered() );
90 wait(event_return);
94 wait(event_return);
98 wait(event_return);
100 CHECK( !event_return.triggered() );
104 wait(event_return);
105 CHECK( event_return.triggered() );
109 wait(event_return);
110 CHECK( event_return.triggered() );
116 wait(event_return);
118 CHECK( event_return.triggered() );
130 event_return.notify();
139 event_return.notify();