Assertion: semaphore | /r/HasProperty | systemverilog built-in class
Facets:
Source sentences:
text: Semaphore is a SystemVerilog built-in class, used for access control to shared resources, and for basic synchronization.