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 Apr. 25];35(1):143-76. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/1371