Parameterized Design and Formal Verification of Multi-ported Memory. - Mufan Xiang; Yongjian Li; Sijun Tan; Yongxin Zhao; Yiwei Chi (ICECCS, 2022)

ChiselFV: A Formal Verification Framework for Chisel. - Mufan Xiang; Yongjian Li; Yongxin Zhao (DATE, 2023)