Xueying Yang, Yongzhong Zhou, Lei Li, Weili Li, Liang Liu, Yichu Jiang. “Formal Verification in RISC-V CPU Design Verification Flow”. CONVERTER, vol. 2021, no. 7, Sept. 2021, pp. 256-63, http://converter-magazine.info/index.php/converter/article/view/496.