Man, K. L. (2016) “PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog”, COMPUTING AND INFORMATICS, 35(1), pp. 143–176. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/1371 (Accessed: 29 March 2024).