SystemC Simulation sc_semaphore