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 (Sep. 2021), 256-263.