Ka Lok Man, Chi-Un Lei, Hemangee K. Kapoor, Tomas Krilavicius, Jieming Ma, Nan Zhang. PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog. Computers and Artificial Intelligence, 35(1):143-176, 2016. [doi]
@article{ManLKKMZ16,
title = {PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog},
author = {Ka Lok Man and Chi-Un Lei and Hemangee K. Kapoor and Tomas Krilavicius and Jieming Ma and Nan Zhang},
year = {2016},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/1371},
researchr = {https://researchr.org/publication/ManLKKMZ16},
cites = {0},
citedby = {0},
journal = {Computers and Artificial Intelligence},
volume = {35},
number = {1},
pages = {143-176},
}