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