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