Lines Matching defs:thread
73 SC_THREAD(thread);
77 void thread() {
102 sc_core::sc_process_handle hnd( sc_core::sc_find_object("dut.thread") );
103 const sc_core::sc_process_b *thread
105 sc_assert(hnd.valid() && thread);
107 sc_assert(thread->file == NULL); // 1st wait(delay)
108 sc_assert(thread->lineno == 0);
112 sc_assert(endsWith(thread->file, "wait.cpp")); // SC_WAITN
113 sc_assert(thread->lineno == lineno);
115 sc_assert(thread->file == NULL); // 2nd wait(delay)
116 sc_assert(thread->lineno == 0);
120 sc_assert(endsWith(thread->file, "wait.cpp")); // SC_WAIT
121 sc_assert(thread->lineno == lineno);
123 sc_assert(thread->file == NULL); // 3rd wait(delay)
124 sc_assert(thread->lineno == 0);
128 sc_assert(endsWith(thread->file, "wait.cpp")); // SC_WAIT_UNTIL
129 sc_assert(thread->lineno == lineno);
131 sc_assert(thread->file == NULL); // 4th wait(delay)
132 sc_assert(thread->lineno == 0);
137 sc_assert(endsWith(thread->file, "wait.cpp")); // 2nd SC_WAIT_UNTIL
138 sc_assert(thread->lineno == lineno);
140 sc_assert(endsWith(thread->file, "wait.cpp")); // SC_WAITN in waitFunIsTrue
141 sc_assert(thread->lineno == 60);
143 sc_assert(endsWith(thread->file, "wait.cpp"));
144 sc_assert(thread->lineno == 60);
146 sc_assert(endsWith(thread->file, "wait.cpp")); // 2nd SC_WAIT_UNTIL
147 sc_assert(thread->lineno == lineno);
149 sc_assert(thread->file == NULL); // done
150 sc_assert(thread->lineno == 0);