System verilog

https://blog.csdn.net/tgz949494/article/details/78677789?depth_1-   semaphore

https://blog.csdn.net/qq_31935691/article/details/54999673  thread

https://www.cnblogs.com/god_like_donkey/archive/2011/08/11/2135128.html fork join

https://zhuanlan.zhihu.com/p/38098913  ALL

https://www.cnblogs.com/xh13dream/p/9134294.html assertion overlapping implication operator |->, non-overlapping implication operator | =>;