Question

对于用来对一个复杂系统或高度灵活的测试平台进行建模的动态进程来说，高层次并且易于使用的同步和通信机制对于控制它们之间的通信是非常必要的。Verilog提供了基本的同步机制（也就是->和@），但它们仅限于静态对象，虽然这对于硬件级的同步来说是足够的，然而它们却不能满足高度动态、灵活的测试平台的需要。在系统级，Verilog的一个本质上的限制就是它缺乏创建动态事件和通信通道的能力，而这些对于创建动态进程却是必需的。

SystemVerilog加入了强大而又易于使用的同步和通信机制的集合，所有这些都可以动态地产生和回收。SystemVerilog加入了一个内建的semaphore类，这个内建类可以用来同步以及相互排斥地共享资源。一个mailbox内建类可以用作是进程间的通信通道。SystemVerilog还增强了Verilog的命名事件数据类型以便满足许多系统级的同步需求。

semaphore和mailboxe是内建类型，尽管如此，它们仍然是类，并且可以用作基类以便衍生额外的更高层次的类。这些内建的类驻留在内建的std包中（参见7.10.1节），因此它们可以在任何其它范围内被用户代码重新定义。