in src/sim/sim_tlpp.cc [172:192]
void TlppVerify::TlppSynchronization(Run_Function run_function,
void *fsim_handle,
bool debug) {
fsim_handle_ = fsim_handle;
run_fsim_function_ = run_function;
debug_ = debug;
done_ = 0;
do {
/*
* Pick a random core to run first.
*/
unsigned int seed = time(NULL);
uint8_t core_start = rand_r(&seed)%COREMAX;
for (int i = 0; i < COREMAX; i++) {
CoreRun(static_cast<CORE_TYPE>((core_start + i) % COREMAX));
}
EventProcess();
}while (!done_);
Clear();
return;
}