Man KL, Lei C-U, Kapoor HK, Krilavicius T, Ma J, Zhang N. PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog. Comput. Inform. [Internet]. 2016 May 31 [cited 2024 Nov. 8];35(1):143-76. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/1371