Man, K. L. (2016) “PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog”, Computing and Informatics, 35(1), pp. 143–176. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/1371 (Accessed: 23 November 2024).