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 http://147.213.75.17/ojs/index.php/cai/article/view/1371