验证平台中,所有线程之间的数据交换以及控制同步被称为线程之间的通信(IPC,Inter-Process Communication)。
在sv中,可以使用事件(event),旗语(semaphore)以及信箱(mailbox)来完成。
具体表现如下:
■ 使用事件建立执行顺序
■ 使用旗语避免资源冲突
■ 通过邮箱在线程之间传递数据
参考文献:
1.《SystemVerilog Testbench Student Guide》,9-2。
2.《system verilog验证测试平台编写指南》,P192。
3.