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 交叠蕴含操作符 |->,非交叠蕴含操作符|=>；