Man, K. L., Lei, C., Kapoor, H. K., Krilavičius, T., Ma, J., & Zhang, N. (2016). PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog. Computing and Informatics, 35(1), 143–176. https://cai.type.sk/content/2016/1/pafsv-a-formal-framework-for-specification-and-analysis-of-systemverilog/