System verilog
https://blog.csdn.net/tgz949494/article/details/78677789?depth_1- 旗语
https://blog.csdn.net/qq_31935691/article/details/54999673 线程
https://www.cnblogs.com/god_like_donkey/archive/2011/08/11/2135128.html fork join
https://zhuanlan.zhihu.com/p/38098913 SVA
https://www.cnblogs.com/xh13dream/p/9134294.htmlassertion 交叠蕴含操作符 |->,非交叠蕴含操作符|=>;