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