Man, K. L., Lei, C.-U., Kapoor, H. K., Krilavicius, T., Ma, J., & Zhang, N. (2016). PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog. COMPUTING AND INFORMATICS, 35(1), 143–176. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/1371