semaphore coding in system verilog