Assertion: semaphore | /r/CapableOf | support following methods
Facets:
Source sentences:
text: Semaphore in SystemVerilog supports following methods for above operations.