Mufan Xiang

According to our database, Mufan Xiang authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

ChiselFV: A Formal Verification Framework for Chisel.

Mufan Xiang, Yongjian Li, Yongxin Zhao

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Parameterized Design and Formal Verification of Multi-ported Memory.

Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022